Evaluating the Impact of a Graph Grammar-Based Activity for Introducing Automata Theory in K-12∗

Autores

  • Júlia Veiga da Silva UFPel
  • Simone André da Costa Cavalheiro UFPel
  • Luciana Foss UFPel

DOI:

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

Palavras-chave:

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

Resumo

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

Não há dados estatísticos.

Downloads

Publicado

2025-01-06

Como Citar

SILVA, Júlia Veiga da; CAVALHEIRO, Simone André da Costa; FOSS, Luciana. Evaluating the Impact of a Graph Grammar-Based Activity for Introducing Automata Theory in K-12∗. RENOTE, Porto Alegre, v. 22, n. 3, p. 447–458, 2025. DOI: 10.22456/1679-1916.145041. Disponível em: https://seer.ufrgs.br/index.php/renote/article/view/145041. Acesso em: 6 set. 2026.

Edição

Seção

Projeto e desenvolvimento de objetos educacionais