Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
J.H. Conway. Fractran: A simple universal programming language for arithmetic. Open Problems in Communication and Computation, 4–26, 1987.
Úlfar Erlingsson and Mukkai Krishnamoorthy. 1997. Interactive graph drawing. http://www.cs.rpi.edu/projects/pb/graphdraw Accessed 23 Mar. 2003.
Nathan Preston and Mukkai S. Krishnamoorthy. AVA: An applet for visualizing Fractran and other automata. http://www.cs.rpi.edu/~prestn2/AVA/AVA.ps. Accessed 14 May 2003.
John Punin. 2001. XGMML: extensible graph markup and modeling language. http://www.cs.rpi.edu/~puninj/XGMML. Accessed 23 Mar. 2003.
Roberto Tamassia. 2002. Graph drawing. http://www.cs.brown.edu/people/rt/gd.html. Accessed 23 Mar. 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Preston, N., Krishnamoorthy, M.S. (2003). AVA: An Applet for Visualizing FRACTRAN and Other Automata. In: Ibarra, O.H., Dang, Z. (eds) Implementation and Application of Automata. CIAA 2003. Lecture Notes in Computer Science, vol 2759. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45089-0_28
Download citation
DOI: https://doi.org/10.1007/3-540-45089-0_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40561-0
Online ISBN: 978-3-540-45089-4
eBook Packages: Springer Book Archive