Atributovy preklad - jazyk zoznamov

asked 2014-12-31 19:01:55 +0100

Lukas Nagy
171 ●6 ●9 ●16

updated 2015-01-01 22:12:19 +0100

Riesim priklady na atributovy preklad a pri jednom som velmi nepochopil vysvetlenie riesenia prikladu.

Je dan jazyk seznamu, ve kterych se vyskytuji identifikatory oddelene lomitky. Seznam je ukoncen strednikem. Uvedeme regularni atributovou prekladovou gramatiku, ktera popisuje zpusob vypoctu poctu prvku seznamu.

Gramatika mala v skriptach tvar $$G=(\{ S,Z\},\{id,;,/\},P,S)$$ a pravidla boli

| Syntax | Semantika |

|----------------------|------------------------|

| $ S\rightarrow idZ $ | $ S.pocet:=Z.pocet+1 $ |

| $ Z\rightarrow ; $ | $ Z.pocet:=0 $ |

| $ Z\rightarrow /S $ | $ Z.pocet:=S.pocet $ |

V rieseni prikladu sa hovori o nutnosti pouzit syntetizovany atribut avsak nerozumiem preco sa do neda spravit i dedicnymi atributmi. Moje riesenie pouziva dedicne atributy syntax je rovnaka, akurat mierne pozmenena semantika:

| Syntax | Semantika |

|----------------------|----------------------|

| $ S\rightarrow idZ $ | $ Z.pocet:=S.pocet $ |

| $ Z\rightarrow ; $ | $ ;.pocet:=Z.pocet $ |

| $ Z\rightarrow /S $ | $ S.pocet:=Z.pocet +1$ |

Pociatocna hodnota atributu $ S.pocet:=1 $ Robim niekde chybu alebo sa k tomu da pristupovat i takto a zostala by to teda regularna atributova prekladova gramatika?