〈a, b | ababa=baab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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