%0 Journal Article
%T Laborat¨®rio de Linguagens Formais
%A Robson da Silva Aguiar
%A Janne Yukiko Yoshikawa Oeiras
%J Revista Brasileira de Inform¨¢tica na Educa£¿£¿o
%D 2010
%I Comiss?o Especial de Inform¨¢tica na Educa??o
%X 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
%K Software Educacional
%K Ambientes Virtuais de Aprendizagem
%U http://www.br-ie.org/pub/index.php/rbie/article/view/1208