  
  
  [1XIndex[101X
  
  [2XDCrules[102X 2.4-2 
  [2XDisplayAsString[102X 2.2-2 
  [2XDisplayRwsRules[102X 2.1-1 
  [2XDoubleCosetRewritingSystem[102X 2.2-1 
  [2XDoubleCosetsAutomaton[102X 3.2-1 
  example -- free product 2.2 
  example -- infinite rws 2.4 
  example -- trefoil group 2.3 
  [2XHKrules[102X 2.4-2 
  [2XHrules[102X 2.4-2 
  [2XIdentityDoubleCoset[102X 2.4-3 
  [2XIsDoubleCosetRewritingSystem[102X 2.2-1 
  [2XIsWordAcceptorOfDoubleCosetRws[102X 2.2-3 
  [2XKBMagFSAtoAutomataDFA[102X 2.4-1 
  [2XKBMagRewritingSystem[102X 2.4-1 
  [2XKBMagWordAcceptor[102X 2.4-1 
  [2XKnuthBendixRewritingSystem[102X 2.1-1 
  [2XKrules[102X 2.4-2 
  [2XNextWord[102X 2.1-2 
  [2XNextWords[102X 2.1-2 
  [2XPartialDoubleCosetRewritingSystem[102X 2.3-1 
  [2XReducedConfluentRewritingSystem[102X 2.1-1 
  ReducedForm 2.1-1 
  [2XRightCosetsAutomaton[102X 3.2-1 
  trefoil group 2.3 
  [2XWordAcceptorByKBMag[102X 2.4-1 
  [2XWordAcceptorByKBMagOfDoubleCosetRws[102X 2.4-1 
  [2XWordAcceptorOfDoubleCosetRws[102X 2.2-3 
  [2XWordAcceptorOfPartialDoubleCosetRws[102X 2.3-1 
  [2XWordAcceptorOfReducedRws[102X 2.2-3 
  [2XWordToString[102X 2.4-3 
  
  
  -------------------------------------------------------
