〈a, b | aaa=1, abbabba=b〉

Properties

• Infinite non-commutative monoid

Completion parameters

• Reduction order: left-to-right ec/bd/a
• Auxiliary generator bbb=c
• Auxiliary generator abba=d
• Auxiliary generator abbababba=e

Complete rewriting system

1. ce ⇒ ec
2. e⁴c² ⇒ e
3. e³c³ ⇒ c
4. be³c² ⇒ b
5. cb ⇒ bc
6. e³b ⇒ be³
7. d ⇒ ebe
8. (eb)² ⇒ b²e²c
9. e²b² ⇒ bebe⁴c
10. b³ ⇒ c
11. ae ⇒ b²eb²e⁴c
12. ac ⇒ b²eb²
13. ab ⇒ b²e
14. ea ⇒ (eb²)²e³c
15. ca ⇒ b²eb²
16. ba ⇒ eb²
17. a³ ⇒ 1

Right Cayley graph (truncated)

Left Cayley graph (truncated)