| Subject | English | Russian |
| progr. | a set of finite values, each of which map to a useful discrete state | набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
| progr. | algorithms for computing the set of reachable states of a finite-state system | алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn) |
| progr. | an abstraction of one or more variables that can take only a set of finite values, each of which map to a useful discrete state | абстрактное представление одной или нескольких переменных, принимающих набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |
| progr. | finite set of states | конечное множество состояний (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. | variables that can take only a set of finite values, each of which map to a useful discrete state | переменные, принимающие набор конечных значений, каждое из которых отображается в полезное дискретное состояние (ssn) |