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

2010