〈a, b | aabbaa=baab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a²da² ⇒ d
2. a²d² ⇒ d²a²
3. a(ad)² ⇒ dada²
4. cd ⇒ da⁴ca²
5. ca²d ⇒ da⁴c
6. ca²c ⇒ da²b
7. ca⁴ca² ⇒ da⁴b
8. ca²b ⇒ da²
9. bd ⇒ da²b
10. ba²d ⇒ a²ca⁴c
11. bc ⇒ cb
12. ba²c ⇒ d
13. ba⁴ca² ⇒ a²ca⁴b
14. b² ⇒ c
15. ba²b ⇒ a²ca²
16. ca⁴cad ⇒ da⁴bada²
17. ba⁴cad ⇒ a²ca⁴bada²