áreas de investigação Análise de Algoritmos e Complexidade de Computação Linguagem Formais e Autômatos