〈a, b | abbaaaaab=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ba

Complete rewriting system

1. ab³ ⇒ b²ab
2. ab²ab ⇒ b²a²b
3. ab²a²b ⇒ b²a³b
4. ab²a³b ⇒ b²a⁴b
5. ab²a⁴b ⇒ b²a⁵b
6. ab²a⁵b ⇒ b