Avaliação da Interação Criança-Robô na Aquisição de Vocabulário em Inglês na Educação Infantil

Authors

  • Matheus Manoel UCS
  • Roberta Dall Agnese da Costa UCS
  • Carine G. Webber UCS

DOI:

https://doi.org/10.22456/1679-1916.145043

Keywords:

computing education, k-12, automata theory, graph grammar

Abstract

This paper presents the application of an educational activity for K-12 students, aligned with the National Common Curricular Base, which explores Automata Theory through Graph Grammar. Formal Methods, important in complex systems, promote skills such as abstraction, analysis, and critical thinking, which are essential for 21st-century students. Despite the growing interest in Computing Education, formal specifications, part of Formal Methods, remain underexplored. Thus, this activity focused on Deterministic Finite Automata aims to bridge this gap. A pilot experiment with a group of students was conducted, and the results indicated that the students not only understood the concepts related to automata but also successfully manipulated the grammars with the tool used.

Downloads

Download data is not yet available.

Published

2025-01-06

How to Cite

MANOEL, Matheus; COSTA, Roberta Dall Agnese da; WEBBER, Carine G. Avaliação da Interação Criança-Robô na Aquisição de Vocabulário em Inglês na Educação Infantil. Revista Novas Tecnologias na Educação, Porto Alegre, v. 22, n. 3, p. 459–468, 2025. DOI: 10.22456/1679-1916.145043. Disponível em: https://seer.ufrgs.br/index.php/poled/management/settings/website/index.php/renote/article/view/145043. Acesso em: 28 aug. 2025.