〈a, b | aabaab=baba〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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