〈a, b | aabbba=bbaa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/ab
• Auxiliary generator bbba=c

Complete rewriting system

1. bca ⇒ a²c²
2. ba²c ⇒ ca
3. b²a² ⇒ a²c
4. b³a ⇒ c