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