Pok-7-wyk-Slajd6

Z Studia Informatyczne
Wersja z dnia 19:19, 30 sie 2006 autorstwa Complak (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Atrybuty syntetyzowane i dziedziczone

Atrybuty syntetyzowane i dziedziczone


W definicji sterowanej składnią z każdą produkcją gramatyki możemy związać zbiór reguł semantycznych (akcji), w których obliczane są wartości atrybutów.

Wartości atrybutów syntetyzowanych obliczane są na podstawie wartości atrybutów dzieci tego węzła w drzewie wywodu. Na poziomie reguły semantycznej oznacza to, że atrybut symbolu stojącego po lewej stronie produkcji jest funkcją atrybutów symboli stojących po prawej stronie produkcji.

Wartości atrybutów dziedziczonych obliczane są na podstawie wartości atrybutów sąsiadów i rodzica tego węzła w drzewie wywodu. Na poziomie reguły semantycznej oznacza to, że atrybut symbolu stojącego po prawej stronie produkcji jest funkcją atrybutów symbolu po lewej stronie produkcji i atrybutów symboli po prawej stronie produkcji.

Przyjmuje się, że terminale nie mogą mieć atrybutów dziedziczonych (w definicji sterowanej składnią nie ma reguł semantycznych dla terminali). Zwykle zakłada się również, że aksjomat gramatyki nie ma atrybutów dziedziczonych.


<< Poprzedni slajd | Spis treści | Następny slajd >>