Back
〈a, b | aabaa=aaba〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right acb
- Auxiliary generator aaba=c
Complete rewriting system
- ca ⇒ c
- cba ⇒ c2
- cbc ⇒ c3
- a2ba ⇒ c
- a2bc ⇒ c2