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.
- Pushdown Automata : Bellek birimi olarak yığıt(stack) kullanılır. Programlama dili derleyicileri örnek olarak verilebilir. Hesaplama gücü orta seviyededir.
-
Turing Machines : Bellek birimi olarak (random access memory ) kullanılır. Herhangi bir algoritma örnek olarak verilebilir. Hesaplama gücü yüksektir.
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.