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