Avaliação de Jogos Digitais no Ensino de Linguagens Formais e Autômatos
Resumo
Linguagens Formais e Autômatos (LFA) é uma disciplina essencial na Ciência da Computação. Entretanto, apesar da sua importância, estudos apontam um alto índice de reprovação. Nesse contexto, jogos digitais surgem como uma ferramenta para auxiliar no processo de ensino e aprendizagem do conteúdo. Entretanto, poucos recursos existem catalogando, organizando e exemplificando a utilização de tais recursos no meio educacional. Dessa forma, este trabalho tem como objetivo a realização de uma revisão sistemática acerca dos jogos sobre LFA, possuindo como propósito sua catalogação e avaliação para o uso em sala de aula.
Palavras-chave:
Linguagens Formais e Autômatos, Softwares Educacionais, Ensino
Referências
Aranha, G. (2006). Jogos eletrônicos como um conceito chave para o desenvolvimento de aplicações imersivas e interativas para o aprendizado. In Ciências & Cognição, 7(1), set., páginas 105-110.
Battistella, P. E. and von Wangenheim, C. G. (2016). Games for teaching computing in higher education–a systematic review. In IEEE Technology and Engineering Education, 1(9), Mar., pages 8–30.
Campano Junior, M. M., Souza, H. C. e Felinto, A. S. (2020). Avaliação pedagógica com base na união dos componentes dos jogos educacionais e das teorias de aprendizagem. In Anais Estendidos do XIX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, p. 551-558.
Carvalho, F., Campano Junior, M. M. e Costa, Y. (2021). Jogos Educativos no Ensino de Autômato Finito Determinístico: um Estudo de Caso com o Jogo A Factory Disaster. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, p. 123-134.
Comin, L. M. e Pereira, E. N. (2011). AutomataDefense 3.0: Inclusão do conceito de Máquina de Turing para complementação pedagógica. In Anais do II Encontro Nacional de Informática e Educação. Universidade Estadual do Oeste do Paraná, Cascavel, p.342–349.
Costa, A. C. S. e Marchiori, P. Z. Gamificação, elementos de jogos e estratégias: uma matriz de referência. In InCID: Revista de Ciência da Informação e Documentação, 6(2), out., páginas 44-65.
Coutinho, I. J. (2017). Avaliação da qualidade de jogos digitais educativos: trajetórias no desenvolvimento de um instrumento avaliativo. Salvador: Programa de Pós-Graduação em Educação e Contemporaneidade da Universidade do Estado da Bahia. Tese de Doutorado.
Freitas, S. L., Costa, M. G. N. e Miranda, F. A. de. (2014). Avaliação educacional: formas de uso na prática pedagógica. In Revista Meta: Avaliação, 6(16), maio, páginas 85–98.
Garozi, P., Campano Junior, M. M. e Costa, Y. (2021). Labirinto Gramágico: Um Jogo Educativo para o Ensino de Gramáticas Regulares. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, Porto Alegre, p.489-498.
Hopcroft, J. E., Ullman, J. D. e Motwani, R. (2002). Introdução à Teoria de Autômatos, Linguagens e Computação. Tradução de Maria da Silva e João Pereira. Rio de Janeiro: Campus, 20ª edição.
José Neto, J. (2017). Introdução à compilação. Rio de Janeiro: Livros Técnicos e Científicos.
Kitchenham, B. and Brereton, P. (2013). A systematic review of systematic review process research in software engineering. In Information and Software Technology, 55(12), Dec., pages 2049-2075.
Kitchenham, B., Budgen, D., Brereton, P., Turner, M., Charters, S., and Linkman, S. (2007). Large-scale software engineering questions-expert opinion or empirical evidence? In IET Software, 1(5), pages 161-171.
Leite, L., Sibaldo, M. A., Carvalho, T. e Souza, R. (2014). Montanha de Chomsky: jogo tutor para auxílio no ensino de Teoria da Computação. In Anais do XXII Workshop sobre Educação em Computação, Brasília, SBC, p.110-119.
Mattar, J. (2013). Games em educação: como os nativos digitais aprendem. São Paulo: Pearson Prentice Hall.
Mattar, J. (2020). Relatos de pesquisas em aprendizagem baseada em games. São Paulo: Artesanato Educacional. 1ª edição.
Menezes, P. B. (2010). Linguagens Formais e Autômatos. Vol. 3. Porto Alegre: Bookman, 6a edição.
Menezes, P. B. e Divertio, T. A. (2011). Teoria da Computação: Máquinas Universais e Computabilidade. Porto Alegre: Bookman, 3a edição.
Pessini, A., Oliveira, H. C., Kemczinski, A. and Hounsell, M. D. S. (2014). O uso de Jogos Sérios na Educação em Informática: um Mapeamento Sistemático. In Anais da XIX Conferência Internacional sobre Informática na Educação. Fortaleza, Jaime Sánchez (Ed.), p.537-541.
Petersen, K., Vakkalanka, S. and Kuzniarz, L. (2015). Guidelines for conducting systematic mapping studies in software engineering: An update. In Information and Software Technology, 64(1), Mar., pages 1–18.
Pietruchinski, M. H., Coelho Neto, J., Malucelli, A., e Reinehr, S. (2012). Os jogos educativos no contexto do SBIE: uma revisão sistemática de literatura. In Anais do XXII Simpósio Brasileiro de Informática na Educação, Vol. 1. USP, São Paulo, p. 1614 - 1623.
Pires, F., Teixeira, K., Pessoa, M. e Lima, P. (2019). Desenvolvendo o Pensamento Computacional através da Máquina de Turing: o enigma do Curupira. In Anais do XXII Workshop sobre Educação em Computação. Belém, SBC, Porto Alegre, p.523–532.
Pirovani, J. 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, 21(03), mar., pages 53-69.
Santini, L. F. S. L., Campano Junior, M. M., Felinto, A. S. e Aylon, L. B. R. (2023). Jogos no Ensino de Linguagens Formais e Autômatos: Um Mapeamento Sistemático. [link], Outubro.
Silva, I. e Sarinho, V. (2021). AutomataEscape: Uma Proposta de Jogo Hardware/Software de Apoio a Aprendizagem de Aspectos Teóricos da Computação. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). Porto Alegre, SBC, p.667–670.
Sipser, M. (2007). Introdução à Teoria da Computação. Stamford: Cengage Learning.
Sousa, H. C. de, Campano Junior, M. M. e Felinto, A. S. (2021). Inclusão das Avaliações Formativa e Somativa no Processo de Desenvolvimento de um Jogo Educacional: um Estudo de Caso no Projeto do Jogo Castaways. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital. Porto Alegre, SBC, p.445–454
Johannesson, M. and Backlund, P. (2007). Serious Games - An Overview. Technical Report HS-IKI-TR-07-001. School of Humanities and Informatics, University of Skövde, Skövde, Sweden. 28 p.
Sudkamp, T. A. (2005). Languages and Machines: an Introduction to the Theory of Computer Science São Paulo: Addison-Wesley, 3rd edition.
Terra, R. (2016). Disciplina de Linguagens Formais e Autômatos. Technical Report. Universidade Federal de Lavras.
Tomizawa, M. e Campano Junior, M. M. (2021). Automata Toy Factory: Um Jogo Educativo para Ensino de Autômato com Pilha. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital. Porto Alegre, SBC, p.389–397.
Vieira, M. e Sarinho, V. (2019). Máquina de Senhas: um jogo digital para o aprendizado da Teoria dos Autômatos. In Anais da XIX Escola Regional de Computação Bahia, Alagoas e Sergipe. Ilhéus, SBC, p.54–59.
Vieira, N. J. (2006). Introdução aos Fundamentos da Computação. São Paulo: Pioneira Thomson Learning.
Battistella, P. E. and von Wangenheim, C. G. (2016). Games for teaching computing in higher education–a systematic review. In IEEE Technology and Engineering Education, 1(9), Mar., pages 8–30.
Campano Junior, M. M., Souza, H. C. e Felinto, A. S. (2020). Avaliação pedagógica com base na união dos componentes dos jogos educacionais e das teorias de aprendizagem. In Anais Estendidos do XIX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, p. 551-558.
Carvalho, F., Campano Junior, M. M. e Costa, Y. (2021). Jogos Educativos no Ensino de Autômato Finito Determinístico: um Estudo de Caso com o Jogo A Factory Disaster. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, p. 123-134.
Comin, L. M. e Pereira, E. N. (2011). AutomataDefense 3.0: Inclusão do conceito de Máquina de Turing para complementação pedagógica. In Anais do II Encontro Nacional de Informática e Educação. Universidade Estadual do Oeste do Paraná, Cascavel, p.342–349.
Costa, A. C. S. e Marchiori, P. Z. Gamificação, elementos de jogos e estratégias: uma matriz de referência. In InCID: Revista de Ciência da Informação e Documentação, 6(2), out., páginas 44-65.
Coutinho, I. J. (2017). Avaliação da qualidade de jogos digitais educativos: trajetórias no desenvolvimento de um instrumento avaliativo. Salvador: Programa de Pós-Graduação em Educação e Contemporaneidade da Universidade do Estado da Bahia. Tese de Doutorado.
Freitas, S. L., Costa, M. G. N. e Miranda, F. A. de. (2014). Avaliação educacional: formas de uso na prática pedagógica. In Revista Meta: Avaliação, 6(16), maio, páginas 85–98.
Garozi, P., Campano Junior, M. M. e Costa, Y. (2021). Labirinto Gramágico: Um Jogo Educativo para o Ensino de Gramáticas Regulares. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). SBC, Porto Alegre, p.489-498.
Hopcroft, J. E., Ullman, J. D. e Motwani, R. (2002). Introdução à Teoria de Autômatos, Linguagens e Computação. Tradução de Maria da Silva e João Pereira. Rio de Janeiro: Campus, 20ª edição.
José Neto, J. (2017). Introdução à compilação. Rio de Janeiro: Livros Técnicos e Científicos.
Kitchenham, B. and Brereton, P. (2013). A systematic review of systematic review process research in software engineering. In Information and Software Technology, 55(12), Dec., pages 2049-2075.
Kitchenham, B., Budgen, D., Brereton, P., Turner, M., Charters, S., and Linkman, S. (2007). Large-scale software engineering questions-expert opinion or empirical evidence? In IET Software, 1(5), pages 161-171.
Leite, L., Sibaldo, M. A., Carvalho, T. e Souza, R. (2014). Montanha de Chomsky: jogo tutor para auxílio no ensino de Teoria da Computação. In Anais do XXII Workshop sobre Educação em Computação, Brasília, SBC, p.110-119.
Mattar, J. (2013). Games em educação: como os nativos digitais aprendem. São Paulo: Pearson Prentice Hall.
Mattar, J. (2020). Relatos de pesquisas em aprendizagem baseada em games. São Paulo: Artesanato Educacional. 1ª edição.
Menezes, P. B. (2010). Linguagens Formais e Autômatos. Vol. 3. Porto Alegre: Bookman, 6a edição.
Menezes, P. B. e Divertio, T. A. (2011). Teoria da Computação: Máquinas Universais e Computabilidade. Porto Alegre: Bookman, 3a edição.
Pessini, A., Oliveira, H. C., Kemczinski, A. and Hounsell, M. D. S. (2014). O uso de Jogos Sérios na Educação em Informática: um Mapeamento Sistemático. In Anais da XIX Conferência Internacional sobre Informática na Educação. Fortaleza, Jaime Sánchez (Ed.), p.537-541.
Petersen, K., Vakkalanka, S. and Kuzniarz, L. (2015). Guidelines for conducting systematic mapping studies in software engineering: An update. In Information and Software Technology, 64(1), Mar., pages 1–18.
Pietruchinski, M. H., Coelho Neto, J., Malucelli, A., e Reinehr, S. (2012). Os jogos educativos no contexto do SBIE: uma revisão sistemática de literatura. In Anais do XXII Simpósio Brasileiro de Informática na Educação, Vol. 1. USP, São Paulo, p. 1614 - 1623.
Pires, F., Teixeira, K., Pessoa, M. e Lima, P. (2019). Desenvolvendo o Pensamento Computacional através da Máquina de Turing: o enigma do Curupira. In Anais do XXII Workshop sobre Educação em Computação. Belém, SBC, Porto Alegre, p.523–532.
Pirovani, J. 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, 21(03), mar., pages 53-69.
Santini, L. F. S. L., Campano Junior, M. M., Felinto, A. S. e Aylon, L. B. R. (2023). Jogos no Ensino de Linguagens Formais e Autômatos: Um Mapeamento Sistemático. [link], Outubro.
Silva, I. e Sarinho, V. (2021). AutomataEscape: Uma Proposta de Jogo Hardware/Software de Apoio a Aprendizagem de Aspectos Teóricos da Computação. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital (Online). Porto Alegre, SBC, p.667–670.
Sipser, M. (2007). Introdução à Teoria da Computação. Stamford: Cengage Learning.
Sousa, H. C. de, Campano Junior, M. M. e Felinto, A. S. (2021). Inclusão das Avaliações Formativa e Somativa no Processo de Desenvolvimento de um Jogo Educacional: um Estudo de Caso no Projeto do Jogo Castaways. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital. Porto Alegre, SBC, p.445–454
Johannesson, M. and Backlund, P. (2007). Serious Games - An Overview. Technical Report HS-IKI-TR-07-001. School of Humanities and Informatics, University of Skövde, Skövde, Sweden. 28 p.
Sudkamp, T. A. (2005). Languages and Machines: an Introduction to the Theory of Computer Science São Paulo: Addison-Wesley, 3rd edition.
Terra, R. (2016). Disciplina de Linguagens Formais e Autômatos. Technical Report. Universidade Federal de Lavras.
Tomizawa, M. e Campano Junior, M. M. (2021). Automata Toy Factory: Um Jogo Educativo para Ensino de Autômato com Pilha. In Anais Estendidos do XX Simpósio Brasileiro de Jogos e Entretenimento Digital. Porto Alegre, SBC, p.389–397.
Vieira, M. e Sarinho, V. (2019). Máquina de Senhas: um jogo digital para o aprendizado da Teoria dos Autômatos. In Anais da XIX Escola Regional de Computação Bahia, Alagoas e Sergipe. Ilhéus, SBC, p.54–59.
Vieira, N. J. (2006). Introdução aos Fundamentos da Computação. São Paulo: Pioneira Thomson Learning.
Publicado
04/11/2024
Como Citar
CASAMAXIMO, Rafael Furlanetto; SILVA, Pedro Zaffalon da; MICHELS, João Felipe Pavret; BARBOSA, Cinthyan Renata Sachs Camerlengo de.
Avaliação de Jogos Digitais no Ensino de Linguagens Formais e Autômatos. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 35. , 2024, Rio de Janeiro/RJ.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2024
.
p. 538-550.
DOI: https://doi.org/10.5753/sbie.2024.241798.
