halting automaton

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