Index

A

acyclicP() (OFA method), [1] add() (SSemiGroup method), [1] addEdge() (DiGraph method), [1] (Graph method), [1] addEpsilonLoops() (NFA method), [1] (SFT method), [1] addFinal() (FA method), [1] addGen() (SSemiGroup method), [1] addInitial() (NFA method), [1] addOutput() (GFT method), [1] addSigma() (FA method), [1] addState() (AFA method), [1] (FA method), [1] addSuffix() (ADFA method), [1] addToCode() (IPTProp method), [1] addTransition() (DFA method), [1] (GFA method), [1] (GFT method), [1] (NFA method), [1] (NFAr method), [1] (OFA method), [1] (SFT method), [1] addTransitionProductQ() (SFT method), [1]

addTransitionQ() (NFA method), [1] (SFT method), [1] addVertex() (Graph method), [1] addWord() (FL method), [1] addWords() (FL method), [1] ADFA (class in FAdo.fl), [1] ADFArnd (class in FAdo.rndadfa), [1] aEquiv() (DFA method), [1] AFA (class in FAdo.fl), [1] alpha() (ADFArnd method), [1] alpha0() (ADFArnd method), [1] alphabet() (PSPVanila method), [1] alphabeticLength() (Connective method), [1] (Power method), [1] (RegExp static method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant static method), [1] ANFA (class in FAdo.fl), [1] assignLow() (GFA method), [1] assignNum() (GFA method), [1] autobisimulation() (NFA method), [1] autobisimulation2() (NFA method), [1]

B

behaviour() (PSPVanila method), [1] beta() (ADFArnd method), [1] beta0() (ADFArnd method), [1] buildErrorCorrectPropF() (in module FAdo.codes), [1] buildErrorCorrectPropS() (in module FAdo.codes), [1] buildErrorDetectPropF() (in module FAdo.codes), [1] buildErrorDetectPropS() (in module FAdo.codes), [1] BuildFadoObject (class in FAdo.fio), [1] buildIATPropF() (in module FAdo.codes), [1]

buildIATPropS() (in module FAdo.codes), [1] buildIPTPropF() (in module FAdo.codes), [1] buildIPTPropS() (in module FAdo.codes), [1] buildPrefixProperty() (in module FAdo.codes), [1] BuildRegexp (class in FAdo.reex), [1] BuildRPNRegexp (class in FAdo.reex), [1] BuildRPNSRE (class in FAdo.reex), [1] BuildSRE (class in FAdo.reex), [1] buildTrajPropS() (in module FAdo.codes), [1]

C

catLF() (DAG method), [1] CEmptySet (class in FAdo.reex), [1] CEpsilon (class in FAdo.reex), [1] cfgGenerator (class in FAdo.cfg), [1] CFGrammar (class in FAdo.cfg), [1] chomsky() (CNF method), [1] closeEpsilon() (NFA method), [1] CNF (class in FAdo.cfg), [1] codeOfTransducer() (GFT method), [1] CodeProperty (class in FAdo.codes), [1] compare() (RegExp method), [1] compareMinimalDFA() (RegExp method), [1] compat() (DFA method), [1] complete() (ADFA method), [1] (DFA method), [1] completeDelta() (GFA method), [1] completeMinimal() (DFA method), [1] completeP() (DFA method), [1]

completeProduct() (DFA method), [1] composition() (SFT method), [1] computeFollowNames() (NFA method), [1] computeKernel() (DFA method), [1] concat() (DFA method), [1] (NFA method), [1] (SFT method), [1] concatI() (DFA method), [1] concatWStar() (in module FAdo.comboperations), [1] Conj (in module FAdo.reex), [1] conjunction() (FA method), [1] Connective (class in FAdo.reex), [1] countAdfaBySources() (ADFArnd method), [1] countTransitions() (FA method), [1] (NFA method), [1] createInputAlteringSIDTrans() (in module FAdo.codes), [1] cross() (SDisj static method), [1] cutPoints() (in module FAdo.conversions), [1]

D

