〈a, b | aababa=baab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/cb
• Auxiliary generator baab=c

Complete rewriting system

1. bc ⇒ caba
2. ba²c ⇒ ca²b
3. a²bac ⇒ cab
4. ba²b ⇒ c
5. a²(ba)² ⇒ c