Abstrakt mashina - Abstract machine
 | Bu maqola uchun qo'shimcha iqtiboslar kerak tekshirish. (2009 yil oktyabr) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) |
An mavhum mashina, shuningdek, mavhum kompyuter, a ning nazariy modeli kompyuter ishlatiladigan apparat yoki dasturiy ta'minot tizimi avtomatlar nazariyasi. Hisoblash jarayonlarining abstraktsiyasi ikkalasida ham qo'llaniladi Kompyuter fanlari va kompyuter muhandisligi intizom va odatda o'z ichiga oladi diskret vaqt paradigma.
Ma `lumot
In hisoblash nazariyasi, mavhum mashinalar ko'pincha ishlatiladi fikr tajribalari bilan bog'liq hisoblash imkoniyati yoki murakkabligini tahlil qilish uchun algoritmlar (qarang hisoblash murakkabligi nazariyasi ). Oddiy mavhum mashina kirish, chiqish va birinchisini ikkinchisiga aylantirish uchun foydalaniladigan ruxsat etilgan operatsiyalar to'plami bo'yicha ta'rifdan iborat. Eng taniqli misol Turing mashinasi.
Ma'lumotlarning mavhum turlari ularning shartlari bilan ko'rsatilishi mumkin operatsion semantika mavhum mashinada. Masalan, stekka xotira massivi bo'lgan abstrakt mashinada bajariladigan operatsiyalar bo'yicha ko'rsatilishi mumkin. Abstrakt mashinalar yordamida ma'lum bir operatsiyani bajarish uchun zarur bo'lgan resurslar miqdorini (vaqt, xotira va h.k.) fizik tizim tuzmasdan hisoblash mumkin.[tushuntirish kerak ]
Keyinchalik murakkab ta'riflar mavhum mashinalarni to'liq hajmda yaratadi ko'rsatmalar to'plamlari, registrlar va xotira modellari. Haqiqiy zamonaviy mashinalarga o'xshash mashhur modellardan biri bu RAM modeli bu imkon beradi tasodifiy kirish indekslangan xotira joylariga. Turli darajalar o'rtasidagi ishlash farqi sifatida kesh xotirasi o'sadi, tashqi xotira modeli va kabi keshga sezgir modellar unutilgan model ahamiyati tobora ortib bormoqda.
Abstrakt mashina ham a ga murojaat qilishi mumkin mikroprotsessor hali qo'shimcha sifatida amalga oshirilmagan (yoki mo'ljallanmagan) dizayn. Dasturiy simulyatsiya sifatida amalga oshirilgan mavhum mashina yoki buning uchun tarjimon mavjud, a deb nomlanadi virtual mashina.
Shuningdek qarang
- Abstraktsiya (informatika)
- Abstrakt talqin
- Ommaviy sinxron parallel
- Ayrim vaqt
- Oxirgi holatdagi mashina
- Flinn taksonomiyasi
- Hisoblashning rasmiy modellari
- Krivin mashinasi
- Hisoblash modeli
- Parallel tasodifiy kirish mashinasi, amalda standart model.[1]
- SECD mashinasi
- Davlat maydoni
- Turing mashinasi
Adabiyotlar
- ^ D. B. Skillicorn (2005). Parallel dasturlash asoslari. Kembrij universiteti matbuoti. p. 18. ISBN 978-0-521-01856-2.
- Ushbu maqola olingan ma'lumotlarga asoslangan Kompyuterning bepul on-layn lug'ati 2008 yil 1-noyabrgacha va "reitsenziyalash" shartlariga kiritilgan GFDL, 1.3 yoki undan keyingi versiyasi.
Qo'shimcha o'qish
- Piter van Emde Boas, Mashina modellari va simulyatsiyalar 3-6 bet, quyidagi ko'rinishda:
- Yan van Leyven, tahrir. "Nazariy informatika qo'llanmasi. A jild: Algoritmlar va murakkablik, MIT PRESS / Elsevier, 1990 yil. ISBN 0-444-88071-2 (A jild). QA 76.H279 1990 yil.
- Stephan Diehl, Pieter Hartel va Peter Sestoft, Tilni amalga oshirishni dasturlash uchun mavhum mashinalar, Kelajak avlod kompyuter tizimlari, jild. 16 (7), Elsevier, 2000 yil.
- Verner Kluge (2006). Abstrakt hisoblash mashinalari: Lambda hisoblash istiqbollari. Springer. ISBN 978-3-540-27359-2.