〈a, b | abaab=abba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. cba ⇒ abac
2. ca²b ⇒ abac
3. aba²b ⇒ ab²a
4. cb²a ⇒ abacab
5. cab²a ⇒ ab²c
6. ab(ba)² ⇒ c
7. ab²a³b ⇒ c
8. cab³a ⇒ ab²cab
9. a(b²a)² ⇒ cab