〈a, b | abbabaaab=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ac/db
• Auxiliary generator ab=c
• Auxiliary generator bbc=d

Complete rewriting system

1. adc ⇒ dac
2. adac ⇒ da²c
3. cd ⇒ dc²a²c²
4. a²da²c ⇒ c
5. cada²c² ⇒ ad
6. b ⇒ ada²c
7. ad² ⇒ dad
8. (ad)² ⇒ da²d
9. ada²d ⇒ da³d
10. ada³d ⇒ d
11. cada²cad ⇒ dc²