| English | Russian |
| acceptance of input strings by automata | принятие входной строки автоматом (ssn) |
| additive automata net | аддитивная сеть автоматов (ssn) |
| additive automata network | аддитивная сеть автоматов (ssn) |
| additive automata networks | аддитивные сети автоматов (ssn) |
| additive cellular automata | аддитивные клеточные автоматы (ssn) |
| algorithm for translating LTL into automata | алгоритм трансляции LTL в автоматы (ssn) |
| algorithms for CTL model checking, LTL model checking, and testing inclusion between timed omega automata | алгоритмы верификации моделей для формул CTL и для формул LTL, а также проверки включения временных омега-автоматов (ssn) |
| algorithms for testing inclusion between timed omega automata | алгоритмы проверки включения временных омега-автоматов (ssn) |
| alternating automata | альтернирующие автоматы (ssn) |
| asynchronous automata net | асинхронная сеть автоматов (ssn) |
| asynchronous automata network | асинхронная сеть автоматов (ssn) |
| asynchronous automata networks | асинхронные сети автоматов (ssn) |
| asynchronous cellular automata | асинхронные клеточные автоматы (ssn) |
| asynchronous pulse automata | асинхронные импульсные автоматы (ssn) |
| automata-based program | автоматная программа (ssn) |
| automata-based programming | автоматное программирование (ssn) |
| automata net | сеть автоматов (ssn) |
| automata network | сеть автоматов (ssn) |
| automata on finite and infinite words | автоматы на конечных и бесконечных словах (ssn) |
| boolean automata net | булева сеть автоматов (ssn) |
| boolean automata network | булева сеть автоматов (ssn) |
| boolean automata networks | булевы сети автоматов (ssn) |
| Buchi automata | автоматы Бюхи (ssn) |
| cellular automata | матричные автоматы (ssn) |
| cellular automata | КА (КА – клеточные автоматы, клеточный автомат ssn) |
| cellular automata | клеточные автоматы (= КА) математическая модель или устройство, реализующее однородную сетку работающих параллельно клеток, каждая из которых связана с соседними определёнными правилами взаимодействия cellular rules). Каждая клетка может находиться в одном из нескольких заданных дискретных состояний, зависящих от состояния некоторых или всех) её соседей. КА могут быть одномерными, двумерными плоскими) и многомерными. Все изменения состояний клеток КА происходят синхронно одновременно) в дискретные моменты времени после вычисления нового состояния каждой клетки. КА бывают однородными uniform CA), если одни и те же правила действуют для всех клеток, и неоднородными non-uniform CA) в противном случае CNN ). Понятие "клеточный автомат" ввёл Джон фон Нейман John von Neumann). Он назвал так сеть однородных ячеек, рассматривая математическую модель системы, моделирующей самовоспроизводящийся организм, и показав, что это в принципе возможно ssn) |
| 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) |
| cellular automata machines | машины клеточных автоматов (ssn) |
| cellular automata net | сеть клеточных автоматов (ssn) |
| cellular automata network | сеть клеточных автоматов (ssn) |
| cellular automata networks | сети клеточных автоматов (ssn) |
| cellular automata theory | теория клеточных автоматов (ssn) |
| central concepts of automata theory | основные понятия теории автоматов (ssn) |
| communication with automata | связь автоматов (Карл Адам Петри впервые предложил сети Петри в своей докторской диссертации "Kommunikation mit Automaten" ("Связь автоматов") ssn) |
| component automata | составляющие автоматы (ssn) |
| computing automata | вычислительные автоматы (ssn) |
| control automata | управляющие автоматы (ssn) |
| definition of programming languages by interpreting automata | определение языков программирования интерпретирующими автоматами (ssn) |
| definition of timed automata | определение временных автоматов (ssn) |
| describing automata | описание автоматов (ssn) |
| deterministic and nondeterministic finite automata | детерминированные и недетерминированные конечные автоматы (ssn) |
| deterministic finite automata | детерминированные конечные автоматы (ssn) |
| deterministic pushdown automata | детерминированные автоматы с магазинной памятью (ssn) |
| distributive asynchronous automata | дистрибутивные асинхронные автоматы (ssn) |
| each pair of transitions from the individual automata | каждая пара переходов отдельных автоматов (ssn) |
| each pair of transitions from the individual timed automata | каждая пара переходов отдельных временных автоматов (ssn) |
| equivalence of deterministic and nondeterministic finite automata | эквивалентность детерминированных и недетерминированных конечных автоматов (ssn) |
| finite automata | конечные автоматы (ssn) |
| finite automata theory | теория конечных автоматов (ssn) |
| finite automata with epsilon-transitions | конечные автоматы с эпсилон-переходами (ssn) |
| finite control automata | управляющие конечные автоматы (ssn) |
| finite state automata | конечные автоматы (ssn) |
| finite-state automata | распознающие конечные автоматы (ssn) |
| for each pair of transitions from the individual automata with the same action | для каждой пары переходов отдельных автоматов, помеченных одним и тем же действием (ssn) |
| formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
| formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
| from regular expressions to automata | от регулярных выражений к автоматам (ssn) |
| fuzzy-state automata | нечёткие конечные автоматы (ssn) |
| hybrid automata | гибридные автоматы (ssn) |
| individual automata | отдельные автоматы (ssn) |
| individual timed automata | отдельные временные автоматы (ssn) |
| infinite automata theory | теория бесконечных автоматов (ssn) |
| interpreting automata | интерпретирующие автоматы (ssn) |
| invertible cellular automata | обратимые клеточные автоматы (ssn) |
| isomorphic automata | изоморфные автоматы (ssn) |
| minimizing deterministic finite automata | минимизация детерминированных конечных автоматов (ssn) |
| model checking using automata | верификация моделей при помощи автоматов (ssn) |
| modeling with timed automata | моделирование временными автоматами (ssn) |
| nerve and finite automata | нервные сети и конечные автоматы (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" ssn) |
| nested automata | вложенные автоматы (ssn) |
| non-deterministic automata | недетерминированные автоматы (ssn) |
| nondeterministic finite automata | недетерминированные конечные автоматы (ssn) |
| nondeterministic finite automata for text search | недетерминированные конечные автоматы для поиска в тексте (ssn) |
| nondeterministic pushdown automata | недетерминированные автоматы с магазинной памятью (ssn) |
| non-uniform cellular automata | неоднородные клеточные автоматы (ssn) |
| notation for describing automata | способ описания автоматов (ssn) |
| one-dimensional cellular automata | одномерные клеточные автоматы (ssn) |
| pairs of locations from the component automata | пары позиций составляющих автоматов (ssn) |
| parallel composition of four individual automata | параллельная композиция четырёх отдельных автоматов (ssn) |
| parallel compositions of timed automata | параллельные композиции временных автоматов (ssn) |
| parsing automata | анализирующие автоматы (в теории синтаксического анализа, перевода и компиляции ssn) |
| parsing with pushdown automata | разбор с помощью автоматов с магазинной памятью (ssn) |
| preferred notation for describing automata | более удобный способ описания автоматов (ssn) |
| probabilistic automata | вероятностные автоматы (ssn) |
| probabilistic automata theory | теория вероятностных автоматов (ssn) |
| probabilistic finite state automata | вероятностные конечные автоматы (ssn) |
| probabilistic finite-state automata | вероятностные распознающие конечные автоматы (ssn) |
| probabilistic finite-state automata | вероятностные конечные автоматы (ssn) |
| properties of timed automata | свойства временных автоматов (ssn) |
| pulse automata | импульсные автоматы (ssn) |
| pushdown automata | магазинные автоматы (ssn) |
| pushdown automata | автоматы с магазинной памятью (ssn) |
| random automata net | случайная сеть автоматов (ssn) |
| random automata network | случайная сеть автоматов (ssn) |
| random automata networks | случайные сети автоматов (ssn) |
| representation of events in nerve and finite automata | представление событий в нервных сетях и конечных автоматах (S.С Kleene, Representation of Events in Nerve and Finite Automata, "Automata Studies" (1956) ssn) |
| simulation of cellular automata | моделирование клеточных автоматов (ssn) |
| 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) |
| stochastic automata net | стохастическая сеть автоматов (ssn) |
| stochastic automata network | стохастическая сеть автоматов (ssn) |
| stochastic automata networks | стохастические сети автоматов (ssn) |
| system of finite automata | система конечных автоматов (ssn) |
| testing inclusion between timed omega automata | проверка включения временных омега-автоматов (ssn) |
| the theory behind finite-state automata | теоретические основы функционирования конечных автоматов (ssn) |
| theory of infinite-state automata | теория бесконечных автоматов (ssn) |
| theory of probabilistic automata | теория вероятностных автоматов (ssn) |
| theory of probabilistic finite state automata | теория вероятностных конечных автоматов (ssn) |
| theory of probabilistic finite-state automata | теория вероятностных конечных автоматов (ssn) |
| there are two preferred notations for describing automata | Существует два более удобных способа описания автоматов |
| timed automata | временные автоматы (ssn) |
| timed automata | синхронные автоматы (ssn) |
| timed omega automata | временные омега-автоматы (ssn) |
| translating LTL into automata | трансляция LTL в автоматы (ssn) |
| uniform cellular automata | однородные клеточные автоматы (ssn) |
