BLG 311E - Formal Languages and Automata

Course Objectives

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

Course Description

Introduce concepts in automata theory and theory of computation