Back
〈a, b | abaaba=aaba〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right bc/a
- Auxiliary generator aaba=c
Complete rewriting system
- c2bc ⇒ cbc2
- c(bc)2 ⇒ c2
- ac ⇒ cbc
- abc ⇒ c
- caba ⇒ cbc
- a2ba ⇒ c