Atributovy preklad - jazyk zoznamov

asked Dec 31 '14

Lukas Nagy
171 ●6 ●9 ●16

updated Jan 1 '15

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

| 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?