Formal Languages and Automata
(From 2017/2018)

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.


Back to Course List