〈a, b | aaa=a, abba=bab〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right a/cb
• Auxiliary generator ab=c

Complete rewriting system

1. a³ ⇒ a
2. a²c ⇒ c
3. ab ⇒ c
4. c²a² ⇒ c²
5. cba ⇒ ac²
6. bc ⇒ ac²
7. c²aca² ⇒ c²ac
8. cac² ⇒ c(ca)²
9. ac²ac ⇒ c(ca)²
10. c²b ⇒ c²ac
11. bac² ⇒ c²ac
12. c²(ac)² ⇒ c⁴a
13. ac⁴ ⇒ c³ac
14. ac³ac ⇒ c⁴
15. c²acb ⇒ c⁴a

Right Cayley graph (truncated)

Left Cayley graph (truncated)