Terms containing state set of the system

Subject	English	Russian
progr.	algorithms for computing the set of reachable states of a finite-state system	алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn)
Makarov.	attracting set of unstable paths in the space of states of a dissipative system	притягивающее множество неустойчивых траекторий в пространстве состояний диссипативной системы
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.	state machine model of a simple microwave oven equipped with buttons to set the power and the timer and to start the system	модель конечного автомата простой микроволновой печи, оборудованной кнопками включения питания, таймера и запуска системы (ssn)
progr.	state set of the system	множество состояний системы (ssn)