〈a, b | aa=1, abbabb=bb〉

Properties

• Infinite non-commutative monoid

Completion parameters

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

Complete rewriting system

1. a² ⇒ 1
2. cb ⇒ c²
3. bc ⇒ c²
4. b² ⇒ c²
5. c³ ⇒ c
6. bac ⇒ cac
7. c²ac ⇒ ac

Right Cayley graph (truncated)

Left Cayley graph (truncated)