Una lista è la lista vuota ( ) oppure (X1,
..., Xk) dove X1, ...,
Xk sono atomi (a oppure b) o liste. Si assume
l'associatività a destra. Si dia uno schema per l'analisi
deterministica discendente che dà come attributo il puntatore a
una rappresentazione della lista come si vede dall'esempio in cui
è mostrata la rappresentazione per la lista (a, (a,b), (
)).