YaccConstructor


Common

Namespace: Yard.Generators.Common.FSA

Nested types and modules

TypeDescription
EdgeSymbol
InternalFSA

Functions and values

Function or valueDescription
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

Fork me on GitHub