Index

AcceptedWords 6.4-4
AcceptedWordsR 6.4-5
AcceptedWordsReversed 6.4-5
AutStateTransitionMatrix 6.4-3
BasisAutomaton 6.2-1
BlockDecomposition 8.4-2
BoundedClassAutomaton 6.2-3
BufferAndStack 2.1-3
ClassAutFromBase 6.2-5
ClassAutFromBaseEncoding 6.2-4
ClassAutomaton 6.2-2
ClassDirectSum 6.3-1
CombineAutTransducer 6.1-5
ConstrainedGraphToAut 4.1-2
DeletionTransducer 6.1-2
ExceptionalBoundedAutomaton 9.5-2
ExpandAlphabet 6.2-6
GapAut 9.3-4
GapSumAut 9.3-6
GraphToAut 4.1-1
InbetweenPermAutomaton 10.1-1
InbetweenPermSet 10.1-2
Inflation 8.4-1
InversionAut 9.1-1
InversionAutOfClass 9.1-2
InvolvementTransducer 6.1-4
Is2StarReplaceable 5.1-2
IsExceptionalPerm 9.5-1
IsInterval 8.1-1
IsMinusDecomposable 8.6-1
IsPlusDecomposable 8.5-1
IsPossibleGraphAut 5.1-4
IsRankEncoding 7.2-1
IsSimplePerm 8.2-1
IsStarClosed 5.1-1
IsStratified 5.1-3
IsSubPerm 10.1-3
LengthBoundAut 9.3-1
LoopFreeAut 10.2-1
LoopVertexFreeAut 10.2-2
MinusDecomposableAut 9.2-3
MinusIndecomposableAut 9.2-4
NextGap 9.3-3
NonSimpleAut 9.3-7
NumberAcceptedWords 6.4-2
OnePointDelete 8.3-1
Parstacks 2.1-1
PermComplement 7.1-1
PermDirectSum 8.7-1
PermSkewSum 8.7-2
PlusDecomposableAut 9.2-1
PlusIndecomposableAut 9.2-2
PointDeletion 8.3-3
RankDecoding 3.1-2
RankEncoding 3.1-1
Seqstacks 2.1-2
SequencesToRatExp 3.1-3
ShiftAut 9.3-2
SimplePermAut 9.4-1
Spectrum 6.4-1
SumAut 9.3-5
Transducer 6.1-1
TransposedTransducer 6.1-3
TwoPointDelete 8.3-2