Index

A | B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | U | V | W | X

A

acyclicP() (fa.OFA method)
add() (fa.SSemiGroup method)
addEdge() (graphs.DiGraph method)
(graphs.Graph method)
addEpsilonLoops() (fa.NFA method)
(transducers.SFT method)
addFinal() (fa.FA method)
addGen() (fa.SSemiGroup method)
addInitial() (fa.NFA method)
addOutput() (transducers.SFT method)
addSigma() (fa.FA method)
addState() (fa.FA method)
(fl.AFA method)
addTransition() (fa.DFA method)
(fa.GFA method)
(fa.NFA method)
(fa.NFAr method)
(fa.OFA method)
(transducers.SFT method)
addTransitionQ() (fa.NFA method)
(transducers.SFT method)
addVertex() (graphs.Graph method)
addWords() (fl.FL method)
ADFA (class in fl)
aEquiv() (fa.DFA method)
AFA (class in fl)
allRegExps() (fa.OFA method)
alphabeticLength() (reex.regexp method)
(reex.specialConstant method)
ANFA (class in fl)
assignLow() (fa.GFA method)
assignNum() (fa.GFA method)
autobisimulation() (fa.NFA method)
autobisimulation2() (fa.NFA method)

B

buildErrorCorrectPropF() (in module codes)
buildErrorCorrectPropS() (in module codes)
buildErrorDetectPropF() (in module codes)
buildErrorDetectPropS() (in module codes)
buildIATPropF() (in module codes)
buildIATPropS() (in module codes)
buildIPTPropF() (in module codes)
buildIPTPropS() (in module codes)
buildPrefixProperty() (in module codes)
buildTrajPropS() (in module codes), [1]

C

cfg (module)
cfgGenerator (class in cfg)
CFGrammar (class in cfg)
Chomsky() (cfg.CNF method)
closeEpsilon() (fa.NFA method)
CNF (class in cfg)
CodeProperty (class in codes)
codes (module)
comboperations (module)
common (module)
compare() (reex.regexp method)
(xre.xre method)
compareMinimalDFA() (reex.regexp method)
compat() (fa.DFA method)
complete() (fa.OFA method)
(fl.ADFA method)
completeDelta() (fa.GFA method)
completeMinimal() (fa.DFA method)
completeP() (fa.OFA method)
completeProduct() (fa.DFA method)
composition() (transducers.SFT method)
computeKernel() (fa.DFA method)
concat (class in reex)
concat() (fa.DFA method)
(fa.NFA method)
(transducers.SFT method)
concatenation() (xre.xre method)
concatI() (fa.DFA method)
concatWStar() (in module comboperations)
conjunction() (fa.FA method)
connective (class in reex)
countTransitions() (fa.FA method)
(fa.NFA method)
createInputAlteringSIDTrans() (in module codes)
cutPoints() (fa.OFA method)

D

DCFA (class in fl)
deleteState() (fa.FA method)
(fa.GFA method)
(transducers.SFT method)
deleteStates() (fa.DFA method)
(fa.NFA method)
(fa.NFAr method)
(fa.OFA method)
(transducers.SFT method)
delFinal() (fa.FA method)
delFinals() (fa.FA method)
Delta() (fa.DFA method)
delTransition() (fa.DFA method)
(fa.NFA method)
(fa.NFAr method)
(transducers.SFT method)
derivative() (reex.regexp method)
(reex.specialConstant method)
(xre.xre method)
deterministicP() (fa.NFA method)
DFA (class in fa)
dfaDerivatives() (xre.xre method)
dfaPosition() (reex.regexp method)
DFAtoADFA() (in module fl)
DFS() (fa.GFA method)
dfs() (xre.xre method)
dfs_visit() (fa.GFA method)
diff() (fl.FL method)
DiGraph (class in graphs)
DiGraphVm (class in graphs)
directRank() (fl.AFA method)
disj (class in reex)
disj() (fa.FA method)
disjunction() (fa.FA method)
disjWStar() (in module comboperations)
dist() (fa.DFA method)
distMin() (fa.DFA method)
distR() (fa.DFA method)
distRMin() (fa.DFA method)
distTS() (fa.DFA method)
do() (grail.Grail method)
dotDrawEdge() (graphs.DiGraph static method)
dotDrawState() (fa.FA method)
(fa.SemiDFA method)
dotDrawTransition() (fa.FA method)
(fa.OFA static method)
(fa.SemiDFA static method)
dotDrawVertex() (graphs.DiGraph method)
dotFormat() (fa.FA method)
(fa.NFA method)
(fa.SemiDFA method)
(graphs.DiGraph method)
dump() (fa.OFA method)
dup() (fa.DFA method)
(fa.GFA method)
(fa.NFA method)
(fa.OFA method)
(fl.ADFA method)
(transducers.SFT method)

