Terms for subject Programming containing достижимое состояние

Russian	English
алгоритмы вычисления множества достижимых состояний	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)
достижимое состояние	reachable configuration (напр., распределённой системы ssn)
достижимые состояния	reachable states (ssn)
достижимые состояния исходного автомата	reachable states of the original automaton (ssn)
достижимые состояния распределённой системы	reachable configurations of a distributed system (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)
количество достижимых состояний распределённой системы	number of reachable configurations of a distributed system (ssn)
множество достижимых состояний	set of reachable states (ssn)