AVA: An Applet for Visualizing FRACTRAN and Other Automata

  • Nathan Preston
  • Mukkai S. Krishnamoorthy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2759)


In this paper we present the design and features of the Automaton Visualization Applet (AVA). AVA is a tool for creating and editing graphs and automata which provides a friendly user interface. The applet supports finite automata, pushdown automata, Turing machines, and a model based on fractions called Fractran, of which we give an overview. AVA allows the user to perform the actions of the various machines, e.g. testing input strings to see if they are accepted. The applet also supports importing and exporting graphs using eXtensible Graph Markup and Modeling Language[4] (XGMML), an XML language for describing graphs.


Fractran Model Turing Machine Finite Automaton Rensselaer Polytechnic Institute Graph Drawing 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    J.H. Conway. Fractran: A simple universal programming language for arithmetic. Open Problems in Communication and Computation, 4–26, 1987.Google Scholar
  2. [2]
    Úlfar Erlingsson and Mukkai Krishnamoorthy. 1997. Interactive graph drawing. Accessed 23 Mar. 2003.
  3. [3]
    Nathan Preston and Mukkai S. Krishnamoorthy. AVA: An applet for visualizing Fractran and other automata. Accessed 14 May 2003.
  4. [4]
    John Punin. 2001. XGMML: extensible graph markup and modeling language. Accessed 23 Mar. 2003.
  5. [5]
    Roberto Tamassia. 2002. Graph drawing. Accessed 23 Mar. 2003.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Nathan Preston
    • 1
  • Mukkai S. Krishnamoorthy
    • 1
  1. 1.Rensselaer Polytechnic InstituteTroy

Personalised recommendations