E

editDistanceW() (in module codes)
elim_unitary() (cfg.CNF method)
elimEpsilon() (fa.NFA method)
elimEpsilonO() (fa.NFAr method)
eliminate() (fa.GFA method)
eliminateAll() (fa.GFA method)
eliminateDeadName() (fa.FA method)
eliminateEpsilonTransitions() (fa.NFA method)
eliminateSingles() (fa.OFA method)
eliminateState() (fa.GFA method)
eliminateStout() (fa.OFA method)
eliminateTSymbol() (fa.NFA method)
emptyP() (fa.OFA method)
(reex.emptyset method)
(reex.regexp method)
(transducers.SFT method)
emptyset (class in reex)
ensureDead() (fl.AFA method)
enum() (fa.EnumL method)
enumCrossSection() (fa.EnumL method)
enumDFA() (fa.DFA method)
EnumL (class in fa)
enumNFA() (fa.NFA method)
epsilon (class in reex)
epsilonClosure() (fa.NFA method)
epsilonLength() (reex.emptyset method)
(reex.epsilon method)
(reex.regexp method)
epsilonOutP() (transducers.SFT method)
epsilonP() (fa.NFA method)
(reex.emptyset method)
(reex.epsilon method)
(reex.regexp method)
(transducers.SFT method)
epsilonPaths() (fa.NFA method)
equal() (fa.DFA method)
equivalentP() (fa.FA method)
(reex.regexp method)
equivP() (xre.xre method)
equivReduced() (fa.NFA method)
ErrCorrectProp (class in codes)
ErrDetectProp (in module codes)
evalNumberOfStateCycles() (fa.OFA method)
evalRank() (fl.AFA method)
evalSymbol() (fa.DFA method)
(fa.FA method)
(fa.NFA method)
(fa.OFA method)
evalSymbolI() (fa.DFA method)
evalSymbolL() (fa.DFA method)
evalSymbolLI() (fa.DFA method)
evalWordP() (fa.DFA method)
(fa.NFA method)
(reex.regexp method)
(transducers.SFT method)
ewp() (reex.emptyset method)
(reex.epsilon method)
(reex.regexp method)
exponentialDensityP() (in module codes)
exportToGrail() (in module grail)

F

FA (class in fa)
fa (module)
FAFromGrail() (in module grail)
FAToGrail() (in module grail)
fillStack() (fa.EnumL method)
filter() (fl.FL method)
finalCompP() (fa.DFA method)
(fa.NFA method)
(fa.OFA method)
finalP() (fa.FA method)
finalsP() (fa.FA method)
fio (module)
first() (reex.regexp method)
(reex.specialConstant method)
FL (class in fl)
fl (module)
followLists() (reex.regexp method)
(reex.specialConstant method)
followListsD() (reex.regexp method)
(reex.specialConstant method)
followListsStar() (reex.regexp method)
(reex.specialConstant method)
forceToDCFA() (fl.ADFA method)
functionalP() (transducers.SFT method)

