Formal Language and Automata Theory - ESOF206