〈a, b | aaababa=aab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right acb
• Auxiliary generator ababa=c

Complete rewriting system

1. a²b ⇒ a²c
2. acb ⇒ ac²
3. cab ⇒ cac
4. c²b ⇒ c³
5. cba ⇒ abc
6. ac²a ⇒ a²c²
7. c³a ⇒ cac²
8. a(ba)² ⇒ c
9. a²(ca)² ⇒ ac
10. (ca)³ ⇒ c²