Back
〈a, b | aabbaa=aab〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right acb
- Auxiliary generator bbaa=c
Complete rewriting system
- cb ⇒ c2
- a2b ⇒ a2c
- cab ⇒ cac
- b2a2 ⇒ c
- c3a2 ⇒ c2
- a2c2a2 ⇒ a2c
- cac2a2 ⇒ cac