Next:
Postscript
Up:
Visualization of Automata
Previous:
DaVinci
Latex Picture
The
-tex
option is used to produce a LaTeX picture. The same visualization mechanism is used as for the
-tk
option, cf. below. Also, the same options to influence this visualization can be given.
% fsa -tex <ba_n.nd >ba_n.pic
(32)
Noord G.J.M. van
1998-09-28