|
|
|
|
|
Description |
Serialisation/deserialisation of FSMs in edge list
format.
An FSM may be represented textually as list of
{source_state->destination_state,label} strings, each of which
represents an edge in its directed graph. (This representation is
interesting because it's used by Mathematica for graph I/O.)
|
|
Synopsis |
|
|
|
|
I/O
|
|
|
Load an FSM from an FsmEdges file.
|
|
|
Save an FSM to an FsmMatrix file.
|
|
Parsing
|
|
|
Parse an FsmEdges-formatted FSM held in a string. Includes
normalisation and well-formedness checks.
|
|
Pretty-printing
|
|
|
Pretty-print a string FSM in FsmMatrix format.
|
|
Produced by Haddock version 2.6.0 |