contents index next

28. fsa_visualization: Visualization of Finite Automata

This module provides various predicates to visualize finite automata. Visualization is provided through interfaces with generic graph visualization tools (GraphViz, VCG, DaVinci), but there is also a built-in graph visualization algorithm with output in LaTeX or Postscript. The following global variables influence visualization:

28.1. List of Predicates

This section lists the predicates defined by this module.

28.1.1. fsa_davinci(+File0,+File) fsa_davinci(+Fa)

In the first variant, a representation accepted by the daVinci graph visualization program is written to File on the basis of the automaton read from File0. In the second form, the representation for Fa is written to standard output.

28.1.2. fsa_dot(+File0,+File) fsa_dot(+Fa)

In the first variant, a representation accepted by the dot / GraphViz graph visualization program is written to File on the basis of the automaton read from File0. In the second form, the representation for Fa is written to standard output.

28.1.3. fsa_vcg(+File0,+File) fsa_vcg(+Fa)

In the first variant, a representation accepted by the vcg graph visualization program is written to File on the basis of the automaton read from File0. In the second form, the representation for Fa is written to standard output.

28.1.4. fsa_pstricks_picture(+File0,+File)

A piece of LaTeX code with pstricks macro's which produces a picture of the automaton read from File0 is written to File. This LaTeX code is supposed to be included in a full LaTeX document. The global variable pstricks_style influences the result.

28.1.5. fsa_pstricks_tex(+File0,+File)

A standalone LaTeX document with pstricks macro's which produces a picture of the automaton read from File0 is written to File. The global variable pstricks_style influences the result.

28.1.6. fsa_postscript(+File0,+File)

Postscript code which produces visualization of automaton read from File0 is written to File. The Postscript macro's are due to Peter Kleiweg. The global variable postscript_res can be set to indicate whether output is meant to be displayed on the screen, or printed.

28.1.7. fsa_visualization(+Format,+Fa)

Starts an external visualization program visualizing Fa. Format indicates what program is to be used and must be one of:

contents index next