BLG 311 - Biçimsel Diller ve Otomatlar
Dersin Amaçları
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.
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.
|