〈a, b | abbaab=aaba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left dcab
• Auxiliary generator ab=c
• Auxiliary generator cb=d

Complete rewriting system

1. cb ⇒ d
2. ab ⇒ c
3. ac² ⇒ dad
4. aca ⇒ dac
5. dadb ⇒ acd
6. d²adc ⇒ acdad
7. d(da)² ⇒ acdac
8. (acd)²b ⇒ d²a²cd
9. (d²a)²cdb ⇒ acd²a²cd