Back
〈a, b | aabbaaab=ba〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: right-to-left adc/b
- Auxiliary generator ba=c
- Auxiliary generator ab=d
Complete rewriting system
- ac ⇒ da
- adc2 ⇒ c2ad
- adcad ⇒ c
- ab ⇒ d
- ba ⇒ c
- bd ⇒ cb
- bc ⇒ cdcad