Back
〈a, b | aaabbba=abb〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ac/b
- Auxiliary generator abb=c
Complete rewriting system
- a2cba ⇒ c
- cacba ⇒ a2cbc
- ab2 ⇒ c
- cb2 ⇒ a2cbc