〈a, b | ababbaaab=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ca/b
• Auxiliary generator abb=c

Complete rewriting system

1. a³c ⇒ aca²
2. aca²c ⇒ a
3. aba²c ⇒ abca²
4. abca²c ⇒ ab
5. a⁴b ⇒ aca²bca³
6. aca³b ⇒ abca³
7. ab² ⇒ c
8. aba³b ⇒ a(bca²)²a
9. abca³b ⇒ a