Terms for subject Programming containing algorithm for computing

English	Russian
algorithm for computing	алгоритм вычисления (ssn)
algorithm for computing intersection	алгоритм вычисления пересечения (ssn)
algorithm for computing the largest bisimulation	алгоритм вычисления наибольшей бисимуляции (ssn)
algorithms for computing	алгоритмы вычисления (ssn)
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)