Hoşgeldiniz, Misafir . Oturum Aç . English
Neredeyim: Ninova / Dersler / Bilgisayar ve Bilişim Fakültesi / BLG 311 - Biçimsel Diller ve Otomatlar
 

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.

Koordinatörleri
Burak Kantarcı
Dersin Dili
Türkçe
 
 
Dersler . Yardım . Hakkında
Ninova, İTÜ Bilgi İşlem Daire Başkanlığı ürünüdür. © 2017