Back
〈a, b | ababa=bab〉
Monoid presentation of length 8
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ac/b
- Auxiliary generator bab=c
Complete rewriting system
- aca ⇒ c
- c2a ⇒ ac2
- cb ⇒ abac
- cab ⇒ bac
- bab ⇒ c