〈a, b | abababa=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. abc ⇒ cba
2. ab² ⇒ c
3. a(ba)³ ⇒ c
4. cb³a ⇒ cbc
5. c(ba)³ ⇒ cb²
6. cb³c ⇒ cbcb²
7. cb⁴ ⇒ cbc(ba)²