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.

CISC1002