ARAGÃO JUNIOR, Belmondo Rodrigues. From Formalization to Execution: EIDOS as an Active Learning Environment for Context-Free Grammars. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 37. , 2026, Goiânia/GO. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 2613-2622. DOI: https://doi.org/10.5753/sbie.2026.27356.