Algoritem za odločanje o problemu sprejemljivosti Turingovih strojev vključuje dva koraka: korak simulacije in korak preverjanja. Ti koraki so pomembni pri dokazovanju neodločljivosti problema. V koraku simulacije simuliramo dani Turingov stroj (TM) na določenem vhodnem nizu. To vključuje izdelavo novega TM, ki se pogosto sklicuje