#1249 ⟨a, b | abaab=baba⟩

Up:Monoids with two generators and one relation
Prev:#1248 ⟨a, b | abaab=baab⟩
Next:#1250 ⟨a, b | abaab=babb⟩

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. da ⇒ ac
  2. ab ⇒ d
  3. ba ⇒ c
  4. c2a ⇒ (ac)2
  5. acd ⇒ c2
  6. cb ⇒ bd
  7. c2d ⇒ bc2 
# ab:abaab=baba reversed:a/cdb ba=c,ab=d frequency:2/0,2/5
da=ac
ab=d
ba=c
cca=acac
acd=cc
cb=bd
ccd=bcc

Right Cayley graph (truncated)

Left Cayley graph (truncated)