«Algoritmlar nazariyasi»fanidan «Cheklanmagan registrlik mashina.»

Belgilangan, diskret, cheklanmagan registrlarning cheklanmagan miqdori (hajmi) bo'yicha chegaralanmagan: cheklangan (yoki ba'zi bir modellarda cheksiz) registrlar to'plami  ularning har biri cheksiz darajada deb hisoblanadi va ularning har biri bitta salbiy bo'lmagan butun songa ega (0, 1, 2, ...).^[2] Registrlar o'zlarining arifmetikasini bajarishi mumkin yoki arifmetikani bajaradigan bir yoki bir nechta maxsus registrlar bo'lishi mumkin. "akkumulyator" va / yoki "manzil registri". Shuningdek qarang Tasodifiy kirish mashinasi.

Tally taymerlari yoki belgilar:^[3] model uchun mos bo'lgan alohida, ajratib bo'lmaydigan narsalar yoki faqat bitta turdagi belgilar. Eng qisqartirilgan hisoblagich model, har bir arifmetik amal uchun faqat bitta ob'ekt / belgi qo'shiladi yoki joylashgan joyiga / lentasiga olib tashlanadi. Ba'zi hisoblagich mashinalari modellarida (masalan, Melzak (1961), Minsky (1961)) va aksariyat RAM va RASP modellarida "qo'shish" va odatda "olib tashlash" bilan bitta operatsiyaga bir nechta ob'ekt / belgi qo'shilishi yoki olib tashlanishi mumkin; ba'zan "ko'paytirish" va / yoki "bo'linish" bilan. Ba'zi modellarda "nusxa ko'chirish" (turli xil: "ko'chirish", "yuklash", "saqlash") kabi boshqaruv operatsiyalari mavjud bo'lib, ular bir narsada ro'yxatdan o'tish uchun ob'ektlar / belgilar "to'plamlarini" ko'chiradi.

A (juda) ko'rsatmalar to'plami: ko'rsatmalar ikki sinfga bo'linadi: arifmetik va nazorat. Ko'rsatmalar "ko'rsatmalar to'plamlari" ni shakllantirish uchun ikkita sinfdan olinadi, chunki ko'rsatmalar to'plami modelga imkon berishi kerak Turing ekvivalenti (har qanday narsani hisoblashi kerak qisman rekursiv funktsiya).

1. 
   Arifmetik: arifmetik ko'rsatmalar barcha registrlarda yoki faqat maxsus registrda (masalan, akkumulyator) ishlashi mumkin. Ular odatda quyidagi to'plamlardan tanlangan (lekin istisnolar ko'p):
   

Hisoblagich: {O'sish (r), pasayish (r), noldan aniqgacha (r)}

• 
  Kamaytirilgan RAM, RASP: {O'sish (r), kamayish (r), noldan aniqgacha (r), yukni zudlik bilan doimiy, qo'shish (r)₁, r₂), to'g'ri-chiqarib oling (r₁, r₂), O'sish akkumulyatori, dekrement akkumulyatori, tozalovchi akkumulyator, r registr tarkibiga akkumulyator tarkibini qo'shing, to'g'ri-re akkumulyator tarkibidan chiqarib oling,}
  
• 
  Kattalashtirilgan RAM, RASP: Barcha qisqartirilgan ko'rsatmalar plyus: {ko'paytiring, bo'ling, turli xil mantiqiy bitli (chapga siljish, bit sinovi va boshqalar)}
  
1. 
   Boshqaruv:
   
   • 
     Qarama-qarshi mashinalar modellari: ixtiyoriy {Nusxalash (r₁, r₂) }
     

RAM va RASP modellari: ko'pchiligida {Copy (r.) Mavjud₁, r₂)}, yoki {Akkumulyatorni r dan yuklash, akkumulyatorni r ga saqlash, zudlik bilan doimiy akkumulyatorni yuklash}

• 
  Barcha modellar: kamida bittasi shartli "sakrash" (filial, goto) reestrni sinovdan o'tkazgandan so'ng, masalan. {Jump-if-zero, Jump-if-not-zero (ya'ni O'tish-if-ijobiy), O'tish-if-teng, O'tish-if-not teng}
  
• 
  Barcha modellar ixtiyoriy: {so'zsiz dasturga o'tish (goto)}
  
1.