Back
〈a, b | aaabba=abb〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ca/b
- Auxiliary generator abb=c
Complete rewriting system
- a2c2 ⇒ (ca)2
- a2ca ⇒ c
- cb2 ⇒ (ca)2
- ab2 ⇒ c