| Subject | English | Russian |
| progr. | A timed automaton is a finite automaton augmented with a finite set of real-valued clocks | Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| progr. | algebraic automaton theory | алгебраическая теория автоматов (ssn) |
| progr. | automaton algebra of events | алгебра событий для автоматов (ssn) |
| IT | automaton analysis | анализ автоматов |
| math. | automaton decomposition | разложение автоматов |
| math. | automaton diagram | диаграмма автомата |
| progr. | automaton for decoding | декодирующий автомат (ssn) |
| progr. | automaton for parity | автомат проверки чётности (ssn) |
| progr. | automaton for ready | автомат проверки готовности (ssn) |
| math. | automaton graph | автоматный граф |
| progr. | automaton input variables | входные переменные автомата (ssn) |
| math. | automaton kernel | ядро автомата |
| IT | automaton logic | автоматная логика |
| math. | automaton matrix | автоматная матрица |
| math. | automaton memory | память автомата |
| gen. | automaton, mindless follower | тупой исполнитель (kvant) |
| progr. | automaton network | сеть автоматов (ssn) |
| progr. | automaton output function | функция выходов автомата (ssn) |
| progr. | automaton output variables | выходные переменные автомата (ssn) |
| progr. | automaton reduction algorithm | алгоритм приведения автомата (ssn) |
| astronaut. | Automaton Rover for Extreme Environments | автоматический ровер для экстремальной среды (AREE; АРЭС MichaelBurov) |
| astronaut. | Automaton Rover for Extreme Environments | автоматический вездеход для экстремальных сред (AREE; АРЭС MichaelBurov) |
| progr. | automaton's states | состояния автомата (ssn) |
| progr. | automaton state | состояние автомата (ssn) |
| progr. | automaton state variables | переменные состояния автомата (ssn) |
| uncom. | automaton theory | теория автоматов (см. automata theory  sciencedirect.com ssn) |
| IT | automaton time | автоматное время |
| progr. | automaton transition function | функция переходов автомата (ssn) |
| math. | automaton with deterministic output | автомат с детерминированным выходом |
| progr. | automaton with final memory | автомат с конечной памятью (ssn) |
| math. | automaton with finite past | автомат с конечным запоминанием |
| math. | automaton with infinite past | автомат с бесконечным запоминанием |
| progr. | automaton with reduced inputs | автомат с обобщёнными входами (ssn) |
| progr. | automaton without outputs | автомат без выходов (ssn) |
| progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| progr. | cellular-automaton approach | клеточно-автоматный подход (ssn) |
| progr. | cellular-automaton approach to system synthesis | клеточно-автоматный подход к синтезу систем (ssn) |
| progr. | cellular-automaton computer | компьютер на основе клеточного автомата (ssn) |
| progr. | cellular-automaton event | событие в клеточном автомате (ssn) |
| progr. | cellular automaton model | модель клеточного автомата (ssn) |
| progr. | computing automaton technique | техника вычислительных автоматов (ssn) |
| progr. | construction of a nondeterministic finite automaton from a regular expression | построение недетерминированного конечного автомата из регулярного выражения (ssn) |
| progr. | conversion of a nondeterministic finite automaton to a deterministic finite automaton | преобразование недетерминированного конечного автомата в детерминированный конечный автомат (ssn) |
| progr. | converting a nondeterministic finite automaton into a deterministic finite automaton | преобразование недетерминированного конечного автомата в детерминированный конечный автомат (ssn) |
| progr. | each automaton state determines the next state to transition to | каждое состояние автомата определяет следующее состояние, на которое следует перейти (ssn) |
| progr. | efficiency of nondeterministic finite automaton simulation | эффективность моделирования недетерминированного конечного автомата (ssn) |
| progr. | finite automaton augmented with a finite set of real-valued clocks | конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| progr. | finite automaton concept | концепция конечного автомата (ssn) |
| progr. | finite automaton's internal state | внутреннее состояние конечного автомата (ssn) |
| progr. | finite-state automaton used for accepting and recognizing input patterns | распознающий конечный автомат, используемый для приёма и распознавания входных образов (ssn) |
| progr. | generality and flexibility of the cellular-automaton approach to system synthesis | общность и гибкость клеточно-автоматного подхода к синтезу систем (ssn) |
| progr. | graphical representation of a finite-state automaton used for accepting and recognizing input patterns | графическое представление распознающего конечного автомата, используемого для приёма и распознавания входных образов (ssn) |
| astronaut. | Hybrid Automaton Rover for Venus | гибридный автоматический ровер для Венеры (HAR-V MichaelBurov) |
| astronaut. | Hybrid Automaton Rover – Venus | гибридный автоматический ровер для Венеры (HAR-V MichaelBurov) |
| progr. | in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| progr. | once the automaton is in the sink state, it can never leave this state again | Попав в состояние зацикливания, автомат никогда не сможет из него выйти |
| progr. | reversible cellular-automaton computer | обратимый компьютер на основе клеточного автомата (ssn) |
| progr. | simulation of a cellular-automaton event | моделирование события в клеточном автомате (ssn) |
| progr. | time automaton for processing station | временной автомат для обрабатывающего устройства (ssn) |
| progr. | timed automaton for the processing station | временной автомат для обрабатывающего устройства (ssn) |
| progr. | timed automaton with two clocks | временной автомат с парой часов (ssn) |
| automat. | universal control automaton with free program selection | универсальный управляющий автомат со свободным выбором программы |