Back
〈a, b | abaab=aabaa〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right abc
- Auxiliary generator aabaa=c
Complete rewriting system
- cb ⇒ ac
- ca2 ⇒ abc
- a2ba2 ⇒ c
- aba2b ⇒ c
- caba2 ⇒ a2bac