| | |
Summary: Animation of Relations between Computational
Models and Their Language Representations
Alexsandro F. da Fonseca ?1 , Alison H. R. da Silva ??1 , Mauricio Ayala-Rincon 2 ,
Haydee Werneck Poubel 2 , and Jose de Siqueira 3
1 Departamento de Ci^encia da Computac~ao, Universidade de Braslia, Brasil
alex@cic.unb.br alison@cic.unb.br
2 Departamento de Matematica, Universidade de Braslia, Brasil
ayala@mat.unb.br haydee@mat.unb.br
3 Departamento de Ci^encia da Computac~ao, U. Federal de Minas Gerais, Brasil
jose@dcc.ufmg.br
Abstract. We discuss how to increase and simplify the understand-
ing of the equivalence relations between machine models and language
representations of formal languages by means of the animation tool
SAGEMoLiC, currently in development. The philosophy of our new ed-
ucational tool goes further than these of the usual ones, since it permits
the simulation of the execution of models of computation, as many other
animation systems do, as well as the animation of the proofs of the corre-
sponding equivalences. In contrast with previous systems, our philosophy
to animate equivalence theorems is not a simple visualization of the di-
rect translation between computational models and their grammatical
|