G

generate() (cfg.cfgGenerator method)
(cfg.reStringRGenerator method)
genRandomTrie() (in module fl)
genRndTrieBalanced() (in module fl)
genRndTriePrefix() (in module fl)
genRndTrieUnbalanced() (in module fl)
getLeaves() (fl.AFA method)
GFA (class in fa)
Grail (class in grail)
grail (module)
Graph (class in graphs)
graphs (module)
gRules() (in module cfg)

H

half() (fa.NFA method)
hasStateIndexP() (fa.FA method)
hasTransitionP() (fa.NFA method)
hasTrapStateP() (fa.DFA method)
homogenousP() (fa.NFA method)
(fa.NFAr method)
hyperMinimal() (fa.DFA method)

I

IATProp (class in codes)
ICDFArgen (class in rndfa)
ICDFArnd (class in rndfa)
ICDFArndIncomplete (class in rndfa)
iCompleteP() (fa.EnumL method)
importFromGrailFile() (in module grail)
inDegree() (fa.DFA method)
indexList() (fa.FA method)
infix() (fa.DFA method)
inIntersection() (transducers.SFT method)
initialComp() (fa.DFA method)
(fa.NFA method)
(fa.OFA method)
initialP() (fa.DFA method)
(fa.FA method)
initialSet() (fa.DFA method)
(fa.FA method)
initStack() (fa.EnumL method)
inputS() (fa.FA method)
intersection() (fl.FL method)
(xre.xre method)
interWStar() (in module comboperations)
inverse() (graphs.DiGraph method)
(transducers.SFT method)
IPTProp (class in codes)

J

joinStates() (fa.DFA method)

L

last() (reex.regexp method)
(reex.specialConstant method)
length (fl.DCFA attribute)
lEquivNFA() (fa.NFA method)
level() (fl.ADFA method)
linearForm() (reex.regexp method)
(reex.specialConstant method)
(xre.xre method)
linearP() (reex.regexp method)
lrEquivNFA() (fa.NFA method)

M

makenonterminals() (cfg.CFGrammar method)
maketerminals() (cfg.CFGrammar method)
marked() (reex.regexp method)
markNonEquivalent() (fa.DFA method)
markVertex() (graphs.DiGraphVm method)
maximalP() (codes.IPTProp method)
measure() (reex.emptyset method)
(reex.epsilon method)
(reex.regexp method)
mergeInitial() (fl.ANFA method)
mergeLeaves() (fl.ANFA method)
mergeStates() (fa.DFA method)
(fa.NFAr method)
(fl.ANFA method)
mergeStatesSet() (fa.NFAr method)
minDFCA() (fl.ADFA method)
minimal() (fa.DFA method)
(fa.NFA method)
(fl.ADFA method)
minimalBrzozowski() (fa.OFA method)
minimalBrzozowskiP() (fa.OFA method)
minimalDFA() (fa.NFA method)
minimalHKP() (fa.DFA method)
minimalHopcroft() (fa.DFA method)
minimalHopcroftP() (fa.DFA method)
minimalIncremental() (fa.DFA method)
minimalIncrementalP() (fa.DFA method)
minimalMoore() (fa.DFA method)
minimalMooreSq() (fa.DFA method)
minimalMooreSqP() (fa.DFA method)
minimalNCompleteP() (fa.DFA method)
minimalNotEquivP() (fa.DFA method)
minimalP() (fa.DFA method)
(fl.ADFA method)
minimalWatson() (fa.DFA method)
minimalWatsonP() (fa.DFA method)
minWord() (fa.EnumL method)
minWordT() (fa.EnumL method)
moveFinal() (fl.ANFA method)
multiLineAutomaton() (fl.FL method)

N

