Index of modules


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.