〈a, b | aba=a, abba=abb〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right cba
• Auxiliary generator abbbbbb=c

Complete rewriting system

1. ca ⇒ c
2. cbc ⇒ c²
3. cba ⇒ c
4. abc ⇒ c
5. aba ⇒ a
6. cb²c ⇒ c²b²
7. cb²a ⇒ cb²
8. ab²c ⇒ cb²
9. ab²a ⇒ ab²
10. cb³c ⇒ c²b²
11. cb³a ⇒ cb²
12. ab³c ⇒ cb²
13. ab³a ⇒ ab²
14. cb⁴c ⇒ c²b⁴
15. cb⁴a ⇒ cb⁴
16. ab⁴c ⇒ cb⁴
17. ab⁴a ⇒ ab⁴
18. cb⁵c ⇒ c²b⁴
19. cb⁶ ⇒ c²
20. cb⁵a ⇒ cb⁴
21. ab⁵c ⇒ cb⁴
22. ab⁶ ⇒ c
23. ab⁵a ⇒ ab⁴

Right Cayley graph (truncated)

Left Cayley graph (truncated)