Back
〈a, b | abaab=aaab〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right b/ca
- Auxiliary generator aaab=c
Complete rewriting system
- a2c ⇒ ca2b
- abac ⇒ ca2b
- a3b ⇒ c
- aba2b ⇒ c