〈a, b | aaaaba=babb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/b

Complete rewriting system

1. bab² ⇒ a⁴ba
2. a⁴ba²b² ⇒ baba⁴ba