DAG (class in FAdo.reex), [1] deleteState() (FA method), [1] (GFA method), [1] (SFT method), [1] deleteStates() (DFA method), [1] (GFA method), [1] (NFA method), [1] (NFAr method), [1] (OFA method), [1] (SFT method), [1] delFinal() (FA method), [1] delFinals() (FA method), [1] Delta() (DFA method), [1] delTransition() (DFA method), [1] (NFA method), [1] (NFAr method), [1] (SFT method), [1] derivative() (SConcat method), [1] (SConj method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] (SStar method), [1] deterministicP() (DFA static method), [1] (NFA method), [1] detSet() (NFA method), [1] DFA (class in FAdo.fa), [1] DFA2regexpDijkstra() (in module FAdo.conversions), [1] dfaAuPoint() (RegExp method), [1] dfaBrzozowski() (RegExp method), [1] DFAsyncWords() (in module FAdo.conversions), [1] DFAtoADFA() (in module FAdo.fl), [1] dfaYMG() (RegExp method), [1] DFCA (class in FAdo.fl), [1] DFS() (GFA method), [1] dfs_visit() (GFA method), [1] diff() (FL method), [1]

DiGraph (class in FAdo.graphs), [1] DiGraphVm (class in FAdo.graphs), [1] directRank() (AFA method), [1] disj() (FA method), [1] disjunction() (FA method), [1] disjWStar() (in module FAdo.comboperations), [1] display() (Drawable method), [1] diss() (ADFA method), [1] dissMin() (ADFA method), [1] dist() (DFA method), [1] distDerivative() (SpecialConstant method), [1] distMin() (DFA method), [1] distR() (DFA method), [1] distRMin() (DFA method), [1] distTS() (DFA method), [1] DNode (class in FAdo.reex), [1] dotDrawEdge() (DiGraph static method), [1] dotDrawState() (FA method), [1] (SemiDFA method), [1] dotDrawTransition() (FA static method), [1] (OFA method), [1] (SemiDFA static method), [1] dotDrawVertex() (DiGraph method), [1] dotFormat() (DiGraph method), [1] (Drawable method), [1] (FA method), [1] (Graph method), [1] (NFA method), [1] (SemiDFA method), [1] dotLabel() (Drawable method), [1] Drawable (class in FAdo.common), [1] dump() (OFA method), [1] dup() (ADFA method), [1] (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] (SFT method), [1]

E

editDistanceW() (in module FAdo.codes), [1] elim_unitary() (CNF method), [1] elimEpsilon() (NFA method), [1] elimEpsilonO() (NFAr method), [1] eliminate() (GFA method), [1] eliminateAll() (GFA method), [1] eliminateDeadName() (FA method), [1] eliminateEpsilonTransitions() (NFA method), [1] eliminateState() (GFA method), [1] eliminateStout() (OFA method), [1] eliminateTSymbol() (NFA method), [1] emptyP() (OFA method), [1] (SFT method), [1] emptysetP() (CEmptySet static method), [1] (RegExp static method), [1] ensureDead() (AFA method), [1] enum() (EnumL method), [1] enumCrossSection() (EnumL method), [1] enumDFA() (DFA method), [1] EnumL (class in FAdo.fa), [1] enumNFA() (NFA method), [1] epsilonClosure() (NFA method), [1] epsilonLength() (CEmptySet static method), [1] (CEpsilon static method), [1] (Connective method), [1] (Power method), [1] (RegExp static method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant static method), [1] epsilonOutP() (SFT method), [1] epsilonP() (CEmptySet static method), [1] (CEpsilon static method), [1] (NFA method), [1] (RegExp static method), [1] (SFT method), [1]

epsilonPaths() (NFA method), [1] equal() (DFA method), [1] equivalentP() (FA method), [1] (RegExp method), [1] equivP() (RegExp method), [1] equivReduced() (NFA method), [1] ErrCorrectProp (class in FAdo.codes), [1] ErrDetectProp (in module FAdo.codes), [1] evalNumberOfStateCycles() (GFA method), [1] evalRank() (AFA method), [1] evalSymbol() (DFA method), [1] (FA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] evalSymbolI() (DFA method), [1] evalSymbolL() (DFA method), [1] evalSymbolLI() (DFA method), [1] evalWord() (DFA method), [1] evalWordP() (DFA method), [1] (NFA method), [1] (RegExp method), [1] (SFT method), [1] evalWordSlowP() (SFT method), [1] ewp() (CEmptySet static method), [1] (CEpsilon static method), [1] (RegExp static method), [1] (SConcat method), [1] (SConj method), [1] (SDisj method), [1] (SNot method), [1] exponentialDensityP() (in module FAdo.codes), [1]

