〈a, b | abbaab=abaa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cacb ⇒ cbac
2. cbacb ⇒ cb²ac
3. abacb ⇒ ab²ac
4. ca² ⇒ ab²ac
5. cba² ⇒ abac
6. cb²a²b ⇒ abac
7. aba² ⇒ c
8. ab²a²b ⇒ c