Przy tworzeniu kompilatora jakiegoś języka mamy kolejne fazy: lekser,
parser - syntaktyka, semantyka, tworzenie kodu pośredniego...
Fazę leksera i parsera mam obcykaną.
Teraz semantyka z gramatyką atrybutywną. Mamy atrybuty dziedziczone i
syntetyzowalne, Kolejność przechodzenia atrybutów to nie jest zwykłe
przechodzenie w głąb drzewa, ale zależy od atrybutów, niektóre definicje
atrybutów są nie do przejścia gdy są cykle, aby stwierdzić cykl , mamy
złożoność NP. Na szczęście są podklasy gramatyk atrybutywnych, które są
do przejścia,choć w ogólnym przypadku nie ma gwarancji.
Gdzie jest przystępnie wytłumaczone jak przechodzić te atrybuty?