Back

〈a, b | aabbaa=aaab〉

Monoid presentation of length 10

Properties

Completion parameters

Complete rewriting system

  1. cba2 ⇒ ac
  2. acab ⇒ cbc
  3. a3b ⇒ c
  4. cb2a2 ⇒ cab
  5. c(ab)2 ⇒ cb2c
  6. acb2c ⇒ cbcab
  7. aca2b ⇒ cbac
  8. a2b2c ⇒ cab
  9. cbacbc ⇒ ac2ab
  10. cab3c ⇒ cb2cab
  11. cab2a2 ⇒ ca2b
  12. caba2b ⇒ cb2ac
  13. ca(ab)2 ⇒ cab2c
  14. acb2ac ⇒ cbca2b
  15. a2b2ac ⇒ ca2b
  16. a2b2a2 ⇒ c
  17. cb2acbc ⇒ (cab)2
  18. c(bac)2 ⇒ ac2a2b
  19. cab3ac ⇒ cb2ca2b
  20. cab3a2 ⇒ cb2c
  21. ca2b3c ⇒ cab2cab
  22. c(a2b)2 ⇒ cab2ac
  23. cb(bac)2 ⇒ cabca2b
  24. cab2acbc ⇒ ca2bcab
  25. ca2b3ac ⇒ cab2ca2b
  26. ca2b3a2 ⇒ cab2c
  27. cab(bac)2 ⇒ (ca2b)2