| libGenI-0.16.1: A natural language generator (specifically, an FB-LTAG surface realiser) | Contents | Index |
|
|
|
|
Synopsis |
|
|
|
Documentation |
|
data NFA st ab |
Note: there are two ways to define the final states.
1. you may define them as a list of states in finalStList
2. you may define them via the isFinalSt function
The state list is ignored if you define isFinalSt
| Constructors | NFA | | startSt :: st | | isFinalSt :: Maybe (st -> Bool) | | finalStList :: [st] | | transitions :: Map st (Map st [Maybe ab]) | | states :: [[st]] | |
|
|
|
|
finalSt :: NFA st ab -> [st] |
|
addTrans :: (Ord ab, Ord st) => NFA st ab -> st -> Maybe ab -> st -> NFA st ab |
|
lookupTrans :: (Ord ab, Ord st) => NFA st ab -> st -> (Maybe ab) -> [st] |
|
automatonPaths :: (Ord st, Ord ab) => (NFA st ab) -> [[ab]] |
|
automatonPathSets :: (Ord st, Ord ab) => (NFA st ab) -> [[[ab]]] |
Not quite the set of all paths, but the sets of all transitions
|
|
numStates :: NFA st ab -> Int |
|
numTransitions :: NFA st ab -> Int |
|
Produced by Haddock version 2.1.0 |