DaVinci

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.

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.