〈a, b | aba=aab, aaaa=a〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: right-to-left ca/b
• Auxiliary generator bba=c

Complete rewriting system

1. c²a ⇒ cac
2. aca ⇒ a²c
3. ca³ ⇒ c
4. a⁴ ⇒ a
5. cbc ⇒ c²b
6. abc ⇒ acb
7. cba ⇒ cab
8. aba ⇒ a²b
9. cb² ⇒ ca²c
10. ab² ⇒ a³c
11. b²a ⇒ c

Right Cayley graph (truncated)

Left Cayley graph (truncated)