| Russian | English |
| автомат с конечным числом состояний | finite-state machine (конечный автомат ssn) |
| алгоритм минимизации числа состояний детерминированного конечного автомата | algorithm for minimizing the states of a DFA (ssn) |
| алгоритм минимизации числа состояний ДКА | algorithm for minimizing the states of a DFA (ssn) |
| алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | algorithms for computing the set of reachable states of a finite-state system (ssn) |
| бесконечное число состояний | infinite number of states (ssn) |
| бесконечные семейства систем с конечным числом состояний | infinite families of finite-state systems (ssn) |
| верификация систем с конечным числом состояний | verification of finite-state systems (ssn) |
| входы в моделях с конечным числом состояний | inputs of finite-state models (ssn) |
| Вычислительная модель, состоящая из конечного числа состояний и переходов между этими состояниями, возможно с сопутствующими действиями | A computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions (о конечном автомате в IEEE 610 ssn) |
| граф переходов с бесконечным числом состояний | infinite state transition graph (ssn) |
| графы переходов с бесконечным числом состояний | infinite state transition graphs (ssn) |
| другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| конечное число возможных состояний | finite number of possible states (ssn) |
| конечное число состояний | finite number of states (автомата ssn) |
| любая система, представимая основной моделью с конечным числом состояний | every system representable by the basic finite-state model (ssn) |
| метод уменьшения числа состояний | reduction method (автоматов ssn) |
| метод уменьшения числа состояний автоматов с ограничениями на входе | reduction method for input-restricted machines (ssn) |
| минимизация числа состояний детерминированного конечного автомата | minimizing the states of a DFA (ssn) |
| минимизация числа состояний ДКА | minimizing the states of a DFA (ssn) |
| модель автомата с конечным числом состояний | finite-state machine model (ssn) |
| модель меню с конечным числом состояний | finite-state model of menus (ssn) |
| основная модель с конечным числом состояний | basic finite-state model (ssn) |
| поведение системы с конечным числом состояний | behavior of a finite-state model (ssn) |
| поведение системы с конечным числом состояний | behavior of a finite-state machine (ssn) |
| Поведение системы с конечным числом состояний не зависит от способа кодирования выхода | the behavior of a finite-state model is not affected by the specifics of the output encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995) |
| Поведение системы с конечным числом состояний не меняется при изменении входного кодирования | the behavior of a finite-state machine is not changed by changing the input encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995) |
| Поведение системы с конечным числом состояний не меняется при изменении способа кодирования состояний | the behavior of a finite-state machine is not changed by changing the state encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995) |
| процесс с очень большим или бесконечным числом состояний | process with a very large or infinite number of states (ssn) |
| реагирующая система с конечным числом состояний | finite state reactive system (ssn) |
| реагирующие системы с конечным числом состояний | finite state reactive systems (ssn) |
| сервер на машине с конечным числом состояний | finite-state machine server (ssn) |
| система, представимая основной моделью с конечным числом состояний | system representable by the basic finite-state model (ssn) |
| система с конечным числом состояний | finite-state model (ssn) |
| система с конечным числом состояний | finite-state system (ssn) |
| системы с конечным числом состояний | finite-state systems (ssn) |
| Системы с конечным числом состояний как метод управления, который может использоваться для ввода в действие форм поведения несобственных персонажей | Finite-state systems as a control technique that can be used to drive the behaviors of NPCs (ssn) |
| тестирование систем с конечным числом состояний | finite-state testing (ssn) |
| увеличение числа состояний клетки | more states per cell (ssn) |
| увеличение числа состояний клетки: группирование листов | more states per cell: sheet ganging (ssn) |
| уменьшение числа состояний автомата | machine reduction (ssn) |
| уменьшение числа состояний автомата последовательным объединением | machine reduction by successive merging (ssn) |
| управление с конечным числом состояний | finite-state control (ssn) |
| формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний | formal semantics for timed automata in terms of infinite state transition graphs (ssn) |
| число возможных состояний клетки | number of possible cell states (ssn) |
| чрезмерно большое число состояний и переходов | proliferation of states and transitions (напр., на плоской диаграмме состояний (flat statechart) ssn) |
