Terms containing state of automaton

Subject	English	Russian
progr.	finite representation for the infinite state space of a timed automaton	конечное представление бесконечного пространства состояний временного автомата (ssn)
progr.	formal semantics for timed automata in terms of infinite state transition graphs	формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)
progr.	graphical representation of a finite-state automaton used for accepting and recognizing input patterns	графическое представление распознающего конечного автомата, используемого для приёма и распознавания входных образов (ssn)
progr.	internal state of finite automaton	внутреннее состояние конечного автомата (ssn)
progr.	internal state of the automaton	внутреннее состояние автомата (ssn)
progr.	internal states of finite automaton	внутренние состояния конечного автомата (ssn)
math.	problem of race-free state assignment of asynchronous parallel automata	задача противогоночного кодирования состояний асинхронных параллельных автоматов (ssn)
math.	race-free state assignment of asynchronous automaton	противогоночное кодирование состояний асинхронного автомата (ssn)
math.	race-free state assignment of asynchronous parallel automata	противогоночное кодирование состояний асинхронных параллельных автоматов (ssn)
math.	state assignment of asynchronous automaton	кодирование состояний асинхронного автомата (ssn)
math.	state assignment of asynchronous parallel automata	кодирование состояний асинхронных параллельных автоматов (ssn)
progr.	state of an automaton	состояние автомата (ssn)
math.	state of automaton	состояние автомата
progr.	theory of infinite-state automata	теория бесконечных автоматов (ssn)
progr.	theory of probabilistic finite state automata	теория вероятностных конечных автоматов (ssn)
progr.	theory of probabilistic finite-state automata	теория вероятностных конечных автоматов (ssn)