〈a, b | bab=aba〉

Monoid presentation of length 6

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right abc
Auxiliary generator aba=c

Complete rewriting system

ca ⇒ bc
cb ⇒ ac
aba ⇒ c
bab ⇒ c