〈a, b | aabbaaba=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²)² ⇒ bab²a²ba
3. a²b²a⁴b³ ⇒ b³(a²ba)²
4. bab²(a²ba)² ⇒ a²b³
5. bab²a²ba³b² ⇒ a²b³ab²a²ba
6. bab²a²ba⁵b³ ⇒ a²b⁵(a²ba)²