next() (fl.RndWGen method)
(rndfa.ICDFArgen method)
nextWord() (fa.EnumL method)
NFA (class in fa)
nfaFollow() (reex.regexp method)
nfaFollowEpsilon() (reex.regexp method)
nfaGlushkov() (reex.regexp method)
nfaNaiveFollow() (reex.regexp method)
nfaPD() (reex.regexp method)
(xre.xre method)
nfaPDO() (reex.regexp method)
nfaPosition() (reex.regexp method)
nfaPSNF() (reex.regexp method)
NFAr (class in fa)
nfaThompson() (reex.disj method)
(reex.epsilon method)
(reex.regexp method)
(reex.star method)
noBlankNames() (fa.FA method)
nonEmptyW() (transducers.SFT method)
nonFunctionalW() (transducers.SFT method)
normalize() (fa.GFA method)
notequal() (fa.DFA method)
notMaximalW() (codes.ErrCorrectProp method)
(codes.IPTProp method)
notSatisfiesW() (codes.ErrCorrectProp method)
(codes.IATProp method)
(codes.IPTProp method)
NULLABLE() (cfg.CFGrammar method)

O

OFA (class in fa)
ordered() (fl.AFA method)
outIntersection() (transducers.SFT method)
outIntersectionDerived() (transducers.SFT method)
outputS() (transducers.SFT method)

P

pairGraph() (fa.DFA method)
ParseReg (class in reex)
ParserFAdo (class in fio)
ParserGrail (class in grail)
ParserVerso (class in verso)
partialDerivativeC() (xre.xre method)
partialDerivatives() (reex.epsilon method)
(reex.regexp method)
PD() (reex.regexp method)
(xre.xre method)
plus() (fa.FA method)
position (class in reex)
pref() (fa.DFA method)
PrefixProp (class in codes)
print_data() (fa.DFA method)
product() (fa.DFA method)
(fa.NFA method)
productInput() (transducers.SFT method)

R

re_stateElimination() (fa.OFA method)
re_stateElimination_nn() (fa.OFA method)
readFromFile() (in module fio)
reCG() (fa.OFA method)
reCG_nn() (fa.OFA method)
reduced() (reex.regexp method)
reDynamicCycleHeuristic() (fa.OFA method)
reex (module)
regexp (class in reex)
regexp() (fa.DFA method)
regexpSE() (fa.OFA method)
renameState() (fa.FA method)
renameStates() (fa.FA method)
reorder() (fa.DFA method)
(fa.GFA method)
(fa.NFA method)
rEquivNFA() (fa.NFA method)
reStaticCycleHeuristic() (fa.OFA method)
reStringRGenerator (class in cfg)
reunion() (fl.FL method)
reversal() (fa.FA method)
(fa.NFA method)
(reex.concat method)
(reex.disj method)
(reex.regexp method)
(reex.specialConstant method)
(reex.star method)
(transducers.SFT method)
reverseTransitions() (fa.DFA method)
(fa.NFA method)
rndfa (module)
RndWGen (class in fl)
rpn() (reex.emptyset method)
(reex.epsilon method)
(reex.regexp method)
rpn2regexp() (in module reex)
runOnNFA() (transducers.SFT method)
runOnWord() (transducers.SFT method)

S

