Ferramentas de apoio para a disciplina de Linguagens Formais e Autômatos: uma proposta de uso

• Pedro Paiva UFLA
• Maurício Souza UFLA
• Ricardo Terra UFLA

DOI: https://doi.org/10.5753/sbie.2023.234792

Resumo

Linguagens Formais e Autômatos (LFA) é um componente clássico em ementas de cursos na área da computação, porém desafiador devido à natureza teórica e matemática dos conteúdos. Este estudo, portanto, propõe uma estratégia de uso de ferramentas centrado na ideia de que recursos educacionais digitais expandem o potencial e a eficácia do processo de ensino e aprendizagem tradicional. Em síntese, mapeou-se as funcionalidades providas por seis ferramentas com os 28 conteúdos recorrentemente abordados na disciplina. Conclui-se que Automata Tutor, JFLAP e LFAweb são complementares e podem ser usadas em conjunto. Automata Tutor para aplicação de exercícios, JFLAP para algoritmos de simulação e LFAweb para algoritmos de transformação.

Referências

AUTOMATA (2023). Automata. Disponível em: [link]. Acesso em: 15 fev. 2023.

Cascini, D. and Campos, S. (2015). Avaliação de jogos educacionais multiusuários: Uma revisão sistemática da literatura. In XXVI Simpósio Brasileiro de Informática na Educação (SBIE), page 519.

Chesnevar, 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.

Chuda, D., Trizna, J., and Kratky, P. (2015). Android automata simulator. In 9th International Conference on e-Learning (ICEEL), pages 80–84.

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 216–225.

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.

Hopcroft, J. E. and Ullman, J. D. (1969). Formal languages and their relation to automata. Addison-Wesley Longman Publishing.

LFAweb (2023). LFAweb. Disponível em: [link]. Acesso em: 15 fev. 2023.

Pereira, C. H. and Terra, R. (2018). A mobile app for teaching formal languages and automata. Computer Applications in Engineering Education, 26(5):1742–1752.

Ramos, M. V. M. (2009). Ensino de linguagens formais e autômatos em cursos superiores de computação. Revista de Computação e Tecnologia (ReCeT)., 1(1):22–34.

Rodger, S. H. and Finley, T. W. (2006). JFLAP: an interactive formal languages and automata package. Jones & Bartlett Learning.

Sudkamp, T. A. (2007). Languages And Machines: An Introduction to the theory of Computer Science. Pearson Education, 3 edition.

Symonds, Q. Q. (2022). Qs world university rankings by subject 2022: Computer science and information systems. Disponível em: [link]. Acesso em: 09 jan. 2023.

UFMG (2023). Ementa - fundamentos da teoria da computação. Disponível em: [link]. Acesso em: 15 fev. 2023.

UFRGS (2023). Grade curricular ciência da computação. Disponível em: [link]. Acesso em: 15 fev. 2023.

UNESP (2023). BCC - estrutura curricular. Disponível em: [link]. Acesso em: 15 fev. 2023.

UNICAMP (2023). Catálogo dos cursos de graduação. Disponível em: [link]. Acesso em: 15 fev. 2023.

USP (2023). Ementa - teoria da computação e linguagens formais. Disponível em: [link]. Acesso em: 15 fev. 2023.

Vijayalaskhmi, M. and Karibasappa, K. (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.