〈a, b | abbaabaab=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. adc ⇒ dac
2. cd ⇒ d(cac)²
3. a²dac ⇒ c
4. cadac² ⇒ dc(ac)²
5. cad(ac)² ⇒ ad
6. b ⇒ adac
7. ad² ⇒ dad
8. (ad)² ⇒ da²d
9. ada²d ⇒ d
10. cadacad ⇒ dcaca²d
11. cadaca²d ⇒ dcac