same_nullability() (fa.FA method)
satisfiesP() (codes.ErrCorrectProp method)
(codes.IPTProp method)
satisfiesPrefixP() (codes.PrefixProp method)
saveToFile() (in module fio)
saveToString() (in module fa)
SemiDFA (class in fa)
setDeadState() (fl.AFA method)
setExecPath() (grail.Grail method)
setFinal() (fa.FA method)
setInitial() (fa.FA method)
(fa.NFA method)
(transducers.SFT method)
setOfSymbols() (reex.regexp method)
(reex.specialConstant method)
setOutput() (transducers.Transducer method)
setSigma() (fa.FA method)
(fl.FL method)
(reex.regexp method)
SFT (class in transducers)
shuffle() (fa.DFA method)
(fa.NFA method)
sigmaInitialSegment() (in module fl)
simDiff() (fa.DFA method)
smallAlphabet() (in module cfg)
sMonoid() (fa.DFA method)
snf() (reex.epsilon method)
(reex.regexp method)
sop() (fa.DFA method)
specialConstant (class in reex)
SPRegExp() (fa.OFA method)
square() (transducers.SFT method)
square_fv() (transducers.SFT method)
SSemiGroup (class in fa)
sSemigroup() (fa.DFA method)
star (class in reex)
star() (fa.DFA method)
(fa.NFA method)
(transducers.SFT method)
starConcat() (in module comboperations)
starDisj() (in module comboperations)
starHeight() (reex.regexp method)
starI() (fa.DFA method)
starInter() (in module comboperations)
starInter0() (in module comboperations)
starWConcat() (in module comboperations)
stateChildren() (fa.DFA method)
(fa.GFA method)
(fa.NFA method)
(fa.OFA method)
stateIndex() (fa.FA method)
stateName() (fa.FA method)
str2regexp() (in module reex)
stringLength() (reex.regexp method)
stringToADFA() (in module fl)
stringToDFA() (in module fa)
stronglyConnectedComponents() (fa.NFA method)
subword() (fa.DFA method)
(fa.NFA method)
succintTransitions() (fa.DFA method)
(fa.FA method)
(fa.NFA method)
(fa.OFA method)
(transducers.Transducer method)
suff() (fa.DFA method)
suffixClosedP() (fl.FL method)
support() (reex.regexp method)
(reex.specialConstant method)
(xre.xre method)
syncPower() (fa.DFA method)
syncWords() (fa.DFA method)

T

to_x() (in module xre)
toADFA() (fa.DFA method)
toANFA() (fl.ADFA method)
toDFA() (fa.DFA method)
(fa.NFA method)
(fl.FL method)
(reex.regexp method)
(xre.xre method)
toGFA() (fa.DFA method)
(fa.NFA method)
(fa.OFA method)
toInNFA() (transducers.SFT method)
toNFA() (fa.DFA method)
(fa.NFA method)
(fa.NFAr method)
(fl.ADFA method)
(fl.FL method)
(reex.regexp method)
(xre.xre method)
toNFAr() (fa.NFA method)
toNFT() (transducers.SFT method)
toOutNFA() (transducers.SFT method)
topoSort() (fa.OFA method)
toSFT() (transducers.SFT method)
TrajProp (class in codes)
trajToTransducer() (codes.TrajProp static method)
Transducer (class in transducers)
transducers (module)
treeLength() (reex.regexp method)
trieFA() (fl.FL method)
trim() (fa.OFA method)
(fl.ADFA method)
(transducers.SFT method)
trimP() (fa.OFA method)

U

union() (fa.FA method)
(transducers.SFT method)
unionSigma() (xre.xre method)
uniqueRepr() (fa.DFA method)
(fa.NFA method)
(fa.OFA method)
unlinkSoleIncoming() (fa.NFAr method)
unlinkSoleOutgoing() (fa.NFAr method)
unmark() (fa.DFA method)
unmarked() (reex.regexp method)
(reex.specialConstant method)
usefulStates() (fa.DFA method)
(fa.NFA method)
(fa.OFA method)

V

vDescription() (fa.DFA static method)
(fa.NFA static method)
verso (module)
vertexIndex() (graphs.Graph method)

W

weight() (fa.GFA method)
weightWithCycles() (fa.GFA method)
witness() (fa.DFA method)
(fa.NFA method)
witnessDiff() (fa.DFA method)
Word (class in common)
wordDerivative() (reex.regexp method)
(reex.specialConstant method)
wordGenerator() (fl.ADFA method)
WordI() (fa.SSemiGroup method)
wordImage() (fa.NFA method)
WordPS() (fa.SSemiGroup method)
words() (fa.FA method)

X

xre (class in xre)
(module)