Common
Namespace: Yard.Generators.Common.FSA
Nested types and modules
| Type | Description |
| EdgeSymbol | |
| InternalFSA |
Functions and values
| Function or value | Description |
convertRulesToFSA ruleList
Signature: ruleList:t<t,t> list -> InternalFSA
|
|
findEquivalenceClasses fsa
Signature: fsa:InternalFSA -> ResizeArray<int<MeasureProduct<positionInGrammar,MeasureOne>> []>
|
Returns sets of equivalent states http://goo.gl/z9uJP0 |
genFirstSet fsa
Signature: fsa:InternalFSA -> (int<MeasureProduct<positionInGrammar,MeasureOne>> * string []) []
|
|
minimizeFSA fsa
Signature: fsa:InternalFSA -> InternalFSA
|
|
printDot filePrintPath fsa
Signature: filePrintPath:string -> fsa:InternalFSA -> InternalFSA
|
|
removeEpsilonEdges fsa
Signature: fsa:InternalFSA -> InternalFSA
|
Removes epsilon edges from FA using epsilon closure. |
stateToString nontermStringDict state
Signature: nontermStringDict:Dictionary<int<MeasureProduct<positionInGrammar,MeasureOne>>,string> -> state:int<MeasureProduct<positionInGrammar,MeasureOne>> -> string
|
|
symbolToString nontermStringDict s
Signature: nontermStringDict:Dictionary<int<MeasureProduct<positionInGrammar,MeasureOne>>,string> -> s:EdgeSymbol -> string
|
|
toDFA fsa
Signature: fsa:InternalFSA -> InternalFSA
|
Converts NFA without epsilon edges to DFA |
