〈a, b | aababa=abab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. aca ⇒ c
2. c²a ⇒ ac²
3. cb ⇒ a²bc
4. cab ⇒ abc
5. (ab)² ⇒ c