〈a, b | abba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/dcb
• Auxiliary generator bb=c
• Auxiliary generator bac=d

Complete rewriting system

1. ada ⇒ d
2. ad² ⇒ d²a
3. cd ⇒ da²ca
4. cad ⇒ da²c
5. cac ⇒ dab
6. ca²ca ⇒ da²b
7. cab ⇒ da
8. bd ⇒ dab
9. bad ⇒ aca²c
10. bc ⇒ cb
11. bac ⇒ d
12. ba²ca ⇒ aca²b
13. b² ⇒ c
14. bab ⇒ aca