\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{example -- trefoil group|hyperpage}{7} \indexentry{trefoil group|hyperpage}{7} \indexentry{PartialDoubleCosetRewritingSystem@\texttt {PartialDoubleCosetRewritingSystem}|hyperpage}{7} \indexentry{WordAcceptorOfPartialDoubleCosetRws@\texttt {WordAcceptorOfPartialDoubleCosetRws}|hyperpage}{7} \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}{11} \indexentry{WordToString@\texttt {WordToString}|hyperpage}{11} \indexentry{DisplayAsString@\texttt {DisplayAsString}|hyperpage}{11} \indexentry{IdentityDoubleCoset@\texttt {IdentityDoubleCoset}|hyperpage}{12} \indexentry{DoubleCosetsAutomaton@\texttt {DoubleCosetsAutomaton}|hyperpage}{13} \indexentry{RightCosetsAutomaton@\texttt {RightCosetsAutomaton}|hyperpage}{13}