\indexentry{KnuthBendixRewritingSystem@\texttt  {KnuthBendixRewritingSystem}|hyperpage}{5}
\indexentry{ReducedConfluentRewritingSystem@\texttt  {ReducedConfluentRewritingSystem}|hyperpage}{5}
\indexentry{DisplayRwsRules@\texttt  {DisplayRwsRules}|hyperpage}{5}
\indexentry{example -- free product|hyperpage}{6}
\indexentry{DoubleCosetRewritingSystem@\texttt  {DoubleCosetRewritingSystem}|hyperpage}{6}
\indexentry{IsDoubleCosetRewritingSystem@\texttt  {IsDoubleCosetRewritingSystem}|hyperpage}{6}
\indexentry{WordAcceptorOfReducedRws@\texttt  {WordAcceptorOfReducedRws}|hyperpage}{7}
\indexentry{WordAcceptorOfDoubleCosetRws@\texttt  {WordAcceptorOfDoubleCosetRws}|hyperpage}{7}
\indexentry{IsWordAcceptorOfDoubleCosetRws@\texttt  {IsWordAcceptorOfDoubleCosetRws}|hyperpage}{7}
\indexentry{SFAtoRatExp@\texttt  {SFAtoRatExp}|hyperpage}{7}
\indexentry{example -- trefoil group|hyperpage}{8}
\indexentry{trefoil group|hyperpage}{8}
\indexentry{PartialDoubleCosetRewritingSystem@\texttt  {PartialDoubleCosetRewritingSystem}|hyperpage}{8}
\indexentry{WordAcceptorOfPartialDoubleCosetRws@\texttt  {WordAcceptorOfPartialDoubleCosetRws}|hyperpage}{8}
\indexentry{example -- infinite rws|hyperpage}{9}
\indexentry{KBMagRewritingSystem@\texttt  {KBMagRewritingSystem}|hyperpage}{9}
\indexentry{KBMagWordAcceptor@\texttt  {KBMagWordAcceptor}|hyperpage}{9}
\indexentry{KBMagFSAtoAutomataDFA@\texttt  {KBMagFSAtoAutomataDFA}|hyperpage}{9}
\indexentry{WordAcceptorByKBMag@\texttt  {WordAcceptorByKBMag}|hyperpage}{9}
\indexentry{WordAcceptorByKBMagOfDoubleCosetRws@\texttt  {WordAcceptorByKBMagOfDoubleCosetRws}|hyperpage}{9}
\indexentry{DCrules@\texttt  {DCrules}|hyperpage}{10}
\indexentry{Hrules@\texttt  {Hrules}|hyperpage}{10}
\indexentry{Krules@\texttt  {Krules}|hyperpage}{10}
\indexentry{HKrules@\texttt  {HKrules}|hyperpage}{10}
\indexentry{NextWord@\texttt  {NextWord}|hyperpage}{12}
\indexentry{WordToString@\texttt  {WordToString}|hyperpage}{12}
\indexentry{DisplayAsString@\texttt  {DisplayAsString}|hyperpage}{12}
\indexentry{IdentityDoubleCoset@\texttt  {IdentityDoubleCoset}|hyperpage}{12}
\indexentry{DoubleCosetsAutomaton@\texttt  {DoubleCosetsAutomaton}|hyperpage}{13}
\indexentry{RightCosetsAutomaton@\texttt  {RightCosetsAutomaton}|hyperpage}{13}
