〈a, b | abaab=aaba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. (cb)² ⇒ c²
2. cb²cb ⇒ cbc
3. abcb ⇒ ac
4. cba ⇒ ac
5. c³b ⇒ cbc²
6. cbc²b ⇒ cb²c²
7. ac²b ⇒ abc²
8. c²a ⇒ ac²
9. cbca ⇒ cb²ac
10. aca ⇒ abac
11. cb²a² ⇒ a²bc
12. caba ⇒ abacb
13. aba² ⇒ c
14. a²ba ⇒ cb