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