Terms containing infinite automaton

Subject	English	Russian
progr.	automata on finite and infinite words	автоматы на конечных и бесконечных словах (ssn)
math.	automaton with infinite past	автомат с бесконечным запоминанием
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.	infinite automata theory	теория бесконечных автоматов (ssn)
tech.	infinite automaton	бесконечный автомат
progr.	infinite-state automaton	бесконечный автомат (автомат со счётным множеством внутренних состояний. К бесконечным автоматам относится, в частности, машина Тьюринга ssn)
el.	infinite-state automaton	бесконечный автомат
tech.	infinite-state automaton	автомат с бесконечным количеством состояний
progr.	theory of infinite-state automata	теория бесконечных автоматов (ssn)