SAGEMoLiC swMATH ID: 29863 Software Authors: Ayala-Rincón, Mauricio; da Fonseca, Alexsandro F.; Poubel, Haydée Werneck; Siqueira, José Description: A framework to visualize equivalences between computational models of regular languages. We discuss how to increase and simplify the understanding of the equivalence relations between machine models and/or language representations of formal languages by means of the animation tool SAGEMoLiC. Our new educational tool permits the simulation of the execution of models of computation, as many other animation systems do, but its philosophy goes further than these of the usual systems since it allows for a true visualization of the key notions involved in the formal proofs of these equivalences. In contrast with the proposal of previous systems, our approach to visualize equivalence theorems is not a simple “step by step animation” of specific conversion algorithms between computational models and/or grammatical representations of formal languages, because we make emphasis on the key theoretical notions involved in the formal proofs of these equivalences. Homepage: http://www.mat.unb.br/~ayala/TCgroup/SAGEMoLiC/instructions.html Keywords: Automata theory; Formal languages; Visualization; Algorithm animation Related Software: Xaa Cited in: 1 Document Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A framework to visualize equivalences between computational models of regular languages. Zbl 1042.68059Ayala-Rincón, Mauricio; da Fonseca, Alexsandro F.; Poubel, Haydée Werneck; Siqueira, José 2002 Cited by 4 Authors 1 Ayala-Rincón, Mauricio 1 da Fonseca, Alexsandro F. 1 Poubel, Haydée Werneck 1 Siqueira, José Cited in 1 Serial 1 Information Processing Letters Cited in 1 Field 1 Computer science (68-XX) Citations by Year