Back
〈a, b | aaabaaba=ab〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ca/b
- Auxiliary generator ab=c
Complete rewriting system
- a2cac2 ⇒ (ca)3
- a2(ca)2 ⇒ c
- cb ⇒ (ca)3
- ab ⇒ c