〈a, b | abaaabba=ab〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. c²a ⇒ cac
2. (ca)² ⇒ ca²c
3. ca²ca ⇒ c
4. abca ⇒ abac
5. abaca ⇒ aba²c
6. aba²ca ⇒ ab
7. cb ⇒ aba²c²
8. ab² ⇒ c