Kategori:Turing makinesi
Kategori:Biçimsel yöntemler
Kategori:Hesaplama modelleri
Makine
Kategori:Teorik bilgisayar bilimi
Kategori:Bilgisayar biliminde mantık
Kategori:Soyut makineler
Kategori:İngiliz icatları
Kategori:1936'da bilgisayar bilimi
Kategori:1937'de bilgisayar bilimi.