Back
〈a, b | ababaaab=aa〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: right-to-left bc/a
- Auxiliary generator ab=c
Complete rewriting system
- ab ⇒ c
- c2a2c ⇒ a2
- a4c ⇒ c4a4
- (a2c)2 ⇒ c2a4