| Subject | English | Russian |
| IT | abstract theory of automata | абстрактная теория автоматов |
| progr. | acceptance of input strings by automata | принятие входной строки автоматом (ssn) |
| progr. | additive automata net | аддитивная сеть автоматов (ssn) |
| progr. | additive automata network | аддитивная сеть автоматов (ssn) |
| progr. | additive automata networks | аддитивные сети автоматов (ssn) |
| progr. | additive cellular automata | аддитивные клеточные автоматы (ssn) |
| progr. | algorithm for translating LTL into automata | алгоритм трансляции LTL в автоматы (ssn) |
| progr. | algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
| progr. | algorithms for testing inclusion between timed omega automata | алгоритмы проверки включения временных омега-автоматов (ssn) |
| progr. | alternating automata | альтернирующие автоматы (ssn) |
| progr. | asynchronous automata net | асинхронная сеть автоматов (ssn) |
| progr. | asynchronous automata network | асинхронная сеть автоматов (ssn) |
| progr. | asynchronous automata networks | асинхронные сети автоматов (ssn) |
| progr. | asynchronous cellular automata | асинхронные клеточные автоматы (ssn) |
| progr. | asynchronous pulse automata | асинхронные импульсные автоматы (ssn) |
| progr. | automata-based program | автоматная программа (ssn) |
| progr. | automata-based programming | автоматное программирование (ssn) |
| math. | automata equivalence | эквивалентность автоматов |
| math. | automata game | игра автоматов |
| math. | automata homomorphism | гомоморфизм автоматов |
| math. | automata minimization | минимизация автоматов |
| progr. | automata net | сеть автоматов (ssn) |
| progr. | automata network | сеть автоматов (ssn) |
| progr. | automata on finite and infinite words | автоматы на конечных и бесконечных словах (ssn) |
| IT | automata studies | теория автоматов |
| tech. | automata synthesis | синтез автоматов |
| automat. | automata theory | теория конечных автоматов |
| IT | automata theory | теория автомата |
| tech. | automata theory | теория автоматов |
| IT | automaton analysis | анализ автоматов |
| math. | automaton decomposition | разложение автоматов |
| math. | automaton diagram | диаграмма автомата |
| math. | automaton kernel | ядро автомата |
| IT | automaton logic | автоматная логика |
| math. | automaton memory | память автомата |
| math. | automaton with finite past | автомат с конечным запоминанием |
| math. | automaton with infinite past | автомат с бесконечным запоминанием |
| progr. | boolean automata net | булева сеть автоматов (ssn) |
| progr. | boolean automata network | булева сеть автоматов (ssn) |
| progr. | boolean automata networks | булевы сети автоматов (ssn) |
| progr. | Buchi automata | автоматы Бюхи (ssn) |
| progr. | cellular automata | матричные автоматы (ssn) |
| Gruzovik, IT | cellular automata | ячеистые автоматы (wikipedia.org) |
| media. | cellular automata | матричный автомат (математическая модель сложных систем, содержащая большое число простых идентичных компонент (клеток), взаимодействующих только с соседними клетками) |
| progr. | cellular automata | клеточные автоматы (= КА) математическая модель или устройство, реализующее однородную сетку работающих параллельно клеток, каждая из которых связана с соседними определёнными правилами взаимодействия cellular rules). Каждая клетка может находиться в одном из нескольких заданных дискретных состояний, зависящих от состояния некоторых или всех) её соседей. КА могут быть одномерными, двумерными плоскими) и многомерными. Все изменения состояний клеток КА происходят синхронно одновременно) в дискретные моменты времени после вычисления нового состояния каждой клетки. КА бывают однородными uniform CA), если одни и те же правила действуют для всех клеток, и неоднородными non-uniform CA) в противном случае CNN ). Понятие "клеточный автомат" ввёл Джон фон Нейман John von Neumann). Он назвал так сеть однородных ячеек, рассматривая математическую модель системы, моделирующей самовоспроизводящийся организм, и показав, что это в принципе возможно ssn) |
| progr. | cellular automata | КА (КА – клеточные автоматы, клеточный автомат ssn) |
| media. | cellular automata | клеточный автомат |
| progr. | Cellular automata are discrete dynamical systems whose behavior is completely specified in terms of a local relation, much as is the case for a large class of continuous dynamical systems defined by partial differential equations | Клеточные автоматы являются дискретными динамическими системами, поведение которых полностью определяется в терминах локальных зависимостей, в значительной степени так же обстоит дело для большого класса непрерывных динамических систем, определённых уравнениями в частных производных (ssn) |
| chem. | cellular automata in computational quantum chemistry | клеточные автоматы в вычислительной квантовой химии |
| IT | cellular automata machine | клеточно-автоматная вычислительная машина |
| progr. | cellular automata machines | машины клеточных автоматов (ssn) |
| progr. | cellular automata net | сеть клеточных автоматов (ssn) |
| progr. | cellular automata network | сеть клеточных автоматов (ssn) |
| progr. | cellular automata networks | сети клеточных автоматов (ssn) |
| progr. | cellular automata theory | теория клеточных автоматов (ssn) |
| progr. | central concepts of automata theory | основные понятия теории автоматов (ssn) |
| math. | collective of automata | коллектив автоматов |
| progr. | communication with automata | связь автоматов (Карл Адам Петри впервые предложил сети Петри в своей докторской диссертации "Kommunikation mit Automaten" ("Связь автоматов") ssn) |
| progr. | component automata | составляющие автоматы (ssn) |
| math. | composition of automata | композиция автоматов |
| progr. | computing automata | вычислительные автоматы (ssn) |
| progr. | control automata | управляющие автоматы (ssn) |
| progr. | definition of programming languages by interpreting automata | определение языков программирования интерпретирующими автоматами (ssn) |
| progr. | definition of timed automata | определение временных автоматов (ssn) |
| progr. | describing automata | описание автоматов (ssn) |
| progr. | deterministic and nondeterministic finite automata | детерминированные и недетерминированные конечные автоматы (ssn) |
| progr. | deterministic finite automata | детерминированные конечные автоматы (ssn) |
| progr. | deterministic pushdown automata | детерминированные автоматы с магазинной памятью (ssn) |
| IT | discrete automata synthesis | синтез дискретных автоматов |
| progr. | distributive asynchronous automata | дистрибутивные асинхронные автоматы (ssn) |
| progr. | each pair of transitions from the individual automata | каждая пара переходов отдельных автоматов (ssn) |
| progr. | each pair of transitions from the individual timed automata | каждая пара переходов отдельных временных автоматов (ssn) |
| progr. | equivalence of deterministic and nondeterministic finite automata | эквивалентность детерминированных и недетерминированных конечных автоматов (ssn) |
| math. | experiment with automata | эксперимент с автоматами |
| progr. | finite automata | конечные автоматы (ssn) |
| IT | finite automata synthesis | синтез конечных автоматов |
| progr. | finite automata theory | теория конечных автоматов (ssn) |
| progr. | finite automata with epsilon-transitions | конечные автоматы с эпсилон-переходами (ssn) |
| progr. | finite control automata | управляющие конечные автоматы (ssn) |
| progr. | finite state automata | конечные автоматы (ssn) |
| tech. | finite state-automata module | конечный модуль автомат |
| progr. | finite-state automata | распознающие конечные автоматы (ssn) |
| progr. | for each pair of transitions from the individual automata with the same action | для каждой пары переходов отдельных автоматов, помеченных одним и тем же действием (ssn) |
| progr. | formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
| progr. | formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
| progr. | from regular expressions to automata | от регулярных выражений к автоматам (ssn) |
| progr. | fuzzy-state automata | нечёткие конечные автоматы (ssn) |
| gen. | gradient automata | шагающие автоматы |
| progr. | hybrid automata | гибридные автоматы (ssn) |
| progr. | individual automata | отдельные автоматы (ssn) |
| progr. | individual timed automata | отдельные временные автоматы (ssn) |
| progr. | infinite automata theory | теория бесконечных автоматов (ssn) |
| progr. | interpreting automata | интерпретирующие автоматы (ssn) |
| progr. | invertible cellular automata | обратимые клеточные автоматы (ssn) |
| progr. | isomorphic automata | изоморфные автоматы (ssn) |
| math. | isomorphic automata automaton | изоморфные автоматы |
| Makarov. | lattice gas automata | автоматы решёточного газа (модели) |
| math. | list of automata | каталог автоматов |
| progr. | minimizing deterministic finite automata | минимизация детерминированных конечных автоматов (ssn) |
| progr. | model checking using automata | верификация моделей при помощи автоматов (ssn) |
| progr. | modeling with timed automata | моделирование временными автоматами (ssn) |
| progr. | nerve and finite automata | нервные сети и конечные автоматы (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" ssn) |
| progr. | nested automata | вложенные автоматы (ssn) |
| comp.games. | NieR: Automata | Ниер: Автомата (Название компьютерной игры – "NieR: Automata" danshirfps) |
| progr. | non-deterministic automata | недетерминированные автоматы (ssn) |
| progr. | nondeterministic finite automata | недетерминированные конечные автоматы (ssn) |
| progr. | nondeterministic finite automata for text search | недетерминированные конечные автоматы для поиска в тексте (ssn) |
| progr. | nondeterministic pushdown automata | недетерминированные автоматы с магазинной памятью (ssn) |
| progr. | non-uniform cellular automata | неоднородные клеточные автоматы (ssn) |
| progr. | notation for describing automata | способ описания автоматов (ssn) |
| progr. | one-dimensional cellular automata | одномерные клеточные автоматы (ssn) |
| progr. | pairs of locations from the component automata | пары позиций составляющих автоматов (ssn) |
| progr. | parallel composition of four individual automata | параллельная композиция четырёх отдельных автоматов (ssn) |
| progr. | parallel compositions of timed automata | параллельные композиции временных автоматов (ssn) |
| IT | parity finite-state automata | конечный автомат чётности (clck.ru dimock) |
| progr. | parsing automata | анализирующие автоматы (в теории синтаксического анализа, перевода и компиляции ssn) |
| progr. | parsing with pushdown automata | разбор с помощью автоматов с магазинной памятью (ssn) |
| progr. | preferred notation for describing automata | более удобный способ описания автоматов (ssn) |
| progr. | probabilistic automata | вероятностные автоматы (ssn) |
| progr. | probabilistic automata theory | теория вероятностных автоматов (ssn) |
| progr. | probabilistic finite state automata | вероятностные конечные автоматы (ssn) |
| progr. | probabilistic finite-state automata | вероятностные распознающие конечные автоматы (ssn) |
| progr. | probabilistic finite-state automata | вероятностные конечные автоматы (ssn) |
| math. | problem of race-free state assignment of asynchronous parallel automata | задача противогоночного кодирования состояний асинхронных параллельных автоматов (ssn) |
| math. | product of automata | произведение автоматов |
| progr. | properties of timed automata | свойства временных автоматов (ssn) |
| progr. | pulse automata | импульсные автоматы (ssn) |
| progr. | pushdown automata | магазинные автоматы (ssn) |
| progr. | pushdown automata | автоматы с магазинной памятью (ssn) |
| nano | quantum cellular automata | квантовая сотовая автоматика |
| math. | race-free state assignment of asynchronous parallel automata | противогоночное кодирование состояний асинхронных параллельных автоматов (ssn) |
| progr. | random automata net | случайная сеть автоматов (ssn) |
| progr. | random automata network | случайная сеть автоматов (ssn) |
| progr. | random automata networks | случайные сети автоматов (ssn) |
| automat. | related automata | связанные автоматы |
| math. | related automata automaton | связанные автоматы |
| progr. | representation of events in nerve and finite automata | представление событий в нервных сетях и конечных автоматах (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" (1956) ssn) |
| IT | self-reproducing automata theory | теория растущих автоматов |
| math. | semigroup of automata | полугруппа автоматов |
| progr. | simulation of cellular automata | моделирование клеточных автоматов (ssn) |
| math. | state assignment of asynchronous parallel automata | кодирование состояний асинхронных параллельных автоматов (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. | stochastic automata net | стохастическая сеть автоматов (ssn) |
| progr. | stochastic automata network | стохастическая сеть автоматов (ssn) |
| progr. | stochastic automata networks | стохастические сети автоматов (ssn) |
| math. | structural theory of automata | структурная теория автоматов |
| math. | superposition of automata | суперпозиция автоматов |
| math. | synthesis of automata | синтез автоматов |
| progr. | system of finite automata | система конечных автоматов (ssn) |
| progr. | testing inclusion between timed omega automata | проверка включения временных омега-автоматов (ssn) |
| progr. | the theory behind finite-state automata | теоретические основы функционирования конечных автоматов (ssn) |
| math. | theory of automata | теория автоматов |
| progr. | theory of infinite-state automata | теория бесконечных автоматов (ssn) |
| progr. | theory of probabilistic automata | теория вероятностных автоматов (ssn) |
| progr. | theory of probabilistic finite state automata | теория вероятностных конечных автоматов (ssn) |
| progr. | theory of probabilistic finite-state automata | теория вероятностных конечных автоматов (ssn) |
| progr. | there are two preferred notations for describing automata | Существует два более удобных способа описания автоматов |
| progr. | timed automata | временные автоматы (ssn) |
| progr. | timed automata | синхронные автоматы (ssn) |
| automat. | timed automata model | модель временных автоматов (alexeyaxim) |
| progr. | timed omega automata | временные омега-автоматы (ssn) |
| progr. | translating LTL into automata | трансляция LTL в автоматы (ssn) |
| progr. | uniform cellular automata | однородные клеточные автоматы (ssn) |