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 
  
  
  -------------------------------------------------------