Trabalho de Linguagens formais e Autômatos