reachable set – phrases

Terms for subject Programming containing reachable set | all forms

English	Russian
a set of states not reachable from the initial state	набор состояний, недостижимых из начального состояния (ssn)
a set of states not reachable from the initial state	набор состояний, недоступных из начального состояния (ssn)
algorithms for computing the set of reachable states	алгоритмы вычисления множества достижимых состояний (ssn)
algorithms for computing the set of reachable states of a finite-state system	алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn)
computing the set of reachable states	вычисление множества достижимых состояний (ssn)
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)
set of reachable states	множество достижимых состояний (ssn)