Soyut makine
Soyut makine ya da soyut bilgisayar, özdevinirler kuramı ve hesaplama kuramı gibi alanlarda, kuramsal bir bilgisayar donanım ve yazılım sistemidir. Soyut makineler, hesaplama ve algoritma çözümlemeleri gibi düşünce deneylerinde, sistemin işleyişini modellemek ve simüle etmek için kullanılır. Bu tür makineler genellikle gerçek dünyada uygulanabilir olmayan, idealize edilmiş ve soyut yapılandırmalardır.