Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Animation of Relations between Computational Models and Their Language Representations
 

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

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics