Halting automaton

математика незацикливающийся автомат

Англо-русский научно-технический словарь