Show description

Eine Attributgrammatik G = (Go, D, B, R) heiBt pure k-visitfiir ein k 2. Eine Attributgrammatik G heiBt pure multi-visit, wenn es ein k 2: 1 gibt, so daB G pure k-visit ist. 2 Attributauswertung in visits, sweeps und passes 51 semantische Regel aus R(p') f---+--- semantische Regel aus R(p) Abb. 3: Berechnung von inheriten und synthetischen Attributinstanzen. Die Klasse der pure k-visit Attributgrammatiken (und pure multi-visit Attributgrammatiken) wird mit AG(pk--visit) (bzw. AG(pm-visit)) bezeichnet.

Abb. 6: Zirkularitatstest. Der Algorithmus schreibt keine explizite Reihenfolge vor, in der die Produktionen in der inneren for-Schleife durchlaufen werden miissen. Wir wahlen in diesem Beispiel in jedem Durchlauf durch die repeat-Schleife die durch die Numerierung der Produktionen gegebene Reihenfolge. Weiterhin wahlen wir fiir die is-Graphen eine Darstellung, in der zusatzlich zu den eigentlichen Graphen das zugehorige Nichtterminalsymbol vermerkt ist und die Attribute wie in den Abhangigkeitsgraphen auf einer waagerechten Linie angeordnet werden.

20. Aufgabe 10 Gegeben sei die Attributgrammatik aus Aufgabe 1. Fiihren Sie den Zirkularitatstest fiir diese Attributgrammatik aus. Aufgabe 11 Gegeben sei die folgende Attributgrammatik G = (Go, D, B, R, 0): • Go = (N,~, Z, P) mit N = {Z, A, B}, ~ = {a, b, c} und P = {PI,P2,P3,P4,PS}, wobei: PI P2 P3 P4 Ps Z-+AB A -+ a A -+ b B -+ c B B -+ c Die wichtigsten Definitionen 46 • D = (K,n,4>, >¥,If') mit K = {K}, 4> = U(I<,I<),g(I¥ = 0. n und If' werden nicht angegeben, weil sie fUr diese Aufgabe nicht relevant sind.