A | |
Acceptors |
Acceptors implements finite state acceptors.
|
E | |
Edges |
Edges implements the transitions of finite state acceptors.
|
F | |
Fsa |
This is documentation for the command line executable "fsa".
|
M | |
Machines |
Machines implements basic functions of any type of finite state
machine.
|
Make [Acceptors] | |
Make [Machines] |
The functor takes the arguments below and returns a module of type
MACHINE_TYPE .
|
Make [Edges] |
The functor takes the three modules below and returns a module of
EDGE_TYPE.
|
Make [Symbols] |
The functor takes as an argument modules of type
SYMBOL_SEED and returns
a module of SYMBOL_TYPE .
|
Make_DQ [Acceptors] |
This functor takes only arguments of type
Delim.DELIM_TYPE (a Tools module).
|
Make_Q [Acceptors] |
This functor also returns a module of
ACCEPTOR_TYPE , but it only takes
two arguments.
|
N | |
Node |
Node implements the states of a finite state acceptors.
|
S | |
Symbols |
Symbols extends the alphabet to include an empty and universal symbol.
|
V | |
Vocab |
Vocab implements the alphabet used in finite state acceptor.
|