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!