Formal Language and Automata course at PUC-Rio.