〈a, b | abaabba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ca/db
• Auxiliary generator baabb=c
• Auxiliary generator abb=d

Complete rewriting system

1. aca²c³ ⇒ cac
2. aca²c²a ⇒ ca²
3. acd ⇒ c
4. aca²c²d ⇒ cad
5. dc ⇒ a²c³d
6. dac ⇒ a²c³
7. da² ⇒ a²c²a
8. bc ⇒ ac²d
9. bac ⇒ ac²
10. ba² ⇒ aca
11. dad ⇒ a²c²d
12. bad ⇒ c
13. ab² ⇒ d