〈a, b | abaaba=baab〉

Monoid presentation of length 10

Properties

Infinite non-commutative monoid

Completion parameters

Reduction order: left-to-right a/cb
Auxiliary generator baab=c

Complete rewriting system

aca ⇒ c
ac² ⇒ c²a
bc ⇒ ca²ba²
bac ⇒ ca²ba
ba²c ⇒ ca²b
ba²b ⇒ c