〈a, b | aabaaba=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ac/b
• Auxiliary generator baa=c

Complete rewriting system

1. a²c² ⇒ ca
2. a²cba ⇒ c
3. bc ⇒ c²ba
4. ba² ⇒ c
5. bac ⇒ cacba