| Subject | English | Russian |
| progr. | algorithms for computing the set of reachable states of a finite-state system | алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn) |
| progr. | every system representable by the basic finite-state model | любая система, представимая основной моделью с конечным числом состояний (ssn) |
| progr. | 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 | на рис. 7.1 показана функциональная схема стандартного конечного автомата, состоящего из комбинационной логики и регистров, которые хранят состояние системы (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| progr. | finite state reactive system | реагирующая система с конечным числом состояний (ssn) |
| progr. | finite state reactive systems | реагирующие системы с конечным числом состояний (ssn) |
| math. | finite state system | система с конечным числом состояний |
| progr. | finite state systems | система конечных состояний (ssn) |
| progr. | finite-state system | система с конечным числом состояний (ssn) |
| progr. | finite-state systems | системы с конечным числом состояний (ssn) |
| progr. | Finite-state systems as a control technique that can be used to drive the behaviors of NPCs | Системы с конечным числом состояний как метод управления, который может использоваться для ввода в действие форм поведения несобственных персонажей (ssn) |
| progr. | Given the place representation of input and output symbols, we can complete the modeling of finite state systems | Задав представление позиций, соответствующих символам входа и выхода, мы можем завершить построение модели системы конечных состояний (ssn) |
| progr. | infinite families of finite-state systems | бесконечные семейства конечных систем (ssn) |
| progr. | infinite families of finite-state systems | бесконечные семейства систем с конечным числом состояний (ssn) |
| progr. | modeling of finite state systems | построение модели системы конечных состояний (ssn) |
| progr. | 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) |
| progr. | system representable by the basic finite-state model | система, представимая основной моделью с конечным числом состояний (ssn) |
| progr. | verification of finite-state systems | верификация систем с конечным числом состояний (ssn) |