Algoritmus na rozhodovanie o akceptačnom probléme Turingových strojov zahŕňa dva kroky: krok simulácie a krok overenia. Tieto kroky sú dôležité pri dokazovaní nerozhodnuteľnosti problému. V kroku simulácie simulujeme daný Turingov stroj (TM) na konkrétnom vstupnom reťazci. To zahŕňa konštrukciu novej TM, na ktorú sa často odkazuje