This course includes all the means of description and analysis of formal languages, such as formal grammars for generation and automata for recognition, but it is also interested in automatic learning and automatic translation of languages. In the field of translation, language theory applies to programming language compilers.

Level: L2