Biz diagonallashtirishda foydalaniladigan isbotlash uchun bir nechta qiyin tillar bor

Diagonallashtirish va To'xtash Muammosi

Biz diagonallashtirishda foydalaniladigan isbotlash uchun bir nechta qiyin tillar bor.

Translated from English to Uzbek - www.onlinedoctranslator.com

Yana Maqsad

Har bir muammo uchun algoritm bormi: ya'ni to'g'ri javob beradigan, aniq va to'liq tavsiflangan va guar - antid tugashi kerakmi? Har bir til uchun TM bormi?

Do Yo'q O'qingBu

Misol:O'z-o'zini rad etish

Aniqlash the o'zini o'zi inkor etish mashinalar tomonidan
Stm = { ⟨M ⟩ : M hisoblanadi TM emas qabul qilish ⟨M ⟩ }
EslatmabuStmhisoblanadiayaroqlitil. Agar biz edi hamma narsani biluvchi,bizmumkinyoki yo'qligini ko'ringwhisoblanadiichidaStmtomonidan tahlil qilishwkabiaTM,vakeyin tekshirishxoh bu TM qabul qilingan w.

The Til Stm hisoblanadi Yo'q Re

O'z-o'zidan voz kechish.Stm hisoblanadi emas qayta
IsbottomonidanQarama-qarshilik. Faraz qilaylikbirozTMac- tushunchalar bu til: qo'ng'iroq qiling bu M '.
qiladiM' qabul qiliship⟨M '⟩? Xo'sh,⟨M '⟩ hisoblanadiichidaStm agar and faqat agar M ' qiladi emas qabul qilish ⟨M '⟩. Bu bu,M' qabul qiladi⟨M '⟩ agarvafaqatagarM' qiladiemasac- tushuncha ⟨M '⟩.
Aqarama-qarshilik. berithemantiqto'g'ri,the problem hisoblanadi the taxmin: M ' qiladi emas mavjud.

Diagonallashtirish ichida TM

Mana the diagonallashtirish dalil ichida TM. Qayta- qo'ng'iroq qilingbubizkodlashaTMichidaikkilik;shundaybizmumkin ro'yxati ular ichida leksikografik (lug'at) buyurtma.

Diagonallashtirish ichida TM

Yaratmoqastolbilanhar biriqatoretiketlangantomonidanaTM vahar biriustunetiketlangantomonidanaipbuuz- kodlariaTM.TheyozuvlardemoqxohTMMiac- tushunchalar the ip ⟨Mj⟩.
⟨M0⟩ ⟨M1⟩ ⟨M2⟩ . . .
M0AccYo'q

M1	Yo'q	Yo'q	Yo'q
M2	Yo'q	Acc	Acc
.