F

FA (class in FAdo.fa), [1] FA2GFA() (in module FAdo.conversions), [1] FA2regexpCG() (in module FAdo.conversions), [1] FA2regexpCG_nn() (in module FAdo.conversions), [1] FA2regexpDynamicCycleHeuristic() (in module FAdo.conversions), [1] FA2regexpSE() (in module FAdo.conversions), [1] FA2regexpSE_nn() (in module FAdo.conversions), [1] FA2regexpSEO() (in module FAdo.conversions), [1] FA2regexpStaticCycleHeuristic() (in module FAdo.conversions), [1] FAallRegExps() (in module FAdo.conversions), [1] FAdo.cfg module, [1] FAdo.codes module, [1] FAdo.comboperations module, [1] FAdo.common module, [1] FAdo.conversions module, [1] FAdo.fa module, [1] FAdo.fio module, [1] FAdo.fl module, [1] FAdo.graphs module, [1] FAdo.reex module, [1] FAdo.rndadfa module, [1]

FAdo.rndfap module, [1] FAdo.sst module, [1] FAdo.transducers module, [1] FAeliminateSingles() (in module FAdo.conversions), [1] fillStack() (EnumL method), [1] filter() (FL method), [1] finalCompP() (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] finalP() (FA method), [1] finalsP() (FA method), [1] first() (Connective method), [1] (Power method), [1] (RegExp method), [1] (SConnective method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant static method), [1] FL (class in FAdo.fl), [1] followFromPosition() (NFA method), [1] followLists() (SDisj method), [1] (SpecialConstant method), [1] followListsD() (SpecialConstant method), [1] followListsStar() (SDisj method), [1] (SpecialConstant static method), [1] forceToDFA() (ADFA method), [1] forceToDFCA() (ADFA method), [1] functionalP() (SFT method), [1]

G

gamma() (ADFArnd method), [1] generate() (cfgGenerator method), [1] genFinalities() (ICDFArgen method), [1] genRandomTrie() (in module FAdo.fl), [1] genRndTrieBalanced() (in module FAdo.fl), [1] genRndTriePrefix() (in module FAdo.fl), [1]

genRndTrieUnbalanced() (in module FAdo.fl), [1] getLeaves() (AFA method), [1] GFA (class in FAdo.conversions), [1] GFT (class in FAdo.transducers), [1] Graph (class in FAdo.graphs), [1] gRules() (in module FAdo.cfg), [1]

H

half() (NFA method), [1] hasStateIndexP() (FA method), [1] hasTransitionP() (NFA method), [1] hasTrapStateP() (DFA method), [1] head() (SConcat method), [1] head_rev() (SConcat method), [1]

HKeqP() (DFA method), [1] (NFA method), [1] homogeneousFinalityP() (NFA method), [1] homogenousP() (NFA method), [1] (NFAr method), [1] hypercodeTransducer() (in module FAdo.transducers), [1] hyperMinimal() (DFA method), [1]

I

IATProp (class in FAdo.codes), [1] ICDFArgen (class in FAdo.rndfap), [1] ICDFArnd (class in FAdo.rndfap), [1] ICDFArndIncomplete (class in FAdo.rndfap), [1] iCompleteP() (EnumL method), [1] images() (FA method), [1] inDegree() (DFA method), [1] indexList() (FA method), [1] infix() (DFA method), [1] infixTransducer() (in module FAdo.transducers), [1] inIntersection() (PSPDiff method), [1] (PSPEqual method), [1] (PSPVanila method), [1] (SFT method), [1] inIntersectionSlow() (SFT method), [1] initialComp() (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1]

initialP() (DFA method), [1] (FA method), [1] initialSet() (DFA method), [1] (FA method), [1] initStack() (EnumL method), [1] inputS() (FA method), [1] intersection() (FL method), [1] interWStar() (in module FAdo.comboperations), [1] inverse() (DiGraph method), [1] (PSPVanila method), [1] (SFT method), [1] IPTProp (class in FAdo.codes), [1] isAInvariant() (PSPVanila method), [1] isLimitExceed() (in module FAdo.transducers), [1]

J

joinStates() (DFA method), [1]

L

