〈a, b | abaabab=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. ab² ⇒ c
2. cb² ⇒ ca²bc
3. ca(ab)² ⇒ cb
4. aba²bc ⇒ cb
5. (aba)²b ⇒ c
6. cba²bc ⇒ ca²bcb
7. cba(ab)² ⇒ ca²bc