#1137 ⟨a, b | abbbba=bab⟩

Up:Monoids with two generators and one relation
Prev:#1136 ⟨a, b | abbbba=abb⟩
Next:#1138 ⟨a, b | abbbba=bbb⟩

Properties

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. ab ⇒ c
  2. cb ⇒ d
  3. db ⇒ e
  4. eb ⇒ f
  5. fa ⇒ bc
  6. fc ⇒ bd
  7. fd ⇒ be
  8. fe ⇒ bf
  9. bfb ⇒ f2
  10. cfb ⇒ af2
  11. dfb ⇒ cf2
  12. efb ⇒ df2
  13. f2b ⇒ ef2 
# ab:abbbba=bab bacdef ab=c,cb=d,db=e,eb=f frequency:2/1,2/1,2/1,2/0
ab=c
cb=d
db=e
eb=f
fa=bc
fc=bd
fd=be
fe=bf
bfb=ff
cfb=aff
dfb=cff
efb=dff
ffb=eff

Right Cayley graph (truncated)

Left Cayley graph (truncated)