Aragão Junior, Belmondo. " 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], (5 outubro 2026)