^^Per indicare l'associazione binaria, sono sufficienti le parentesi.

I simboli degli operandi non servono, sono sostituiti da una coppia di parentesi ().

 \/ /      \ \/
  \/        \/

(()())()   ()(()())

 \/ / /         \ \/ /        \ \/ /
  \/ /           \/ /          \ \/ 
   \/             \/            \/   

((()())())()   (()(()()))()   ()((()())())

\ \ \/         \/  \/

 \ \/           \  /

  \/             \/

()(()(()()))   (()())(()())

Con gli operandi indicati

(ab)c   a(bc)
a  b c  a b  c
 \/ /    \ \/
  \/      \/

((ab)c)d  (a(bc))d    a((bc)d)  a(b(cd))    (ab)(cd)
a  b c d   a b c d    a b c d   a b c  d    a b c d
 \/ / /    \ \/ /      \ \/ /    \ \ \/      \/  \/
  \/ /      \/ /        \ \/      \ \/        \  /
   \/        \/          \/        \/          \/

Per capire l'equivalenza albero-parentesi

 \/ / /         \ \/ /        \ \/ /
  \/ /           \/ /          \ \/ 
   \/             \/            \/

((()())())()   (()(()()))()   ()((()())())

(        )()   (        )()   ()(        )

 (    )()       ()(    )         (    )() 

  ()()             ()()           ()()

Links

Albero; rappresentazioni.

Alter espo

Non mettere il segno dell'operazione, ma indicare solo la composizione-parentesizzazione >>>

((ab)c)d  (a(bc))d    a((bc)d)  a(b(cd))    (ab)(cd)

((  ) )() ( (  ))()  ()((  ) ) ()( (  ))    (  )(  )

a  b c d   a b c d    a b c d   a b c  d    a b c d
 \/ / /    \ \/ /      \ \/ /    \ \ \/      \/  \/
  \/ /      \/ /        \ \/      \ \/        \  /
   \/        \/          \/        \/          \/