Formal Languages and Automata course at PUC-Rio