BLG 311 - Biçimsel Diller ve Otom

Dersin Tanımı

Biçimsel (formel) diller. Gramer tanımı ve türleri. Düzenli ifadeler. Sonlu durumlu makinalar: Mealy ve Moore modelleri. Durum indirgenmesi. Belirgin ve belirgin olmayan otomatlar. Yığın yapılı otomatlar ve bağlamdan bağımsız gramerler. Turing makinası ve hesaplanabilirlik.