〈a, b | aabbbaaba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ab

Complete rewriting system

1. a²b³a²ba ⇒ b
2. a²b³a²b² ⇒ bab³a²ba
3. a²b³a⁴b⁴ ⇒ b³(ba²ba)²
4. bab²(ba²ba)² ⇒ a²b⁴
5. bab³a(ab)²a²b² ⇒ a²b⁴ab³a²ba
6. bab³a(ab)²a⁴b⁴ ⇒ a²b⁶(ba²ba)²