〈a, b | abbbba=babb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/bc
• Auxiliary generator abbb=c

Complete rewriting system

1. bab² ⇒ cba
2. ab³ ⇒ c
3. cbab ⇒ bc
4. c²ba ⇒ bcb
5. ab²cba ⇒ cab²
6. bcb² ⇒ cbc
7. cba²b² ⇒ babcba
8. (cba)² ⇒ bcab²
9. ab(bc)² ⇒ c²b²
10. cbcab² ⇒ b(cb)²a
11. cbacb² ⇒ ba(bc)²
12. cbacbc ⇒ bc²b²
13. cbc²b² ⇒ (bc)³
14. c²b⁴ ⇒ ab²c²bc
15. c²b³ab ⇒ abcbc²
16. c²b²cba ⇒ abcbc²b
17. c²b³a²b² ⇒ a(bc)²abcba
18. c²b³acba ⇒ abcbc²ab²
19. c²b³cab² ⇒ ab(cbc)²ba
20. c²b³acb² ⇒ (a(bc)²)²
21. c²b³acbc ⇒ abcbc³b²
22. c²b³c²b² ⇒ ab(cbc)²bc