Terms for subject Programming containing reduction algorithm

English	Russian
automaton reduction algorithm	алгоритм приведения автомата (ssn)
depth-first search with partial order reduction algorithm	алгоритм поиска в глубину с редукцией частичных порядков (ssn)
node-reduction algorithm	алгоритм сокращения числа узлов (ssn)