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