  
  
  [1XIndex[101X
  
  [2XDCrules[102X  2.4-2
  [2XDisplayAsString[102X  2.4-3
  [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-2
  [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
  License  .-2
  [2XNextWord[102X  2.4-3
  [2XPartialDoubleCosetRewritingSystem[102X  2.3-1
  [2XReducedConfluentRewritingSystem[102X  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-2
  [2XWordAcceptorOfPartialDoubleCosetRws[102X  2.3-1
  [2XWordAcceptorOfReducedRws[102X  2.2-2
  [2XWordToString[102X  2.4-3
  
  
  -------------------------------------------------------
