Laboratório de Linguagens Formais

Robson da Silva Aguiar, Janne Yukiko Yoshikawa Oeiras

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;

Texto completo:

PDF


DOI: https://doi.org/10.5753/rbie.2010.18.01.106

DOI (PDF): https://doi.org/10.5753/rbie.2010.18.01.106

____________________________________________________________________________

Revista Brasileira de Informática na Educação (RBIE) (ISSN: 1414-5685; online: 2317-6121)
Brazilian Journal of Computers in Education (RBIE) (ISSN: 1414-5685; online: 2317-6121)