| 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. | alternating finite automaton | альтернирующий конечный автомат (ssn) |
| progr. | to be a finite automaton | представлять собой конечный автомат (ssn) |
| progr. | to be a finite automaton augmented with a finite set of real-valued clocks | представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn) |
| progr. | concept of finite automaton | понятие конечного автомата (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. | definition of a deterministic finite automaton | определение детерминированного конечного автомата (ssn) |
| progr. | definition of nondeterministic finite automaton | определение недетерминированного конечного автомата (ssn) |
| progr. | deterministic and nondeterministic finite automata | детерминированные и недетерминированные конечные автоматы (ssn) |
| progr. | deterministic finite automata | детерминированные конечные автоматы (ssn) |
| IT | deterministic finite automaton | детерминистический конечный автомат (Bricker) |
| progr. | deterministic finite automaton | детерминированный конечный автомат (ssn) |
| progr. | deterministic finite automaton | ДКА (детерминированный конечный автомат ssn) |
| progr. | efficiency of nondeterministic finite automaton simulation | эффективность моделирования недетерминированного конечного автомата (ssn) |
| progr. | equivalence of deterministic and nondeterministic finite automata | эквивалентность детерминированных и недетерминированных конечных автоматов (ssn) |
| progr. | finite automata | конечные автоматы (ssn) |
| IT | finite automata synthesis | синтез конечных автоматов |
| progr. | finite automata theory | теория конечных автоматов (ssn) |
| progr. | finite automata with epsilon-transitions | конечные автоматы с эпсилон-переходами (ssn) |
| math. | finite automaton | конечный автомат |
| 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. | formal notion of a finite automaton | формальное понятие конечного автомата (ssn) |
| progr. | formalism of a deterministic finite automaton | формализм детерминированного конечного автомата (ssn) |
| progr. | informal view of nondeterministic finite automaton | неформальное описание недетерминированного конечного автомата (ssn) |
| progr. | internal state of finite automaton | внутреннее состояние конечного автомата (ssn) |
| progr. | internal states of finite automaton | внутренние состояния конечного автомата (ssn) |
| progr. | minimizing deterministic finite automata | минимизация детерминированных конечных автоматов (ssn) |
| progr. | nerve and finite automata | нервные сети и конечные автоматы (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" ssn) |
| progr. | non deterministic finite automaton | недетерминированный конечный автомат (ssn) |
| progr. | nondeterministic finite automata | недетерминированные конечные автоматы (ssn) |
| progr. | nondeterministic finite automata for text search | недетерминированные конечные автоматы для поиска в тексте (ssn) |
| progr. | nondeterministic finite automaton | НКА (недетерминированный конечный автомат ssn) |
| progr. | nondeterministic finite automaton | недетерминированный конечный автомат (ssn) |
| progr. | one state finite automaton | конечный автомат с одним состоянием (ssn) |
| progr. | representation of events in nerve and finite automata | представление событий в нервных сетях и конечных автоматах (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" (1956) ssn) |
| progr. | simulation of a nondeterministic finite automaton | моделирование недетерминированного конечного автомата (ssn) |
| progr. | State transition logic is formally defined within finite automata theory | Логика переходов состояний формально определена в пределах теории конечных автоматов (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| progr. | system of finite automata | система конечных автоматов (ssn) |