Algorîtmaya biryardana pirsgirêka pejirandinê ya makîneyên Turing du gavan digire: qonaxa simulasyonê û qonaxa verastkirinê. Van gavan ji bo îsbatkirina nebiryarbûna pirsgirêkê girîng in. Di pêngava simulasyonê de, em makîneya Turing (TM) ya diyarkirî li ser rêzek têketinê ya taybetî simul dikin. Ev tê de avakirina TM-ya nû, ku pir caran tête navandin