Tiuringo mašinų priėmimo problemos sprendimo algoritmas susideda iš dviejų etapų: modeliavimo ir patikrinimo. Šie žingsniai yra svarbūs įrodant problemos neišsprendžiamumą. Modeliavimo etape mes imituojame nurodytą Tiuringo mašiną (TM) tam tikroje įvesties eilutėje. Tai apima naujo TM, dažnai vadinamo, sukūrimą