Recursos Computacionais para Suporte ao Ensino de Teoria da Computação, Linguagens Formais e Autômatos