Aragão Junior, B. 2026 out 5. From Formalization to Execution: EIDOS as an Active Learning Environment for Context-Free Grammars. Anais do Simpósio Brasileiro de Informática na Educação (SBIE). [Online] :