〈a, b | ababaab=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right b/ca
• Auxiliary generator abaa=c

Complete rewriting system

1. cab ⇒ (cb)²
2. a²b ⇒ abcb
3. cac ⇒ cbc²
4. a²c ⇒ abc²
5. abac ⇒ cba²
6. (ab)²cb ⇒ cb
7. aba² ⇒ c
8. (cb)²acb ⇒ c²babcb
9. (cb)²abcb ⇒ c²b
10. c²ba² ⇒ (cb)²ac
11. (cb)²a² ⇒ c²
12. abcbacb ⇒ acbabcb
13. (abcb)² ⇒ acb
14. acba² ⇒ abcbac
15. abcba² ⇒ ac
16. (ab)²c² ⇒ c²
17. (cb)²ac² ⇒ c²babc²
18. (cb)²abc² ⇒ c³
19. abcbac² ⇒ acbabc²
20. abcbabc² ⇒ ac²