〈a, b | ababbaab=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. (ac)² ⇒ a
3. abac ⇒ abca
4. abcac ⇒ ab
5. a³b ⇒ acabca²
6. aca²b ⇒ abca²
7. ab² ⇒ c
8. aba²b ⇒ (abc)²a²
9. abca²b ⇒ a