 |
| Subject | English | Russian |
| progr. | algorithms for computing the set of reachable states of a finite-state system | алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn) |
| math. | completely reachable state | вполне достижимое состояние |
| 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. | reachable state | доступное состояние (напр., состояние В доступно из состояния А, если существует такой набор входов, что модель, находясь изначально в состоянии А, в итоге придет в состояние В. Это означает, что в графе состояний существует путь от А к В ssn) |
| math. | reachable state | достижимое состояние |