Biçimsel Diller ve Soyut Makineler
Otomat Çeşitleri
-
Finite Automata : Bellekleri olmayan en basit otomat çeşitidir. Hesap gücü çok düşüktür. Giriş ve Çıkış Hafıza bölümü vardır. Geçiçi bellek bölümü yoktur. Vending Machines örnek olarak verilebilir.
finite automaton finite -
Pushdown Automata : Bellek birimi olarak yığıt(stack) kullanılır. Programlama dili derleyicileri örnek olarak verilebilir. Hesaplama gücü orta seviyededir.
pushdown automaton -
Turing Machines : Bellek birimi olarak (random access memory ) kullanılır. Herhangi bir algoritma örnek olarak verilebilir. Hesaplama gücü yüksektir.
turing machines
Otomatları birbiriyle kıyaslarsak, Turing makinesi anlaşıldığı gibi hepsinden fazla güce sahip, daha karmaşık problemleri diğerlerine göre daha rahat bir biçimde çözebilmektedir.

Yukarıda ki örnek incelendiğinde otomatların görevi daha da bir anlaşılmaktadır.