Conectando Teoria e Prática: Uma Abordagem Experimental para o Ensino de Autômatos Finitos Determinísticos com Arduino
Resumo
Contexto: Conceitos de Autômatos Finitos Determinísticos (AFDs) são frequentemente considerados abstratos por estudantes de Computação. Objetivo: Relatar a experiência de um minicurso que integrou Arduino ao ensino de AFDs. Método: Realizado em 2024 e 2025, o minicurso combinou aulas teóricas e atividades práticas com sensores, atuadores e microcontroladores. Os participantes analisaram e implementaram modelos de autômatos, como semáforos e portas automáticas, em hardware real. Questionários foram aplicados para avaliar a percepção dos estudantes. Resultados: A visualização concreta de estados e transições facilitou a compreensão dos conceitos teóricos, além de aumentar o engajamento dos participantes. Conclusão: A integração entre Arduino e AFDs mostrou-se uma estratégia eficaz para aproximar teoria e prática, tornando o aprendizado mais significativo e motivador.
Palavras-chave:
Autômatos Finitos Determinísticos, Arduino, Ensino de Computação
Referências
Binsfeld, R. L., Watanabe, R., Silva, R. C., and Carelli, I. M. (2009). Alunos como designers: relato de experiência para aprendizagem de linguagens formais e autômatos. In VIII Brazilian Symposium on Games and Digital Entertainment, pages 21–24. sn.
Campano Junior, M. M., Assumpção, M., Gama, G. V. d. M., Track, M. B., and Aylon, L. B. R. (2024). Manna team games: jogos educativos para ensino de computação. In Anais do XXIII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2024), Manaus, AM, Brasil. SBC. WGP-Jogos.
da Silva, F. J. M., Silva, E. C., de Sousa Lopes, K. C., Brito, W. M., Bezerra, C., Silva, M. M., and de Menezes, M. V. (2023). Arduino como ferramenta para ensino de programação em sistemas embarcados: Um relato de experiência. In Workshop de Informática na Escola (WIE), pages 670–681. SBC.
Dash, N. P., Dasgupta, R., Chepada, J., and Halder, A. (2011). Event driven programming for embedded systems-a finite state machine based approach. In The Sixth International Conference on Systems, pages 23–28.
de Oliveira Colares, A. F., Oliveira, S. R. B., and Furtado, J. C. C. (2025). A qualitative evaluation of an experiment on the application of active methodologies in teaching software process improvement. In Simpósio Brasileiro de Qualidade de Software (SBQS), pages 463–473. SBC.
Espressif Systems (2015). ESP8266EX Datasheet. Versão 6.7.
Honda, F., Pires, F., Pessoa, M., and Melo, R. (2022). Aplicando learning design na ludificação de percurso em grafos: uma jornada de aprendizagem. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 609–620, Porto Alegre, RS, Brasil. SBC.
Honda, F., Pires, F., Pessoa, M., and Oliveira, E. (2023). Automigos: learning design para ludificação de autômatos finitos determinísticos. In Anais do XXXI Workshop sobre Educação em Computação, pages 545–556, Porto Alegre, RS, Brasil. SBC.
Idris, M. R., Mat Nashir, I., Nordin, A., and Ramlee, M. (2021). The Internet of Things (IoT) Practical Book using Arduino WeMos D1 R1 Microcontroller.
Ioannou, N., Tatas, K., Constantinides, A., and Kyriacou, C. (2024). Wide: Worksheet integrated development environment for arduino-based embedded system design. In 2024 13th International Conference on Modern Circuits and Systems Technologies (MOCAST), pages 1–5.
Melo, E. and Barbosa, J. A. (2025). Uma introdução a robótica educacional com arduíno para o pensamento computacional. In Anais do IX Congresso sobre Tecnologias na Educação, pages 520–526, Porto Alegre, RS, Brasil. SBC.
Papert, S. (1980). Mindstorms: Children, Computers, and Powerful Ideas. Basic Books.
Sangali, R., Catabriga, L., and Boeres, M. C. (2024). Robótica educativa para desenvolvimento de habilidades do pensamento computacional por meio de eletiva complementar. In Anais do XXX Workshop de Informática na Escola, pages 437–448, Porto Alegre, RS, Brasil. SBC.
Santiago, C. P., Menezes, J. W. M., and de Aquino, F. J. A. (2023). Proposta e avaliação de uma metodologia de aprendizagem baseada em projetos em disciplinas de engenharia de software através de uma sequência didática. Revista Brasileira de Informática na Educação, 31:31–59.
Santos, G. and Oliveira, R. (2025). Robótica educacional e pensamento computacional: Uma abordagem prática no ensino fundamental. In Anais do II Simpósio Brasileiro de Computação na Educação Básica, pages 118–122, Porto Alegre, RS, Brasil. SBC.
Sipser, M. (2007). Introdução à teoria da computação. Cengage Learning, São Paulo, 2 edition.
Sociedade Brasileira de Computação (2017). Referenciais de formação para cursos de graduação em computação. Disponível em: [link].
Vasconcelos, D. and Guerra, P. (2023). Ensinando teoria da computação com jupyter notebook. In Anais do XXXI Workshop sobre Educação em Computação, pages 9–19, Porto Alegre, RS, Brasil. SBC.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3):33–35.
Wing, J. M. (2021). Pensamento computacional. Educação e Matemática, (162):2–4.
Campano Junior, M. M., Assumpção, M., Gama, G. V. d. M., Track, M. B., and Aylon, L. B. R. (2024). Manna team games: jogos educativos para ensino de computação. In Anais do XXIII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2024), Manaus, AM, Brasil. SBC. WGP-Jogos.
da Silva, F. J. M., Silva, E. C., de Sousa Lopes, K. C., Brito, W. M., Bezerra, C., Silva, M. M., and de Menezes, M. V. (2023). Arduino como ferramenta para ensino de programação em sistemas embarcados: Um relato de experiência. In Workshop de Informática na Escola (WIE), pages 670–681. SBC.
Dash, N. P., Dasgupta, R., Chepada, J., and Halder, A. (2011). Event driven programming for embedded systems-a finite state machine based approach. In The Sixth International Conference on Systems, pages 23–28.
de Oliveira Colares, A. F., Oliveira, S. R. B., and Furtado, J. C. C. (2025). A qualitative evaluation of an experiment on the application of active methodologies in teaching software process improvement. In Simpósio Brasileiro de Qualidade de Software (SBQS), pages 463–473. SBC.
Espressif Systems (2015). ESP8266EX Datasheet. Versão 6.7.
Honda, F., Pires, F., Pessoa, M., and Melo, R. (2022). Aplicando learning design na ludificação de percurso em grafos: uma jornada de aprendizagem. In Anais do XXXIII Simpósio Brasileiro de Informática na Educação, pages 609–620, Porto Alegre, RS, Brasil. SBC.
Honda, F., Pires, F., Pessoa, M., and Oliveira, E. (2023). Automigos: learning design para ludificação de autômatos finitos determinísticos. In Anais do XXXI Workshop sobre Educação em Computação, pages 545–556, Porto Alegre, RS, Brasil. SBC.
Idris, M. R., Mat Nashir, I., Nordin, A., and Ramlee, M. (2021). The Internet of Things (IoT) Practical Book using Arduino WeMos D1 R1 Microcontroller.
Ioannou, N., Tatas, K., Constantinides, A., and Kyriacou, C. (2024). Wide: Worksheet integrated development environment for arduino-based embedded system design. In 2024 13th International Conference on Modern Circuits and Systems Technologies (MOCAST), pages 1–5.
Melo, E. and Barbosa, J. A. (2025). Uma introdução a robótica educacional com arduíno para o pensamento computacional. In Anais do IX Congresso sobre Tecnologias na Educação, pages 520–526, Porto Alegre, RS, Brasil. SBC.
Papert, S. (1980). Mindstorms: Children, Computers, and Powerful Ideas. Basic Books.
Sangali, R., Catabriga, L., and Boeres, M. C. (2024). Robótica educativa para desenvolvimento de habilidades do pensamento computacional por meio de eletiva complementar. In Anais do XXX Workshop de Informática na Escola, pages 437–448, Porto Alegre, RS, Brasil. SBC.
Santiago, C. P., Menezes, J. W. M., and de Aquino, F. J. A. (2023). Proposta e avaliação de uma metodologia de aprendizagem baseada em projetos em disciplinas de engenharia de software através de uma sequência didática. Revista Brasileira de Informática na Educação, 31:31–59.
Santos, G. and Oliveira, R. (2025). Robótica educacional e pensamento computacional: Uma abordagem prática no ensino fundamental. In Anais do II Simpósio Brasileiro de Computação na Educação Básica, pages 118–122, Porto Alegre, RS, Brasil. SBC.
Sipser, M. (2007). Introdução à teoria da computação. Cengage Learning, São Paulo, 2 edition.
Sociedade Brasileira de Computação (2017). Referenciais de formação para cursos de graduação em computação. Disponível em: [link].
Vasconcelos, D. and Guerra, P. (2023). Ensinando teoria da computação com jupyter notebook. In Anais do XXXI Workshop sobre Educação em Computação, pages 9–19, Porto Alegre, RS, Brasil. SBC.
Wing, J. M. (2006). Computational thinking. Communications of the ACM, 49(3):33–35.
Wing, J. M. (2021). Pensamento computacional. Educação e Matemática, (162):2–4.
Publicado
05/10/2026
Como Citar
DA SILVA, Arthur Roberto et al.
Conectando Teoria e Prática: Uma Abordagem Experimental para o Ensino de Autômatos Finitos Determinísticos com Arduino. In: WORKSHOP DE INFORMÁTICA NA ESCOLA (WIE), 32. , 2026, Goiânia/GO.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2026
.
p. 572-583.
DOI: https://doi.org/10.5753/wie.2026.28251.
