د تورینګ ماشینونو د منلو ستونزې پریکړه کولو لپاره الګوریتم دوه مرحلې لري: د سمولو مرحله او د تصدیق مرحله. دا ګامونه د ستونزې د ناڅرګندتیا ثابتولو کې مهم دي. د سمولو په مرحله کې، موږ ورکړل شوي تورینګ ماشین (TM) په ځانګړي ان پټ تار کې انډول کوو. پدې کې د نوي TM جوړول شامل دي، چې ډیری وختونه ورته اشاره کیږي