〈a, b | aabbaab=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right db/c/a
• Auxiliary generator aa=c
• Auxiliary generator cbb=d

Complete rewriting system

1. d²b ⇒ bd
2. cb² ⇒ d
3. dc ⇒ cd⁴
4. bc ⇒ cbd²
5. d⁴a ⇒ b²ac
6. ca ⇒ ac
7. cbd²a ⇒ bac
8. a² ⇒ c