Avaliação do JFLAP para ensino de Autômatos

• Lucas Pereira Cassanho Universidade Estadual de Londrina https://orcid.org/0009-0004-6232-0461
• João Felipe Pavret Michels Universidade Estadual de Londrina https://orcid.org/0009-0002-9469-6100
• Cinthyan Renata Sachs Camerlengo de Barbosa Universidade Estadual de Londrina https://orcid.org/0000-0001-6248-6630

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

Resumo

Softwares educativos têm surgido como uma ferramenta auxiliar no processo de ensino e aprendizagem dos conteúdos da disciplina Linguagens Formais e Autômatos (LFA) no curso de Ciência de Computação. Porém, poucos trabalhos têm sido publicados analisando a ferramenta JFLAP nesse processo. Este trabalho aborda a experiência em sala de aula com o JFLAP especificamente com os conteúdos de máquinas reconhecedoras. Verificamos que embora a interface do JFLAP seja pouco amigável, a ferramenta se revela eficaz para o ensino de máquinas reconhecedoras, contribuindo de forma significativa para a compreensão e aplicação dos conceitos teóricos de LFA.

Palavras-chave: JFLAP, Autômato, Software Educativo

Referências

Campano Junior, M. M., Barbosa, C. R. S. C. de, Felinto, A. S. Aylon, L. B. R. (2022). Multiplicando números binários com Máquinas de Turing: Interdisciplinaridade no Ensino de Computação. In: Anais do XXXIII Simpósio Brasileiro de Informática na Educação. SBC, Manaus. p. 1313-1323.

Campano Junior, M. M., Faria, C. R., Barbosa, C. R. S. C. de, Felinto, A. S. (2019). Um merge entre Máquinas de Turing e Operações Matemáticas em Binário no Ensino de Linguagens Formais e Autômatos. In: Anais do XXIV Congresso Internacional de Informática Educativa. Jaime Sánchez (Ed.), Arequipa, Peru. p. 78-83.

Carvalho Neto, R., Victor, V. F., Cavalcante, R. P., Castilho, W. S. e Senna, M. L. G. S. (2023). Metodologias Ativas: Teoria da Aprendizagem. In: Humanidades e Inovação, v.10, n.9, páginas 141-153.

Diverio, T. A. e Menezes, P. B. (2000). Teoria da Computação: máquinas universais e computabilidade. Porto Alegre: Instituto de Informática da UFRGS – Sagra Luzzato, 2a edição.

Gechele, L. M. G. e Venske, S. M. H. S. (2007). Ferramentas de Ensino de Linguagens Formais: um comparativo. In: Anais do I Encontro de Iniciação Científica do PROIC. Unicentro, Guarapuava, p. 110-119.

Gribkoff, E. (2013). Applications of deterministic finite automata. In: ECS Lectures Notes 120. University of California, pages 1-9.

Hopcroft, J. E., Ullman, J. D. e Motwani, R. (2002). Introdução à Teoria de Autômatos, Linguagens e Computação. Tradução de Vandenberg D. de Souza. Rio de Janeiro: Elsevier.

JFLAP (2023). [link], April.

Jargas, A. M. (2012). Expressões Regulares: uma abordagem divertida. São Paulo: Novatec.

Lewis, H. R. e Papadimitriou, C. H. (2000). Elementos de Teoria da Computação. Tradução: Edson Furmankiewicz. Porto Alegre: Bookman, 2a edição.

Menezes, P. B. (2010). Linguagens Formais e Autômatos. Vol. 3. Porto Alegre: Bookman, 6a edição.

Menezes, P. B. e Diverio, T. A. (2000). Teoria da Computação: Máquinas Universais e Computabilidade. Porto Alegre: Instituto de Informática da UFRGS – Sagra Luzzato, 2a edição.

Michels, J. F. P., Cassanho, L. P., Burigo, B. R. e Barbosa, C. R. S. C. de. (2024). Avaliação do JFLAP como Ferramenta de Ensino de Gramáticas na Disciplina de Linguagens Formais e Autômatos. In: Anais do XXXV Simpósio Brasileiro de Informática na Educação. SBC, Rio de Janeiro.

Mioni, J. L.V. M e Barbosa, C. R. S. C. de. (2022). Ferramentas para o Aprendizado de Linguagens Formais e Autômatos. In: Anais Estendidos do XXI Simpósio Brasileiro de Jogos e Entretenimento Digital. SBC, Natal. p. 969-978.

Paiva, P., Souza, M. e Terra, R. (2023). Ferramentas de apoio para a disciplina de Linguagens Formais e Autômatos: uma proposta de uso. In: Anais do XXXIV Simpósio Brasileiro de Informática na Educação. SBC, Passo Fundo. p.1698-1709.

Pereira, C. H. and Terra, R. (2018). A mobile app for teaching formal language and automata. In: Computer Applications in Engineering Education. v.26, n.5, pages 1742-1752.

Pirovani, J. P. C. e Mataveli, G. V. (2013). Estudo e adaptação de software para o ensino de Linguagens Formais e Autômatos. In: Revista Brasileira de Informática na Educação. v. 21, n.3, páginas 2373-2382.

Rosa, J. L G. (2010). Linguagens Formais e Autômatos. Rio de Janeiro: LTC.

Simon, I. (1981). Linguagens Formais e Autômatos. São Paulo: Escola de Computação.

Sipser, M. (2005). Introduction to the Theory of Computation. Boston: Thomson Course Technology. 2ª edição internacional.

Sudkamp, T. A. (2005). Languages and Machines: An Introduction to the Theory of Computer Science. Boston: Pearson.

Terra, R. (2016). Dados da disciplina de Linguagens Formais e Autômatos. Technical Report. Universidade Federal de Lavras. p. 1–547.