〈a, b | abababa=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/dba
• Auxiliary generator ba=c
• Auxiliary generator bcc=d

Complete rewriting system

1. c⁵d ⇒ dc⁵
2. bc² ⇒ d
3. c⁵b ⇒ dc³
4. ac³ ⇒ cb
5. c⁴a ⇒ d
6. dc⁴d ⇒ c¹¹
7. dc⁴b ⇒ c⁹
8. dc³a ⇒ c⁶
9. bd ⇒ dc²a
10. bcd ⇒ c⁶
11. bcb ⇒ c⁴
12. ba ⇒ c
13. ad ⇒ cbca
14. acd ⇒ cda
15. ac²d ⇒ cdca