〈a, b | abaab=aabba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cbd/a
• Auxiliary generator abba=c
• Auxiliary generator baa=d

Complete rewriting system

1. cdb ⇒ c²
2. d²b ⇒ dc
3. adb ⇒ ac
4. ca ⇒ abd
5. c²ba ⇒ cbac
6. c²da ⇒ cbad²
7. cb²a ⇒ ab²c
8. dcba ⇒ dbac
9. dcda ⇒ dbad²
10. db²a ⇒ bac
11. dbda ⇒ bad²
12. acba ⇒ abac
13. acda ⇒ abad²
14. ab²a ⇒ c
15. ba² ⇒ d
16. dabda ⇒ d³
17. a²bda ⇒ ad²