#267 ⟨a, b | abba=bab⟩

Up:Monoids with two generators and one relation
Prev:#266 ⟨a, b | abba=abb⟩
Next:#268 ⟨a, b | abba=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. da ⇒ bc
  4. dc ⇒ bd
  5. bdb ⇒ d2
  6. cdb ⇒ ad2
  7. d2b ⇒ cd2 
# ab:abba=bab bacd ab=c,cb=d frequency:2/1,2/0
ab=c
cb=d
da=bc
dc=bd
bdb=dd
cdb=add
ddb=cdd

Right Cayley graph (truncated)

Left Cayley graph (truncated)