SAGEMoLiC
Sistema de Animação Gráfica de Teoremas de
Equivalência entre Modelos
e Linguagens
Computacionais
System of Graphic Animation of Equivalence
Theorems between Computational Models and Languages
© Grupo de Teoria da
Computação, Universidade de Brasília
Leia instruções
antes de iniciar!
Read instructions
before begining!