«Algoritmlar nazariyasi»fanidan «Cheklanmagan registrlik mashina.»

Ro'yxatdan o'tish-adreslash usuli:

Qarama-qarshi mashina: bilvosita adreslash yo'q, yuqori atomlangan modellarda tezkor operandlar mumkin
RAM va RASP: bilvosita adreslash mavjud, tezkor operandlar tipik

4. 
   Kirish-chiqish: barcha modellarda ixtiyoriy
   
1. 
   Davlat reestri: "IR" maxsus ko'rsatmalar registri, cheklangan va yuqoridagi registrlardan alohida, bajarilishi kerak bo'lgan ko'rsatmani va uning manzilini ko'rsatmalar jadvalida saqlaydi; ushbu registr va uning JADVALI cheklangan holat mashinasida joylashgan.
   

1. 
   IQ barcha modellar uchun taqiqlangan. RAM va RASP holatlarida, registrning "manzilini" aniqlash uchun model to'g'ridan-to'g'ri adreslash holatida (i) ni tanlashi mumkin - Jadvalda ko'rsatilgan va vaqtincha IQda joylashgan manzil yoki ( ii) bilvosita adreslash holatlarida - IR yo'riqnomasida ko'rsatilgan reestrning tarkibi.
   
2. 
   IQ mavjud emas RASP-ning "dastur hisoblagichi" (kompyuter) (yoki an'anaviy) kompyuter). Shaxsiy kompyuter - bu akkumulyatorga o'xshash yana bir registr, ammo RASP-ning ro'yxatga olish asosidagi amaldagi ko'rsatmalar sonini saqlashga bag'ishlangan. Shunday qilib, RASP mavjud ikkitasi "yo'riqnoma / dastur" registrlari - (i) IR (cheklangan davlat mashinasining ko'rsatmalar registri) va (ii) registrlarda joylashgan dastur uchun kompyuter (Program Counter). (Shuningdek, "shaxsiy kompyuter" ga bag'ishlangan reestr bilan bir qatorda, RASP yana bir reestrni "Dastur-yo'riq reestri" ga bag'ishlashi mumkin ("PIR," IR "," PR "va boshqalar kabi har qanday nomlar bilan yurish).
   
• 
  Odatda ketma-ket tartibda etiketlangan ko'rsatmalar ro'yxati: Ko'rsatmalarning cheklangan ro'yxati  . Hisoblagich mashinasida, tasodifiy kirish mashinasi (RAM) va ko'rsatgich mashinasida ko'rsatmalar do'koni cheklangan holat mashinasining "JADVALI" da joylashgan; Shunday qilib, ushbu modellar Garvard me'morchiligi. RASP holatida dastur do'koni registrlarda; Shunday qilib, bu fon Neyman me'morchiligi. Shuningdek qarang Tasodifiy kirish mashinasi va Tasodifiy kirish uchun saqlanadigan dastur mashinasi.
  Odatda, shunga o'xshash kompyuter dasturlari, ko'rsatmalar ketma-ket tartibda keltirilgan; agar sakrash muvaffaqiyatli bo'lmasa, standart ketma-ketlik raqamlar tartibida davom etadi. Abakus (Lambek (1961), Minsky (1961)) peshtaxta mashinalari modellari bundan mustasno - har bir ko'rsatmada kamida bitta "navbatdagi" ko'rsatma identifikatori "z" mavjud, shartli filial esa ikkitaga ega.
  
  1. 
     Abakus modeli ikkita ko'rsatmani birlashtirganiga e'tibor bering, JZ keyin DEC: masalan. {INC (r, z), JZDEC (r, z_to'g'ri, z_yolg'on ) }.
     Qarang Makkarti rasmiyligi haqida ko'proq ma'lumot olish uchun shartli ifoda "IF r = 0 UNDA z_to'g'ri BOShQA z_yolg'on"(Qarang: Makkarti (1960)).
     

1.2 Ro'yxatdan o'tish mashinasi modelining tarixiy rivojlanishi
Ikki tendentsiya 1950-yillarning boshlarida paydo bo'lgan - bu birinchi xarakteristikadir kompyuter kabi Turing mashinasi, ikkinchisi kompyuterga o'xshash modellarni - ketma-ket buyruqlar ketma-ketligi va shartli sakrashga ega modellarni - Turing mashinasining kuchi bilan, ya'ni "deb nomlangan" ni belgilaydi. Turing ekvivalenti. Ushbu ish uchun zarurat ikkita "qiyin" muammolar doirasida amalga oshirildi: echimsiz so'z muammosi Emil Post- bu "yorliq" muammosi - va juda "qiyin" muammo Hilbert muammolari- atrofdagi 10-savol Diofant tenglamalari. Tadqiqotchilar tabiatan unchalik "mantiqiy" bo'lmagan va ko'proq "arifmetik" bo'lgan Turingga teng keladigan modellarni qidirmoqdalar (qarang Melzak (1961) 281-bet, Shepherdson-Sturgis (1963) 218-bet).
Birinchi tendentsiya - kompyuterlarni tavsiflash yo'nalishi paydo bo'lganga o'xshaydi^[4] bilan Xans Hermes (1954), Rósa Péter (1958) va Xaynts Kafengst (1959), bilan ikkinchi tendentsiya Xao Vang (1954, 1957) va yuqorida ta'kidlab o'tilganidek, davom ettirildi Zdzislav Aleksandr Melzak (1961), Yoaxim Lambek (1961), Marvin Minskiy (1961, 1967),^[5] va Jon Shepherdson va Xovard E. Sturgis (1963).^[5]
Oxirgi beshta ism shu tartibda aniq ko'rsatilgan Yuriy Matiyasevich. U quyidagilarni kuzatib boradi:
"Ro'yxatdan o'tish mashinalari [ba'zi mualliflar" qarshi mashina "bilan sinonim" ro'yxatga olish mashinasi "dan foydalanadilar], ayniqsa Diofant tenglamalarini tuzishda juda mos keladi. Turing mashinalarida bo'lgani kabi, ular ham juda ibtidoiy ko'rsatmalarga ega va qo'shimcha ravishda ular raqamlar bilan ishlashadi" (Yuriy Matiyasevich ( 1993), Hilbertning o'ninchi muammosi, kitobning 5-bobiga sharh, da http://logic.pdmi.ras.ru/yumat/H10Pbook/commch_5htm. )
Aftidan Lambek, Melzak, Minskiy va Shepherdson va Sturgis bir vaqtning o'zida bir xil fikrni mustaqil ravishda kutishgan. Quyidagi ustuvorlik to'g'risida eslatmani ko'ring.
Tarix Vang modelidan boshlanadi.