This course introduces the fundamental concepts of formal languages and automata. It emphasizes the general principles of formal languages, grammars, and automata theory. Topics include finite automata, regular expressions, regular languages and their properties, context-free grammars, languages and their properties, pushdown automata, Turing machines, and undecidability.

CILO-1: An ability to apply the fundamental concepts of formal languages and automata. [POs: a,c] CILO-2: An ability to construct regular expressions, grammars, and automata for different levels of formal languages. [POs: a,c] CILO-3: An ability to interpret and describe the relationship between Turing machines and modern computers. [POs: a,c] CILO-4: An ability to interpret and describe the limitations and undecidable problems of modern computers. [POs: a,c]