〈a, b | aaabba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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