#1053 ⟨a, b | aaabba=baa⟩

Up:Monoids with two generators and one relation
Prev:#1052 ⟨a, b | aaabba=abb⟩
Next:#1054 ⟨a, b | aaabba=bab⟩

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. a3d2 ⇒ da
  2. aca ⇒ d
  3. acd ⇒ dca
  4. ca2 ⇒ a2d2
  5. cda ⇒ a(ad2)2
  6. cad ⇒ a2d2ca
  7. cd2 ⇒ a(ad2)2ca
  8. ba2 ⇒ a2d
  9. bda ⇒ a2dad2
  10. bad ⇒ a2dca
  11. bd2 ⇒ a2dad2ca
  12. cb ⇒ bc
  13. b2 ⇒ c 
# ab:aaabba=baa reversed:ad/cb bb=c,aca=d frequency:2/1,3/0
aaadd=da
aca=d
acd=dca
caa=aadd
cda=aaddadd
cad=aaddca
cdd=aaddaddca
baa=aad
bda=aadadd
bad=aadca
bdd=aadaddca
cb=bc
bb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)