LFAweb como Ambiente Unificado para o Ensino de Linguagens Formais e Autômatos
Resumo
A disciplina de Linguagens Formais e Autômatos (LFA) apresenta desafios de aprendizagem associados ao caráter teórico, abstrato e matemático de seus conteúdos. Este artigo apresenta a evolução do LFAweb como plataforma web de apoio ao ensino de LFA, com ênfase na ampliação dos simuladores e na incorporação de um módulo de exercícios com validação automática baseada em casos de teste previamente cadastrados. A plataforma integra construção de modelos, simulação, resolução de exercícios, feedback e revisão de erros, permitindo que as cadeias associadas aos casos de teste falhos sejam utilizadas como testemunhas e simuladas passo a passo no mesmo ambiente. O estudo adota uma abordagem analítica e comparativa envolvendo LFAweb, JFLAP e Automata Tutor, considerando as dimensões funcional, pedagógica e cognitiva. A análise sugere que a integração promovida pelo LFAweb pode apoiar um fluxo mais contínuo no ensino de LFA.
Palavras-chave:
Linguagens Formais e Autômatos, Ferramentas Educacionais, Validação Automática, Feedback Formativo
Referências
Bezáková, I., Fluet, K., Hemaspaandra, E., Miller, H., and Narváez, D. E. (2022). Effective succinct feedback for intro CS theory: A JFLAP extension. In 53rd Technical Symposium on Computer Science Education (SIGCSE), pages 976–982.
Black, P. and Wiliam, D. (1998). Assessment and classroom learning. Assessment in Education: Principles, Policy & Practice, 5(1):7–74.
Cavalcante, R., Finley, T., and Rodger, S. H. (2004). A visual and interactive automata theory course with JFLAP 4.0. In 35th Technical Symposium on Computer Science Education (SIGCSE), pages 140–144.
Chesñevar, C. I., González, M. P., and Maguitman, A. G. (2004). Didactic strategies for promoting significant learning in formal languages and automata theory. ACM SIGCSE Bulletin, 36(3):7–11.
D'Antoni, L., Helfrich, M., Kretinsky, J., Ramneantu, E., and Weininger, M. (2020). Automata Tutor v3. In 32nd International Conference on Computer Aided Verification (CAV), pages 3–14.
D'Antoni, L., Kini, D., Alur, R., Gulwani, S., Viswanathan, M., and Hartmann, B. (2015). How can automatic feedback help students construct automata? ACM Transactions on Computer-Human Interaction, 22(2):1–24.
Dognini, M. J. and Raabe, A. L. A. (2003). EduLing: Software educacional para linguagens regulares. In XIV Simpósio Brasileiro de Informática na Educação (SBIE), pages 218–228.
Hattie, J. and Timperley, H. (2007). The power of feedback. Review of Educational Research, 77(1):81–112.
JFLAP (2016). JFLAP modules and exercises. [link]. Acesso em: 08 maio 2026.
LFAweb (2026). LFAweb. [link]. Acesso em: 08 maio 2026.
Paas, F., Renkl, A., and Sweller, J. (2003). Cognitive load theory and instructional design: Recent developments. Educational Psychologist, 38(1):1–4.
Paiva, P., Souza, M., and Terra, R. (2023). Ferramentas de apoio para a disciplina de linguagens formais e autômatos: uma proposta de uso. In XXXIV Simpósio Brasileiro de Informática na Educação (SBIE), pages 1698–1709.
Ramos, M. V. M. (2009). Ensino de linguagens formais e autômatos em cursos superiores de computação. Revista de Computação e Tecnologia, 1(1):22–34.
Rodger, S. H. and Finley, T. W. (2006). JFLAP: An Interactive Formal Languages and Automata Package. Jones & Bartlett Learning, Burlington.
Rodger, S. H., Wiebe, E., Lee, K. M., Morgan, C., Omar, K., and Su, J. (2009). Increasing engagement in automata theory with JFLAP. In 40th Technical Symposium on Computer Science Education (SIGCSE), pages 403–407.
Shute, V. J. (2008). Focus on formative feedback. Review of Educational Research, 78(1):153–189.
Skulmowski, A. and Xu, K. M. (2022). Understanding cognitive load in digital and online learning: A new perspective on extraneous cognitive load. Educational Psychology Review, 34(1):171–196.
Sweller, J. (1988). Cognitive load during problem solving: Effects on learning. Cognitive Science, 12(2):257–285.
Vijayalaskhmi, M. and Karibasappa, K. G. (2012). Activity based teaching learning in formal languages and automata theory: An experience. In 2nd International Conference on Engineering Education: Innovative Practices and Future Trends (AICERA), pages 1–5.
Black, P. and Wiliam, D. (1998). Assessment and classroom learning. Assessment in Education: Principles, Policy & Practice, 5(1):7–74.
Cavalcante, R., Finley, T., and Rodger, S. H. (2004). A visual and interactive automata theory course with JFLAP 4.0. In 35th Technical Symposium on Computer Science Education (SIGCSE), pages 140–144.
Chesñevar, C. I., González, M. P., and Maguitman, A. G. (2004). Didactic strategies for promoting significant learning in formal languages and automata theory. ACM SIGCSE Bulletin, 36(3):7–11.
D'Antoni, L., Helfrich, M., Kretinsky, J., Ramneantu, E., and Weininger, M. (2020). Automata Tutor v3. In 32nd International Conference on Computer Aided Verification (CAV), pages 3–14.
D'Antoni, L., Kini, D., Alur, R., Gulwani, S., Viswanathan, M., and Hartmann, B. (2015). How can automatic feedback help students construct automata? ACM Transactions on Computer-Human Interaction, 22(2):1–24.
Dognini, M. J. and Raabe, A. L. A. (2003). EduLing: Software educacional para linguagens regulares. In XIV Simpósio Brasileiro de Informática na Educação (SBIE), pages 218–228.
Hattie, J. and Timperley, H. (2007). The power of feedback. Review of Educational Research, 77(1):81–112.
JFLAP (2016). JFLAP modules and exercises. [link]. Acesso em: 08 maio 2026.
LFAweb (2026). LFAweb. [link]. Acesso em: 08 maio 2026.
Paas, F., Renkl, A., and Sweller, J. (2003). Cognitive load theory and instructional design: Recent developments. Educational Psychologist, 38(1):1–4.
Paiva, P., Souza, M., and Terra, R. (2023). Ferramentas de apoio para a disciplina de linguagens formais e autômatos: uma proposta de uso. In XXXIV Simpósio Brasileiro de Informática na Educação (SBIE), pages 1698–1709.
Ramos, M. V. M. (2009). Ensino de linguagens formais e autômatos em cursos superiores de computação. Revista de Computação e Tecnologia, 1(1):22–34.
Rodger, S. H. and Finley, T. W. (2006). JFLAP: An Interactive Formal Languages and Automata Package. Jones & Bartlett Learning, Burlington.
Rodger, S. H., Wiebe, E., Lee, K. M., Morgan, C., Omar, K., and Su, J. (2009). Increasing engagement in automata theory with JFLAP. In 40th Technical Symposium on Computer Science Education (SIGCSE), pages 403–407.
Shute, V. J. (2008). Focus on formative feedback. Review of Educational Research, 78(1):153–189.
Skulmowski, A. and Xu, K. M. (2022). Understanding cognitive load in digital and online learning: A new perspective on extraneous cognitive load. Educational Psychology Review, 34(1):171–196.
Sweller, J. (1988). Cognitive load during problem solving: Effects on learning. Cognitive Science, 12(2):257–285.
Vijayalaskhmi, M. and Karibasappa, K. G. (2012). Activity based teaching learning in formal languages and automata theory: An experience. In 2nd International Conference on Engineering Education: Innovative Practices and Future Trends (AICERA), pages 1–5.
Publicado
05/10/2026
Como Citar
SOUZA, Willian; TERRA, Ricardo.
LFAweb como Ambiente Unificado para o Ensino de Linguagens Formais e Autômatos. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 37. , 2026, Goiânia/GO.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2026
.
p. 761-773.
DOI: https://doi.org/10.5753/sbie.2026.27295.
