Formal Language Theory

The aim of the course is to present the foundations of formal languages and automata theory, together with some recent developments and relevant open problems.

The student should be able to use formal language and automata theory to formally describe the syntax of simple artificial languages (for instance programming languages) or of simple computational models. The student should be also able to compare different formal models with respect to the computational power and to the complexity of their descriptions.