last() (Connective method), [1] (Power method), [1] (RegExp method), [1] (SConnective method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] length (DFCA property), [1] lEquivNFA() (NFA method), [1] level() (ADFA method), [1] linearForm() (Connective method), [1] (Power method), [1] (RegExp method), [1] (SConcat method), [1] (SConj method), [1] (SConnective method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] (SStar method), [1]

linearFormC() (SConcat method), [1] (SDisj method), [1] (SNot method), [1] listOfTransitions() (GFT method), [1] lrEquivNFA() (NFA method), [1]

M

MADFA() (FL method), [1] makeCode() (IPTProp method), [1] makeCodeO() (IPTProp method), [1] makenonterminals() (CFGrammar method), [1] makePNG() (Drawable method), [1] makeReversible() (DFA method), [1] maketerminals() (CFGrammar method), [1] mark() (Connective method), [1] (Power method), [1] (RegExp method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant method), [1] marked() (RegExp method), [1] markNonEquivalent() (DFA method), [1] markVertex() (DiGraphVm method), [1] MAtom (class in FAdo.reex), [1] maximalP() (CodeProperty method), [1] (IPTProp method), [1] measure() (CEmptySet static method), [1] (CEpsilon static method), [1] mergeInitial() (ANFA method), [1] mergeLeaves() (ANFA method), [1] mergeStates() (ANFA method), [1] (DFA method), [1] (NFAr method), [1] mergeStatesSet() (NFAr method), [1] minDFCA() (ADFA method), [1] minimal() (ADFA method), [1] (DFA method), [1] (NFA method), [1] minimalBrzozowski() (OFA method), [1] minimalBrzozowskiP() (OFA method), [1] minimalDFA() (NFA method), [1]

minimalHopcroft() (DFA method), [1] minimalHopcroftP() (DFA method), [1] minimalIncremental() (DFA method), [1] minimalIncrementalP() (DFA method), [1] minimalMoore() (DFA method), [1] minimalMooreSq() (DFA method), [1] minimalMooreSqP() (DFA method), [1] minimalNCompleteP() (DFA method), [1] minimalNotEquivP() (DFA method), [1] minimalP() (ADFA method), [1] (DFA method), [1] minimalWatson() (DFA method), [1] minimalWatsonP() (DFA method), [1] minReversible() (ADFA method), [1] minWord() (EnumL method), [1] minWordT() (EnumL method), [1] module FAdo.cfg, [1] FAdo.codes, [1] FAdo.comboperations, [1] FAdo.common, [1] FAdo.conversions, [1] FAdo.fa, [1] FAdo.fio, [1] FAdo.fl, [1] FAdo.graphs, [1] FAdo.reex, [1] FAdo.rndadfa, [1] FAdo.rndfap, [1] FAdo.sst, [1] FAdo.transducers, [1] moveFinal() (ANFA method), [1] multiLineAutomaton() (FL method), [1] MyhillNerodePartition() (DFA method), [1]

N

nextWord() (EnumL method), [1] NFA (class in FAdo.fa), [1] nfaFollow() (RegExp method), [1] nfaFollowEpsilon() (RegExp method), [1] nfaGlushkov() (RegExp method), [1] nfaNaiveFollow() (RegExp method), [1] nfaPD() (CEmptySet method), [1] (RegExp method), [1] (SConnective method), [1] (SNot method), [1] (SStar method), [1] nfaPDDAG() (RegExp method), [1] nfaPDNaive() (RegExp method), [1] nfaPDO() (RegExp method), [1] nfaPosition() (RegExp method), [1] nfaPre() (RegExp method), [1] nfaPreSlow() (RegExp method), [1] nfaPSNF() (RegExp method), [1]

NFAr (class in FAdo.fa), [1] nfaThompson() (CEpsilon method), [1] NFT (class in FAdo.transducers), [1] noBlankNames() (FA method), [1] nonEmptyW() (SFT method), [1] nonFunctionalW() (SFT method), [1] normalize() (GFA method), [1] notEmptyW() (RegExp method), [1] notequal() (DFA method), [1] notMaximalW() (CodeProperty method), [1] (ErrCorrectProp method), [1] (IPTProp method), [1] notMaxStatW() (IPTProp method), [1] notSatisfiesW() (CodeProperty method), [1] (ErrCorrectProp method), [1] (IATProp method), [1] (IPTProp method), [1] NULLABLE() (CFGrammar method), [1]

O

