〈a, b | aaababaaa=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ab

Complete rewriting system

1. b²aba³ ⇒ a³bab²
2. (ba)³a² ⇒ a²(ab)³
3. a³baba³ ⇒ b
4. ba(ab)²a³ ⇒ a³baba²b