Código Turing: Um Jogo Puzzle Baseado em Simulação da Máquina de Turing para o Ensino de Computação
Resumo
Introdução: O ensino de Teorias Formais e Autômatos no ensino superior apresenta desafios devido à complexidade dos conteúdos. Jogos educacionais têm se mostrado eficazes para facilitar essa aprendizagem. Objetivo: Desenvolver o jogo Código Turing como ferramenta lúdica para apoiar o ensino de linguagens formais e Máquina de Turing em turmas de Graduação. Metodologia: O jogo foi desenvolvido no Unity com programação em C#. Foram definidas mecânicas baseadas na Máquina de Turing, estruturadas em níveis progressivos com feedback imediato. Aplicou-se o framework Serious Game Design Assessment (SGDA) para orientar o design e elaborou-se um Game Design Document (GDD) alinhado aos objetivos pedagógicos das disciplinas de Teorias Formais. Resultados Esperados: Espera-se que o jogo contribua para o engajamento dos estudantes e facilite a aprendizagem de conceitos complexos, ao proporcionar uma experiência educativa gamificada, acessível e contextualizada.
Palavras-chave:
jogo educacional, máquina de Turing, jogos no ensino superior, aprendizagem baseada em jogos, puzzle
Referências
Alves, D., & Guerra, P. T. (2024). Uma Ferramenta Web para Criação e Simulação de Máquinas de Turing. In Anais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024), p. 2301-2312. DOI: 10.5753/sbie.2024.242375
Casamaximo, R. F., Silva, P. Z., Michels, J. F. P. and Barbosa, C. R. S. C. (2024). “Avaliação de Jogos Digitais no Ensino de Linguagens Formais e Autômatos”. Anais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024), pp. 538–550. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbie.2024.241798
Gao, M., Yunus, M. M., and Rafiq, K. M. R. (2024). Educational Games and Game-based Approaches in Higher Education: A Systematic Review (2014–2023). International Journal of Academic Research in Progressive Education and Development, 13(1), 899–919. DOI: 10.6007/IJARPED/v13-i1/20555
Melo, D., Melo, R., Bernardo, J. R. S., Pessoa, M., Rodríguez, L. C. and Pires, F. (2020). “Uma estratégia de Game Learning Analytics para avaliar level design em um jogo educacional”. Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), pp. 622–631. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/cbie.sbie.2020.622
Michels, J. F. P., Cassanho, L. P., Burigo, B. R. and Barbosa, C. R. S. C. (2024). “Avaliação do JFLAP como ferramenta de Ensino de Gramáticas na Disciplina de Linguagens Formais e Autômatos”. Anais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024), pp. 199–209. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbie.2024.242335
Mitgutsch, K., & Alvarado, N. (2012). Purposeful by Design? A Serious Game Design Assessment Framework. In Proceedings of the International Conference on the Foundations of Digital Games (FDG 2012), pp. 121–128. New York, NY: ACM. DOI: 10.1145/2282338.2282364
Prince, M. (2004). “Does Active Learning Work? A Review of the Research”. Journal of Engineering Education, 93(3), pp. 223–231. DOI: 10.1002/j.2168-9830.2004.tb00809.x
Rogers, S. (2013). Level Up! Um Guia Para o Design de Grandes Jogos (2ª ed.). West Sussex: John Wiley & Sons. ISBN 978-1-118-87071-1
Santana, G. H., Campano Junior, M. M., Felinto, A. S. and Aylon, L. B. R. (2022). “Turing Machine Game Simulator: Um Jogo Educativo para Ensino de Máquina de Turing”. Anais do XXI Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2022), pp. 896–906. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbgames_estendido.2022.226065
Santini, L. F. S. L., Campano Junior, M. M., Felinto, A. S. and Aylon, L. B. R. (2023). “Jogos no Ensino de Linguagens Formais e Autômatos: Um Mapeamento Sistemático”. Anais Estendidos do SBGames 2023. Disponível em: [link]
Sipser, M. (2013). Introduction to the Theory of Computation. 3rd ed. Boston: Cengage Learning. ISBN: 978-1-133-18779-0.
Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2–42(1), 230–265. DOI: 10.1112/plms/s2-42.1.230
Videnovik, M., Vold, T., Kiønig, L., & Trajkovik, V. (2023). Game-based learning in computer science education: a scoping literature review. International Journal of STEM Education, 10, 54. DOI: 10.1186/s40594-023-00447-2
Casamaximo, R. F., Silva, P. Z., Michels, J. F. P. and Barbosa, C. R. S. C. (2024). “Avaliação de Jogos Digitais no Ensino de Linguagens Formais e Autômatos”. Anais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024), pp. 538–550. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbie.2024.241798
Gao, M., Yunus, M. M., and Rafiq, K. M. R. (2024). Educational Games and Game-based Approaches in Higher Education: A Systematic Review (2014–2023). International Journal of Academic Research in Progressive Education and Development, 13(1), 899–919. DOI: 10.6007/IJARPED/v13-i1/20555
Melo, D., Melo, R., Bernardo, J. R. S., Pessoa, M., Rodríguez, L. C. and Pires, F. (2020). “Uma estratégia de Game Learning Analytics para avaliar level design em um jogo educacional”. Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), pp. 622–631. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/cbie.sbie.2020.622
Michels, J. F. P., Cassanho, L. P., Burigo, B. R. and Barbosa, C. R. S. C. (2024). “Avaliação do JFLAP como ferramenta de Ensino de Gramáticas na Disciplina de Linguagens Formais e Autômatos”. Anais do XXXV Simpósio Brasileiro de Informática na Educação (SBIE 2024), pp. 199–209. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbie.2024.242335
Mitgutsch, K., & Alvarado, N. (2012). Purposeful by Design? A Serious Game Design Assessment Framework. In Proceedings of the International Conference on the Foundations of Digital Games (FDG 2012), pp. 121–128. New York, NY: ACM. DOI: 10.1145/2282338.2282364
Prince, M. (2004). “Does Active Learning Work? A Review of the Research”. Journal of Engineering Education, 93(3), pp. 223–231. DOI: 10.1002/j.2168-9830.2004.tb00809.x
Rogers, S. (2013). Level Up! Um Guia Para o Design de Grandes Jogos (2ª ed.). West Sussex: John Wiley & Sons. ISBN 978-1-118-87071-1
Santana, G. H., Campano Junior, M. M., Felinto, A. S. and Aylon, L. B. R. (2022). “Turing Machine Game Simulator: Um Jogo Educativo para Ensino de Máquina de Turing”. Anais do XXI Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames 2022), pp. 896–906. Porto Alegre: Sociedade Brasileira de Computação. DOI: 10.5753/sbgames_estendido.2022.226065
Santini, L. F. S. L., Campano Junior, M. M., Felinto, A. S. and Aylon, L. B. R. (2023). “Jogos no Ensino de Linguagens Formais e Autômatos: Um Mapeamento Sistemático”. Anais Estendidos do SBGames 2023. Disponível em: [link]
Sipser, M. (2013). Introduction to the Theory of Computation. 3rd ed. Boston: Cengage Learning. ISBN: 978-1-133-18779-0.
Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2–42(1), 230–265. DOI: 10.1112/plms/s2-42.1.230
Videnovik, M., Vold, T., Kiønig, L., & Trajkovik, V. (2023). Game-based learning in computer science education: a scoping literature review. International Journal of STEM Education, 10, 54. DOI: 10.1186/s40594-023-00447-2
Publicado
30/09/2025
Como Citar
TEIXEIRA, Karolayne Batista; FÜLBER, Heleno; MERLIN, Bruno.
Código Turing: Um Jogo Puzzle Baseado em Simulação da Máquina de Turing para o Ensino de Computação. In: TRILHA DE EDUCAÇÃO – ARTIGOS CURTOS - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 14. , 2025, Salvador/BA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2025
.
p. 183-189.
DOI: https://doi.org/10.5753/sbgames_estendido.2025.10284.
