Back
〈a, b | abbaaab=bab〉
Monoid presentation of length 10
Properties
- Infinite non-commutative monoid
Completion parameters
- Reduction order: left-to-right ac/b
- Auxiliary generator ab=c
Complete rewriting system
- ab ⇒ c
- cba2c ⇒ bc
- acbac2 ⇒ cbc
- b2c ⇒ cbac2
- cbacbc ⇒ bcbac2