Laboratório de Linguagens Formais
Texto completo: PDF
Resumo
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
Palavras-chave
Software Educacional; Ambientes Virtuais de Aprendizagem;
Este trabalho está licenciado sob uma Licença Creative Commons Attribution 3.0 .