Was ein Parser macht, ist das er einen Baum des Ausdrucks erstellt.
Das ist ueberall so. Z. B. beim
DOM von
XML wird der Baum zugreifbar gemacht.
Behaelt man den Baum dann hat man was man braucht.
Der Baum wird abgearbeitet was dem Interpretieren eines Programmes entspricht.
Eine Variable ist ein Knoten im Baum. Der Inhalt der Variable ist ein Attribut des Knotens.
Damit habe ich kurz umrissen was an der Uni unter "kontextfreie Grammatik", bzw. "Attributgrammatik"
laeuft und zum Compilerbau gehoert.