Next: Latex Picture
Up: Visualization of Automata
If the -davinci option is used, a term-representation compatible with
the requirements of the daVinci 2.0
graph-visualization program is written to standard output, on the
basis of the finite-state automaton read in from standard input. An
example of daVinci is given in figure 2.
The FSA Utilities toolbox is able to export
finite-state automata in a representation suitable for external
visualization tools. This figure illustrates the use of the daVinci
visualization program to inspect a finite state automaton. Different
colors and shapes are used to indicate the start states
and the final states.
Noord G.J.M. van