Soyut makine

Soyut makine veya soyut bilgisayar, özdevinirler kuramında kullanılan kuramsal bir bilgisayar donanım ve yazılım sistemidir. Hesaplama kuramında soyut makineler algoritma çözümlemesi gibi alanlardaki düşünce deneylerinde kullanılırlar. Soyut bir makine genelde girdileri, çıktıları ve girdiden çıktı üretebilmek için gereken işlemlerin tanımlanmasıyla oluşturulur.

Ayrıca bakınız

• Bilgisayar mühendisliği
• Hesaplanabilirlik

Kaynakça

• Peter van Emde Boas, Machine Models and Simulations