Laboratório de Linguagens Formais

Este artigo apresenta um ambiente computacional de suporte à aprendizagem de disciplinas de Teoria da Computa o, denominado Laboratório de Linguagens Formais (LabLF). Na literatura podem ser encontrados diversos outros ambientes que possibilitam ao aluno criar e testar modelos formais que solucionam problemas computacionais propostos pelo professor. O diferencial do LabLF está no fato de permitir a elabora o de listas de exercícios ou avalia es que podem ser corrigidas de modo automático ou semi-automático