期刊名称：Revista Brasileira de Informática na Educação
印刷版ISSN：1414-5685
出版年度：2010
卷号：18
期号：01
页码：106
DOI：10.5753/RBIE.2010.18.01.106
语种：Portuguese
出版社：Revista Brasileira de Informática na Educação
摘要：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
关键词：Software Educacional;Ambientes Virtuais de Aprendizagem
