Biz diagonallashtirishda foydalaniladigan isbotlash uchun bir nechta qiyin tillar bor

Bino a Yangi TM

Qurmoq a yangi TM D bu qiladi the quyidagi:
D: Yoniq kiritish w

• Aniqlash the TM S bu w kodlaydi.
• Yugurish H yoqilgan ⟨S, w⟩.
• Agar H qabul qiladi keyin rad etish; boshqa qabul qilish.

A Qarama-qarshilik

LekinKutmoq. Nimasodir bo'ladiagarkiritishhisoblanaditavsifi ning D, demoq w' = ⟨D⟩ (yo'q bu D bildirishnomalar)?
Vxoh, D yozadi ⟨D, w'⟩ yoqilgan the lenta, va ozuqalaruchun H.AgarHdeydiqabul qilish,keyinDrad etadi,va vitseaksincha.Bubu,agarHdeb da'vo qiladiDqabul qiladi w' =⟨D⟩, keyinDrad etadiw'. AgarHdeydiDrad etadi w' = ⟨D⟩, keyin D qabul qiladi w'. Ha?
Buhisoblanadiaqarama-qarshilik. Hamma narsabizqildiedi yaxshibundan mustasnobuHmavjud.Xulosa: H qiladi emas mavjud.

Muqobil Isbot

Faraz qilaylik U yerda edi TM H bu qaror qildi Atm. Keyin bitta mumkin foydalanish Hkabiapastki dasturuchun qaror the tilStm.Lekinbu tilhisoblanadiemastakror- siv. Qarama-qarshilik.

The To'xtash Muammo hisoblanadiQaror qilib bo'lmaydi

Buhisoblanadiyo'qSekinroqagarhammasisizistaymanuchunbilishhisoblanadixoh thedasturbo'ladito'xtashyokiemas - chaqiriladitheto'xtash muammo.
Uchun,bittamumkinosonginasozlashaTMshundaybuo'rniga ning kirishhr uchun rad etish, bu kiradiadavlatbu saqlaydiuningboshharakatlanuvchiuchuntheto'g'riabadiy.Yechish- ingtheto'xtashmuammohisoblanadishundayshunchakikabiqiyinkabi hal qilishtheqabul qilishmuammo. Bubu,theto'xtash muammo hisoblanadi hal qilib bo'lmaydigan.

Xulosa

ThetilStm(o'zini rad etish)hisoblanadiemasqaytaTheac- qabul qilishtilAtmvatheto'xtashmuammo borqaytalekinemasrekursiv. Thedalilfoydalanadio'zini ma'lumotnoma.