Het algoritme voor het bepalen van het acceptatieprobleem van Turing-machines omvat twee stappen: de simulatiestap en de verificatiestap. Deze stappen zijn belangrijk om de onbeslisbaarheid van het probleem te bewijzen. In de simulatiestap simuleren we de gegeven Turing-machine (TM) op een bepaalde invoerreeks. Dit omvat het construeren van een nieuw TM, waarnaar vaak wordt verwezen