Grupo TLC - Teoria das Linguagens e Compiladores