〈a, b | aa=a, aabba=bba〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right bc/a
• Auxiliary generator bbbbbba=c

Complete rewriting system

1. cb²c ⇒ b²c²
2. cb⁴c ⇒ b⁴c²
3. b⁶c ⇒ c²
4. ac ⇒ c
5. ab²c ⇒ b²c
6. ab⁴c ⇒ b⁴c
7. ca ⇒ c
8. cb²a ⇒ b²c
9. cb⁴a ⇒ b⁴c
10. b⁶a ⇒ c
11. a² ⇒ a
12. ab²a ⇒ b²a
13. ab⁴a ⇒ b⁴a

Right Cayley graph (truncated)

Left Cayley graph (truncated)