PPFM
signature
signature PPFM
Finite automata can be exported to a file in the format suitable for the graph-vizualization package graphviz/dot of ATT. Given a filename f, the description is written to a file f.tmp.dot, a file f.tmp.ps is created, and then f.tmp.ps is displayed using the ghostview previewer gv.
It is assumed that dot and gv are installed and found in the system via the search path.
include FM
eqtype label
val dot : label machine -> string -> unit
val viewgraph : string -> OS.Process.status
val display : label machine -> string -> OS.Process.status
val displayMinimize : label machine
-> string -> OS.Process.status
val displayDetermine : label machine
-> string -> OS.Process.status
val displayDetermineMinimize : label machine
-> string
-> OS.Process.status
dot m s
viewgraph s
display m s
displayMinimize m s
displayDetermine m s
displayDetermineMinimize m s