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:
display_unused_states
no_display_beyond
v_algorithm
v_tree_depth
v_ycoord
v_xdist
pstricks_style
v_angle
postscript_res
This section lists the predicates defined by this module.
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.
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.
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.
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.
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.
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.
Starts an external visualization program visualizing Fa. Format indicates what program is to be used and must be one of:
vcg
dot_ghostview (dot -Tps | gv )
pstricks_ghostview (latex ; dvips ; gv)
dotty
davinci