OFA (class in FAdo.fa), [1] Option (in module FAdo.reex), [1] ordered() (AFA method), [1] orderedStrConnComponents() (DFA method), [1]

outfixTransducer() (in module FAdo.transducers), [1] outIntersection() (SFT method), [1] outIntersectionDerived() (SFT method), [1] outputS() (SFT method), [1]

P

pairGraph() (DFA method), [1] partialDerivatives() (CEpsilon method), [1] (SConcat method), [1] (SConj method), [1] (SDisj method), [1] (SNot method), [1] (SStar method), [1] partialDerivativesC() (CEmptySet method), [1] (CEpsilon method), [1] (SConcat method), [1] (SConj method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] (SStar method), [1] plus() (FA method), [1] plusLF() (DAG static method), [1]

Position (class in FAdo.reex), [1] possibleToReverse() (ADFA method), [1] (DFA method), [1] Power (class in FAdo.reex), [1] pref() (DFA method), [1] PrefixProp (class in FAdo.codes), [1] prefixTransducer() (in module FAdo.transducers), [1] print_data() (DFA method), [1] product() (DFA method), [1] (NFA method), [1] productInput() (SFT method), [1] productInputSlow() (SFT method), [1] productSlow() (DFA method), [1] PSP (class in FAdo.sst), [1] PSPDiff (class in FAdo.sst), [1] PSPEqual (class in FAdo.sst), [1] PSPVanila (class in FAdo.sst), [1]

R

readFromFile() (in module FAdo.fio), [1] readOneFromFile() (in module FAdo.fio), [1] readOneFromString() (in module FAdo.fio), [1] RegExp (class in FAdo.reex), [1] RegularExpression (class in FAdo.reex), [1] renameState() (FA method), [1] renameStates() (FA method), [1] renameStatesFromPosition() (NFA method), [1] reorder() (DFA method), [1] (GFA method), [1] (NFA method), [1] rEquivNFA() (NFA method), [1] reStringRGenerator (class in FAdo.cfg), [1] reversal() (FA method), [1] (NFA method), [1] (Power method), [1] (SFT method), [1] (SpecialConstant method), [1]

reverseTransitions() (DFA method), [1] (NFA method), [1] reversibleP() (DFA method), [1] rndAdfa() (ADFArnd method), [1] rndNumberSecondSources() (ADFArnd method), [1] rndTransitionsFromSources() (ADFArnd method), [1] RndWGen (class in FAdo.fl), [1] rpn() (CEmptySet method), [1] (CEpsilon method), [1] (Connective method), [1] (Power method), [1] (RegExp method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant method), [1] rpn2regexp() (in module FAdo.reex), [1] runOnNFA() (SFT method), [1] runOnWord() (SFT method), [1]

S

same_nullability() (FA method), [1] satisfiesP() (CodeProperty method), [1] (ErrCorrectProp method), [1] (IPTProp method), [1] satisfiesPrefixP() (PrefixProp method), [1] saveToFile() (in module FAdo.fio), [1] saveToJson() (in module FAdo.fio), [1] saveToString() (in module FAdo.fa), [1] (in module FAdo.fio), [1] SConcat (class in FAdo.reex), [1] SConj (class in FAdo.reex), [1] SConnective (class in FAdo.reex), [1] SDisj (class in FAdo.reex), [1] SemiDFA (class in FAdo.fa), [1] setDeadState() (AFA method), [1] setFinal() (FA method), [1] setInitial() (FA method), [1] (NFA method), [1] (SFT method), [1] setOfSymbols() (Connective method), [1] (Position method), [1] (Power method), [1] (RegExp static method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant static method), [1] setOutput() (Transducer method), [1] setSigma() (FA method), [1] (FL method), [1] (RegExp method), [1] SetSpec (class in FAdo.sst), [1] SFT (class in FAdo.transducers), [1] Shuffle (in module FAdo.reex), [1] shuffle() (DFA method), [1] (NFA method), [1] sigmaInitialSegment() (in module FAdo.fl), [1] SigmaP (in module FAdo.reex), [1] SigmaS (in module FAdo.reex), [1] simDiff() (DFA method), [1] smallAlphabet() (in module FAdo.cfg), [1] sMonoid() (DFA method), [1] snf() (CEpsilon method), [1] SNot (class in FAdo.reex), [1] sop() (DFA method), [1] SP2regexp() (in module FAdo.conversions), [1] SpecialConstant (class in FAdo.reex), [1] square() (SFT method), [1] square_fv() (SFT method), [1] SSemiGroup (class in FAdo.fa), [1] sSemigroup() (DFA method), [1]

