To familiarise students with the basic concepts of the theory of formal languages.
Regular expressions, regular languages, automata, formal grammars.
Exercises or a written exam.