Back
〈a, b | abaaab=aab〉
Monoid presentation of length 9
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right abc
- Auxiliary generator abaaa=c
Complete rewriting system
- a2b ⇒ cb
- a2c ⇒ c2
- cab ⇒ acb
- cac ⇒ ac2
- abc2 ⇒ ac
- cbc2 ⇒ c2
- aba3 ⇒ c
- abacb ⇒ cb
- abac2 ⇒ c2
- cba3 ⇒ ac
- cbacb ⇒ acb
- cbac2 ⇒ ac2