Back
〈a, b | abaaaba=aab〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right d/ca/b
- Auxiliary generator ab=c
- Auxiliary generator aac=d
Complete rewriting system
- dc ⇒ cd4
- d2a ⇒ ad
- ac ⇒ cda
- c(da)2 ⇒ d
- db ⇒ c2dad6
- ab ⇒ c