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