Terms containing automaton graph

Subject	English	Russian
math.	automaton graph	автоматный граф
progr.	formal semantics for timed automata in terms of infinite state transition graphs	формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)