BLG 311E - Biçimsel Diller ve Otomatlar
Dersin Amaçları
Introduce concepts in automata theory and theory of computation
Identify different formal language classes and Identify different formal language classes and
their relationships
Designing grammars and recognizers for
different formal languages
Prove or disprove theorems in automata theory using its properties theory using its properties
Determine the decidability and intractability of
computational problems
Dersin Tanımı
Introduce concepts in automata theory and theory of computation
|
|
Koordinatörleri
Ömer Sinan Saraç
Dersin Dili
İngilizce
|
|
|