SStar (class in FAdo.reex), [1] star() (DFA method), [1] (NFA method), [1] (SFT method), [1] starConcat() (in module FAdo.comboperations), [1] starDisj() (in module FAdo.comboperations), [1] starHeight() (Connective method), [1] (Power method), [1] (RegExp static method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant static method), [1] starI() (DFA method), [1] starInter() (in module FAdo.comboperations), [1] starInter0() (in module FAdo.comboperations), [1] starWConcat() (in module FAdo.comboperations), [1] stateAlphabet() (FA method), [1] stateChildren() (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] stateIndex() (FA method), [1] stateName() (FA method), [1] statePairEquiv() (ADFA method), [1] str2regexp() (in module FAdo.reex), [1] str2sre() (in module FAdo.reex), [1] stringToADFA() (in module FAdo.fl), [1] stringToDFA() (in module FAdo.fa), [1] stronglyConnectedComponents() (DFA method), [1] (NFA method), [1] subword() (DFA method), [1] (NFA method), [1] succintTransitions() (DFA method), [1] (FA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] (Transducer method), [1] suff() (DFA method), [1] suffixClosedP() (FL method), [1] suffixTransducer() (in module FAdo.transducers), [1] support() (SConcat method), [1] (SConj method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] (SStar method), [1] supportlast() (SpecialConstant method), [1] syncPower() (DFA method), [1] syntacticLength() (SConnective method), [1] (SNot method), [1]

T

tail() (SConcat method), [1] tail_rev() (SConcat method), [1] tailForm() (Power method), [1] (RegExp method), [1] (SConcat method), [1] (SConj method), [1] (SConnective method), [1] (SDisj method), [1] (SNot method), [1] (SpecialConstant method), [1] to_s() (in module FAdo.reex), [1] toADFA() (DFA method), [1] toANFA() (ADFA method), [1] toDFA() (DFA method), [1] (FL method), [1] (NFA method), [1] (RegExp method), [1] toInNFA() (SFT method), [1] toJson() (in module FAdo.fio), [1] toNFA() (ADFA method), [1] (DFA method), [1] (FL method), [1] (NFA method), [1] (NFAr method), [1] (RegExp method), [1]

toNFAr() (NFA method), [1] toNFT() (SFT method), [1] toOutNFA() (SFT method), [1] topoSort() (OFA method), [1] toSFT() (GFT method), [1] (SFT method), [1] TrajProp (class in FAdo.codes), [1] trajToTransducer() (TrajProp static method), [1] Transducer (class in FAdo.transducers), [1] transitions() (DFA method), [1] transitionsA() (DFA method), [1] treeLength() (Connective method), [1] (Power method), [1] (RegExp static method), [1] (SConnective method), [1] (SNot method), [1] (SpecialConstant static method), [1] trieFA() (FL method), [1] trim() (ADFA method), [1] (OFA method), [1] (SFT method), [1] trimP() (OFA method), [1]

U

union() (FA method), [1] (FL method), [1] (SFT method), [1] unionSigma() (RegExp method), [1] uniqueRepr() (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1] universalP() (DFA method), [1] unlinkSoleIncoming() (NFAr method), [1]

unlinkSoleOutgoing() (NFAr method), [1] unmark() (DFA method), [1] (MAtom method), [1] (SpecialConstant method), [1] unmarked() (Position method), [1] (SpecialConstant method), [1] usefulStates() (DFA method), [1] (GFA method), [1] (NFA method), [1] (OFA method), [1]

V

vDescription() (DFA static method), [1] (NFA static method), [1]

vertexIndex() (Graph method), [1]

W

weight() (GFA method), [1] weightWithCycles() (GFA method), [1] witness() (DFA method), [1] (NFA method), [1] witnessDiff() (DFA method), [1] Word (class in FAdo.common), [1]

wordDerivative() (RegExp method), [1] (SpecialConstant method), [1] wordGenerator() (ADFA method), [1] WordI() (SSemiGroup method), [1] wordImage() (NFA method), [1] WordPS() (SSemiGroup method), [1] words() (FA method), [1]