〈a, b | aa=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. ac ⇒ c
3. a² ⇒ a
4. cb²c ⇒ c²b²
5. cb²a ⇒ cb²
6. ab²c ⇒ cb²
7. ab²a ⇒ ab²
8. cb⁴c ⇒ c²b⁴
9. cb⁴a ⇒ cb⁴
10. ab⁴c ⇒ cb⁴
11. ab⁴a ⇒ ab⁴
12. cb⁶ ⇒ c²
13. ab⁶ ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances