#1262 ⟨a, b | ababa=baab⟩

Up:Monoids with two generators and one relation
Prev:#1261 ⟨a, b | ababa=abbb⟩
Next:#1263 ⟨a, b | ababa=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. ada ⇒ d
  2. ad2 ⇒ d2a
  3. cd ⇒ da3ca2
  4. cad ⇒ da3ca
  5. ca2d ⇒ da3c
  6. ca2c ⇒ da2b
  7. ca3ca ⇒ da3b
  8. ca2b ⇒ da
  9. bd ⇒ da2ba
  10. bad ⇒ da2b
  11. ba2d ⇒ aca3c
  12. bac ⇒ cab
  13. ba2c ⇒ d
  14. ba3ca ⇒ aca3b
  15. bab ⇒ c
  16. ba2b ⇒ aca 
# ab:ababa=baab a/dcb bab=c,baac=d frequency:3/4,4/0
ada=d
add=dda
cd=daaacaa
cad=daaaca
caad=daaac
caac=daab
caaaca=daaab
caab=da
bd=daaba
bad=daab
baad=acaaac
bac=cab
baac=d
baaaca=acaaab
bab=c
baab=aca

Right Cayley graph (truncated)

Left Cayley graph (truncated)