〈a, b | aabaaab=baa〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

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