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. | automata on finite and infinite words | автоматы на конечных и бесконечных словах (ssn) |
math. | automaton with finite past | автомат с конечным запоминанием |
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) |
tech. | deterministic finite-state automaton | детерминированный конечный автомат |
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. | finite control automata | управляющие конечные автоматы (ssn) |
progr. | finite control automaton | управляющий конечный автомат (ssn) |
tech. | finite deterministic automaton | детерминированный конечный автомат |
Makarov. | finite deterministic automaton | детерминированный автомат |
tech. | finite modular automaton | конечный автомат в модульном исполнении |
Makarov. | finite modular automaton | блочный конечный автомат |
progr. | finite probabilistic automaton | конечный вероятностный автомат (ssn) |
progr. | finite representation for the infinite state space of a timed automaton | конечное представление бесконечного пространства состояний временного автомата (ssn) |
progr. | finite state automata | конечные автоматы (ssn) |
IT | finite state automaton | конечный автомат |
tech. | finite state-automata module | конечный модуль автомат |
IT | finite-memory automaton | автомат с конечной памятью |
progr. | finite-state automata | распознающие конечные автоматы (ssn) |
progr. | finite-state automaton | конечный автомат-распознаватель (ssn) |
progr. | finite-state automaton | распознающий конечный автомат (ssn) |
tech. | finite-state automaton | конечный автомат |
progr. | finite-state automaton used for accepting and recognizing input patterns | распознающий конечный автомат, используемый для приёма и распознавания входных образов (ssn) |
progr. | formal notion of a finite automaton | формальное понятие конечного автомата (ssn) |
progr. | formalism of a deterministic finite automaton | формализм детерминированного конечного автомата (ssn) |
progr. | fuzzy finite-state automaton | нечёткий распознающий конечный автомат (ssn) |
progr. | graphical representation of a finite-state automaton used for accepting and recognizing input patterns | графическое представление распознающего конечного автомата, используемого для приёма и распознавания входных образов (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. | nondeterministic finite-state automaton | недетерминированный распознающий конечный автомат (ssn) |
tech. | nondeterministic finite-state automaton | недетерминированный конечный автомат |
progr. | one state finite automaton | конечный автомат с одним состоянием (ssn) |
IT | parity finite-state automata | конечный автомат чётности (clck.ru dimock) |
progr. | probabilistic finite state automata | вероятностные конечные автоматы (ssn) |
progr. | probabilistic finite state automaton | вероятностный конечный автомат (ssn) |
progr. | probabilistic finite-state automata | вероятностные распознающие конечные автоматы (ssn) |
progr. | probabilistic finite-state automata | вероятностные конечные автоматы (ssn) |
progr. | probabilistic finite-state automaton | вероятностный распознающий конечный автомат (ssn) |
progr. | probabilistic finite-state 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) |
progr. | the theory behind finite-state automata | теоретические основы функционирования конечных автоматов (ssn) |
progr. | theory of probabilistic finite state automata | теория вероятностных конечных автоматов (ssn) |
progr. | theory of probabilistic finite-state automata | теория вероятностных конечных автоматов (ssn) |