Terms for subject Programming containing set algorithm

English	Russian
algorithms for computing the set of reachable states	алгоритмы вычисления множества достижимых состояний (ssn)
algorithms for computing the set of reachable states of a finite-state 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)
set algorithm	алгоритм выполнения операций над множествами (из кн.: Солтер Н.А., Клепер С.Дж. С++ для профессионалов Alex_Odeychuk)