#2572 ⟨a, b | abaaab=baab⟩

Up:Monoids with two generators and one relation
Prev:#2571 ⟨a, b | abaaab=baaa⟩
Next:#2573 ⟨a, b | abaaab=baba⟩

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. abc ⇒ cba
  2. aba ⇒ c
  3. bc2 ⇒ c3
  4. bac ⇒ cac
  5. ac3 ⇒ c2ac
  6. (ac)2 ⇒ c2
  7. bcab ⇒ c2ab
  8. ba2b ⇒ ca2b
  9. ac2ab ⇒ c2a2b
  10. aca2b ⇒ cab 
# ab:abaaab=baab cab aba=c frequency:3/0
abc=cba
aba=c
bcc=ccc
bac=cac
accc=ccac
acac=cc
bcab=ccab
baab=caab
accab=ccaab
acaab=cab

Right Cayley graph (truncated)

Left Cayley graph (truncated)