Kategori:Soyut makineler
Kategori:Hesaplama modelleri
Kategori:Sanal makineler
Kategori:Bilgisayar mühendisliği
Kategori:Otomat teorisi
Kategori:Operasyonel semantik.