〈a, b | abbbbba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right gfedcab
• Auxiliary generator ba=c
• Auxiliary generator bba=d
• Auxiliary generator bbba=e
• Auxiliary generator bbbba=f
• Auxiliary generator bbbbba=g

Complete rewriting system

1. fg ⇒ gb
2. eg ⇒ fb
3. dg ⇒ eb
4. cg ⇒ db
5. ag ⇒ cb
6. bf ⇒ g
7. be ⇒ f
8. bd ⇒ e
9. bc ⇒ d
10. ba ⇒ c
11. bg² ⇒ g²f
12. bgf ⇒ g²e
13. bge ⇒ g²d
14. bgd ⇒ g²c
15. bgc ⇒ g²a
16. bgb ⇒ g²