El algoritmo para decidir el problema de aceptación de las máquinas de Turing implica dos pasos: el paso de simulación y el paso de verificación. Estos pasos son importantes para demostrar la indecidibilidad del problema. En el paso de simulación, simulamos la máquina de Turing (TM) dada en una cadena de entrada particular. Esto implica construir una nueva MT, a menudo denominada