〈a, b | aa=1, babbbbab=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right acb
• Auxiliary generator bbbb=c

Complete rewriting system

1. a² ⇒ 1
2. bc ⇒ cb
3. bac ⇒ cab
4. b⁴ ⇒ c
5. c(ac)² ⇒ cb³
6. (ca)²b ⇒ c
7. c(ab)² ⇒ b
8. c⁴ac ⇒ cac⁴
9. c⁴ab ⇒ cac³b
10. c³bab ⇒ cac²b²
11. c²b²ab ⇒ cacb³
12. cb(ab)² ⇒ b²
13. cb³ab ⇒ cac
14. b²(ab)² ⇒ (ba)²b²

Right Cayley graph (truncated)

Left Cayley graph (truncated)