#1204 ⟨a, b | aabaa=baab⟩

Up:Monoids with two generators and one relation
Prev:#1203 ⟨a, b | aabaa=abbb⟩
Next:#1205 ⟨a, b | aabaa=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. bc ⇒ d
  2. db ⇒ cd
  3. cdc ⇒ d2
  4. d2c ⇒ bd2
  5. ca ⇒ ac
  6. da ⇒ bac
  7. a2 ⇒ c 
# ab:aabaa=baab cbd/a aa=c,bc=d frequency:2/0,2/0
bc=d
db=cd
cdc=dd
ddc=bdd
ca=ac
da=bac
aa=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)