〈a, b | ababbba=bba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right abc
• Auxiliary generator ababbbbb=c

Complete rewriting system

1. cb²a ⇒ b²ca
2. cb²c ⇒ b²c²
3. b⁴a ⇒ ca
4. b⁴c ⇒ c²
5. (ab)²ca ⇒ ca
6. (ab)²c² ⇒ c²
7. abac²a ⇒ cb³a
8. abac³ ⇒ cb³c
9. abab³a ⇒ b²a
10. abab³c ⇒ b²c
11. abab²ca ⇒ cba
12. abab²c² ⇒ cbc
13. abab⁵ ⇒ c