〈a, b | ababaab=ba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/b/a
• Auxiliary generator aabab=c

Complete rewriting system

1. c⁸b ⇒ bc
2. ca ⇒ ac⁴
3. ba ⇒ abc²
4. a³bc²b ⇒ c