〈a, b | aababbaa=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right c/ab
• Auxiliary generator ab=c

Complete rewriting system

1. ab ⇒ c
2. cb² ⇒ c³bac
3. ac²bac ⇒ cb
4. c³ba² ⇒ cb
5. (cb)²ac ⇒ ac(cb)²
6. cbc²bac ⇒ c³bacb
7. ac²ba² ⇒ c
8. (cb)²a² ⇒ ac²bc
9. cbc²ba² ⇒ c³bac