Back
〈a, b | aabaa=baab〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right cbd/a
- Auxiliary generator aa=c
- Auxiliary generator bc=d
Complete rewriting system
- bc ⇒ d
- db ⇒ cd
- cdc ⇒ d2
- d2c ⇒ bd2
- ca ⇒ ac
- da ⇒ bac
- a2 ⇒ c