Tavsif raqami - Description number

Tavsif raqamlari nazariyasida paydo bo'lgan sonlar Turing mashinalari. Ular juda o'xshash Gödel raqamlari, shuningdek, vaqti-vaqti bilan adabiyotda "Gödel raqamlari" deb nomlanadi. Ba'zilarini hisobga olgan holda universal Turing mashinasi, har bir Turing mashinasiga ushbu mashinada kodlanishini hisobga olgan holda raqam berilishi mumkin. Bu mashinaning tavsif raqami. Ushbu raqamlar muhim rol o'ynaydi Alan Turing ning hal etilmasligining isboti muammoni to'xtatish, va Turing mashinalari haqida fikr yuritishda juda foydali.

Tavsif raqamiga misol

Aytaylik, bizda Turing mashinasi bor edi M davlatlar bilan q1, ... qR, s belgilariga ega lenta alifbosi bilan1, ... sm, bo'sh joy s bilan ko'rsatilgan0, va joriy holatni, joriy belgini va bajarilgan harakatlarni beradigan o'tish (joriy lenta belgisining ustiga yozish va lenta boshini chapga yoki o'ngga siljitish yoki umuman harakatlantirmaslik) va keyingi holat. Alan Turing tomonidan tasvirlangan original universal mashina ostida ushbu mashina unga kirish sifatida quyidagicha kodlangan bo'ladi:

  1. Davlat qmen "D" harfi bilan kodlangan va keyin "A" harfi i marta takrorlangan (a) unary kodlash)
  2. Tasma belgisi sj "D" harfi bilan kodlangan va keyin "C" harfi j marta takrorlangan
  3. O'tish holati, kirish belgisi, tasmaga yozish uchun belgi, harakatlanish yo'nalishi ("L", "R" yoki "N" harflari bilan ifodalanadi, chapga, o'ngga yoki hech qanday harakatlanishsiz), va yuqoridagi kabi kodlangan holatlar va belgilar bilan keyingi holat.

Shunday qilib UTM usuli nuqta-vergul bilan ajratilgan o'tishlardan iborat, shuning uchun uning kirish alifbosi "D", 'A', 'C', 'L', 'R', 'N' va ';' yetti belgidan iborat. . Masalan, lentasida 0 va 1 ni bosib chiqarishni muqobil ravishda o'zgartiradigan juda oddiy Turing mashinasi uchun:

  1. Davlat: q1, kirish belgisi: bo'sh, harakat: 1-nashr, o'ngga siljish, keyingi holat: q2
  2. Davlat: q2, kirish belgisi: bo'sh, harakat: 0 bosib chiqarish, o'ngga siljish, keyingi holat: q1

Bo'sh joy s bo'lishi kerak0, '0' s1 va '1' s2, mashina UTM tomonidan quyidagicha kodlanadi:

DADDCCRDAA; DAADDCRDA;

Ammo keyin, agar biz etti belgining har birini "A" ni 1 ga, "C" ni 2 ga, "D" ni 3 ga, "L" ni 4 ga, "R" ni 5 ga, "N" ni 6 ga va "; ' 7 ga kelib, biz Tyuring mashinasini tabiiy son sifatida kodlashimiz kerak edi: bu Turing mashinasining Turing universal mashinasi ostidagi tavsiflash raqami. Yuqorida tavsiflangan oddiy Turing mashinasi 313322531173113325317 tavsif raqamiga ega bo'lar edi. Umumjahon Turing mashinasining har qanday boshqa turi uchun o'xshash jarayon mavjud. Odatda tavsif raqamini shu tarzda hisoblash shart emas: gap shundaki, har birida tabiiy son eng ko'p Turing mashinasi uchun kod sifatida talqin qilinishi mumkin, ammo ko'plab tabiiy sonlar hech qanday Turing mashinasi uchun kod bo'lmasligi mumkin (yoki boshqacha qilib aytganda, ular shtatlar bo'lmagan Turing mashinalarini ifodalaydi). Bunday raqam har doim har qanday Turing mashinasida bo'lishi haqiqatan ham muhim narsa.

Ishonchsizlik dalillariga murojaat qilish

Tavsif raqamlari ko'plab noaniqlik dalillarida muhim rol o'ynaydi, masalan muammoni to'xtatish bu hal qilib bo'lmaydigan. Birinchidan, tabiiy sonlar va Tyuring mashinalari o'rtasidagi bu to'g'ridan-to'g'ri yozishmalarning mavjudligi shuni ko'rsatadiki, barcha Tyuring mashinalarining to'plami denumable va barchasi to'plamidan beri qisman funktsiyalar bu behisob cheksiz, albatta, Turing mashinalari tomonidan hisoblab bo'lmaydigan juda ko'p funktsiyalar bo'lishi kerak.

Ga o'xshash texnikadan foydalangan holda Kantorning diagonal argumenti, masalan, to'xtash muammosini hal qilish mumkin emasligi sababli, bunday hisoblanmaydigan funktsiyani namoyish qilish mumkin. Birinchidan, U (e, x) bilan universal Turing mashinasining harakatini tavsiflovchi raqam va berilgan x berilgan, agar e haqiqiy Turing mashinasining tavsif raqami bo'lmasa 0 ga qaytaradigan belgi berilgan. Endi ba'zi birlari bor deb taxmin qildim algoritm to'xtash muammosini hal qilishga qodir, ya'ni Turing mashinasi TEST (e) berilgan, bu Turing mashinasining tavsif raqamini bergan, agar Turing mashinasi har bir kirishda to'xtab qolsa 1 ga yoki uning abadiy ishlashiga olib keladigan ba'zi bir kirish bo'lsa 0 ga teng bo'ladi. . Ushbu mashinalarning natijalarini birlashtirib, U (k, k) + 1 ni qaytaradigan yana bir machine (k) mashinani qurish mumkin, agar TEST (k) 1 ga teng bo'lsa va TEST (k) 0 ga teng bo'lsa. δ har bir kirish uchun belgilanadi va tabiiy ravishda bo'lishi kerak umumiy rekursiv. $ T $ Turing mashinalari deb taxmin qilganimiz sababli qurilganligi sababli, u ham tavsif raqamiga ega bo'lishi kerak, uni "e" deb nomlang. Shunday qilib, biz yana eT tavsif raqamini UTM ga etkazishimiz mumkin va ta'rifi bo'yicha δ (k) = U (e, k), shuning uchun δ (e) = U (e, e). Ammo TEST (e) 1 bo'lgani uchun, boshqa ta'rifimizga ko'ra, δ (e) = U (e, e) + 1, bu qarama-qarshilikka olib keladi. Shunday qilib, TEST (e) mavjud bo'lolmaydi va shu bilan biz to'xtash muammosini hal qilib bo'lmaydigan qilib hal qildik.

Shuningdek qarang

Adabiyotlar

  • Jon Xopkroft va Jeffri D. Ullman (1979). Avtomatika nazariyasi, tillar va hisoblash bilan tanishish (1-nashr). Addison-Uesli. ISBN  0-201-44124-1. (Zolushka kitobi)
  • Turing, A. M. "Hisoblanadigan raqamlar to'g'risida Entscheidungsproblem ", Prok. Roy. Sok. London, 2 (42), 1936, 230-265 betlar.