〈a, b | abba=abab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ac/b
• Auxiliary generator abbab=c

Complete rewriting system

1. c²a ⇒ cac
2. cba ⇒ abc
3. cbca ⇒ abc²
4. cab ⇒ abc
5. c²b ⇒ cbc
6. ca²b ⇒ abca
7. cacb ⇒ abc²
8. ab²ca ⇒ ab²ac
9. (ab)² ⇒ ab²a
10. abcb ⇒ ab²c
11. ab²ab ⇒ c
12. ab²a²b ⇒ ca
13. ab²acb ⇒ c²