| Russian | English |
| алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний | algorithms for computing the set of reachable states of a finite-state system (ssn) |
| бесконечные семейства систем с конечным числом состояний | infinite families of finite-state systems (ssn) |
| верификация систем с конечным числом состояний | verification of finite-state systems (ssn) |
| любая система, представимая основной моделью с конечным числом состояний | every system representable by the basic finite-state model (ssn) |
| Модель конечного автомата показывает состояния системы и события, которые служат причиной перехода системы из одного состояния в другое | the state machine model shows system states and events that cause transitions from one state to another (см. Software engineering, 8th ed. / Ian Sommerville 2007) |
| на рис. 7.1 показана функциональная схема стандартного конечного автомата, состоящего из комбинационной логики и регистров, которые хранят состояние системы | Figure 7.1 shows a block diagram of a generic finite state machine that consists of combinational logic and registers, which hold the system state (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| поведение системы с конечным числом состояний | behavior of a finite-state model (ssn) |
| поведение системы с конечным числом состояний | behavior of a finite-state machine (ssn) |
| построение модели системы конечных состояний | modeling of finite state systems (ssn) |
| реагирующая система с конечным числом состояний | finite state reactive system (ssn) |
| реагирующие системы с конечным числом состояний | finite state reactive systems (ssn) |
| система конечных состояний | finite state systems (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) |
