CISC3007
Formal Languages and Automata

Course Description

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.


Prerequisite

Back to Course List