\indexentry{Parstacks@\texttt  {Parstacks}|hyperpage}{7}
\indexentry{Seqstacks@\texttt  {Seqstacks}|hyperpage}{8}
\indexentry{BufferAndStack@\texttt  {BufferAndStack}|hyperpage}{9}
\indexentry{RankEncoding@\texttt  {RankEncoding}|hyperpage}{11}
\indexentry{RankDecoding@\texttt  {RankDecoding}|hyperpage}{11}
\indexentry{SequencesToRatExp@\texttt  {SequencesToRatExp}|hyperpage}{11}
\indexentry{GraphToAut@\texttt  {GraphToAut}|hyperpage}{12}
\indexentry{ConstrainedGraphToAut@\texttt  {ConstrainedGraphToAut}|hyperpage}{16}
\indexentry{IsStarClosed@\texttt  {IsStarClosed}|hyperpage}{20}
\indexentry{Is2StarReplaceable@\texttt  {Is2StarReplaceable}|hyperpage}{20}
\indexentry{IsStratified@\texttt  {IsStratified}|hyperpage}{21}
\indexentry{IsPossibleGraphAut@\texttt  {IsPossibleGraphAut}|hyperpage}{21}
\indexentry{Transducer@\texttt  {Transducer}|hyperpage}{23}
\indexentry{DeletionTransducer@\texttt  {DeletionTransducer}|hyperpage}{24}
\indexentry{TransposedTransducer@\texttt  {TransposedTransducer}|hyperpage}{25}
\indexentry{InvolvementTransducer@\texttt  {InvolvementTransducer}|hyperpage}{25}
\indexentry{CombineAutTransducer@\texttt  {CombineAutTransducer}|hyperpage}{26}
\indexentry{BasisAutomaton@\texttt  {BasisAutomaton}|hyperpage}{27}
\indexentry{ClassAutomaton@\texttt  {ClassAutomaton}|hyperpage}{27}
\indexentry{BoundedClassAutomaton@\texttt  {BoundedClassAutomaton}|hyperpage}{28}
\indexentry{ClassAutFromBaseEncoding@\texttt  {ClassAutFromBaseEncoding}|hyperpage}{28}
\indexentry{ClassAutFromBase@\texttt  {ClassAutFromBase}|hyperpage}{29}
\indexentry{ExpandAlphabet@\texttt  {ExpandAlphabet}|hyperpage}{29}
\indexentry{ClassDirectSum@\texttt  {ClassDirectSum}|hyperpage}{30}
\indexentry{Spectrum@\texttt  {Spectrum}|hyperpage}{31}
\indexentry{NumberAcceptedWords@\texttt  {NumberAcceptedWords}|hyperpage}{31}
\indexentry{AutStateTransitionMatrix@\texttt  {AutStateTransitionMatrix}|hyperpage}{32}
\indexentry{AcceptedWords@\texttt  {AcceptedWords}|hyperpage}{32}
\indexentry{AcceptedWordsR@\texttt  {AcceptedWordsR}|hyperpage}{32}
\indexentry{AcceptedWordsReversed@\texttt  {AcceptedWordsReversed}|hyperpage}{32}
\indexentry{PermComplement@\texttt  {PermComplement}|hyperpage}{33}
\indexentry{IsRankEncoding@\texttt  {IsRankEncoding}|hyperpage}{33}
\indexentry{IsInterval@\texttt  {IsInterval}|hyperpage}{34}
\indexentry{IsSimplePerm@\texttt  {IsSimplePerm}|hyperpage}{35}
\indexentry{OnePointDelete@\texttt  {OnePointDelete}|hyperpage}{35}
\indexentry{TwoPointDelete@\texttt  {TwoPointDelete}|hyperpage}{35}
\indexentry{PointDeletion@\texttt  {PointDeletion}|hyperpage}{36}
\indexentry{Inflation@\texttt  {Inflation}|hyperpage}{36}
\indexentry{BlockDecomposition@\texttt  {BlockDecomposition}|hyperpage}{37}
\indexentry{IsPlusDecomposable@\texttt  {IsPlusDecomposable}|hyperpage}{37}
\indexentry{IsMinusDecomposable@\texttt  {IsMinusDecomposable}|hyperpage}{38}
\indexentry{PermDirectSum@\texttt  {PermDirectSum}|hyperpage}{38}
\indexentry{PermSkewSum@\texttt  {PermSkewSum}|hyperpage}{39}
\indexentry{InversionAut@\texttt  {InversionAut}|hyperpage}{40}
\indexentry{InversionAutOfClass@\texttt  {InversionAutOfClass}|hyperpage}{40}
\indexentry{PlusDecomposableAut@\texttt  {PlusDecomposableAut}|hyperpage}{41}
\indexentry{PlusIndecomposableAut@\texttt  {PlusIndecomposableAut}|hyperpage}{41}
\indexentry{MinusDecomposableAut@\texttt  {MinusDecomposableAut}|hyperpage}{42}
\indexentry{MinusIndecomposableAut@\texttt  {MinusIndecomposableAut}|hyperpage}{42}
\indexentry{LengthBoundAut@\texttt  {LengthBoundAut}|hyperpage}{43}
\indexentry{ShiftAut@\texttt  {ShiftAut}|hyperpage}{43}
\indexentry{NextGap@\texttt  {NextGap}|hyperpage}{44}
\indexentry{GapAut@\texttt  {GapAut}|hyperpage}{44}
\indexentry{SumAut@\texttt  {SumAut}|hyperpage}{45}
\indexentry{GapSumAut@\texttt  {GapSumAut}|hyperpage}{45}
\indexentry{NonSimpleAut@\texttt  {NonSimpleAut}|hyperpage}{46}
\indexentry{SimplePermAut@\texttt  {SimplePermAut}|hyperpage}{46}
\indexentry{IsExceptionalPerm@\texttt  {IsExceptionalPerm}|hyperpage}{47}
\indexentry{ExceptionalBoundedAutomaton@\texttt  {ExceptionalBoundedAutomaton}|hyperpage}{47}
\indexentry{LoopFreeAut@\texttt  {LoopFreeAut}|hyperpage}{48}
\indexentry{LoopVertexFreeAut@\texttt  {LoopVertexFreeAut}|hyperpage}{49}
