#2083 ⟨a, b | abbabbba=ba⟩

Up:Monoids with two generators and one relation
Prev:#2082 ⟨a, b | abbabbba=ab⟩
Next:#2084 ⟨a, b | abbabbba=bb⟩

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 ⇒ cac3
  2. ac2ac3 ⇒ c
  3. bac ⇒ (ac2)2
  4. ba2c2 ⇒ ac2ab
  5. bab ⇒ ac2
  6. acb2a ⇒ ba
  7. b3a ⇒ cac2b2a
  8. (ac2)2b2a ⇒ b2a 
# ab:abbabbba=ba c/ab bbab=c frequency:4/3
bc=caccc
accaccc=c
bac=accacc
baacc=accab
bab=acc
acbba=ba
bbba=caccbba
accaccbba=bba

Right Cayley graph (truncated)

Left Cayley graph (truncated)