Si prenda il linguaggio delle espressioni aritmetiche con variabili,
+, *, if-then-else, parentesi. Associatività e precedenza di +
e * sono le usuali, il ramo "else" dell'espressione
condizionale abbraccia la piú lunga espressione aritmetica che
segue, ossia in if A < B then A + B else
B * C + D l'else abbraccia B * C + D. Si dia lo
schema per l'analisi asendente deterministica che costruisce l'albero
astratto per l'espressione e dà come attributo il puntatore a
tale albero.