A framework to visualize equivalences between computational models of regular languages

  • Authors:

  • Mauricio Ayala-Rincón;Alexsandro F. da Fonseca;Haydée Werneck Poubel;José Siqueira

  • Affiliations:

  • Departamento de Matemática, Universidade de Brasília, Brazil;Departamento de Ciência da Computação, Universidade de Brasília, Brazil;Departamento de Matemática, Universidade de Brasília, Brazil;Departamento de Ciência da Computação, Universidade Federal de Minas Gerais, Brazil

  • Venue:
  • Information Processing Letters
  • Year:
  • 2002

Quantified Score

Hi-index 0.89

Visualization

Abstract

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.