Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
60
ROZDZIAŁ2.PROSTYTRANSLATORSTEROWANYSKŁADNIĄ
Każdynieterminalmaatrybut
t
,któregowartościąjestciągreprezentującynota-
cjępostfiksowądlawyrażeniawygenerowanegoprzeztennieterminalwdrzewie
rozbioru.Symbol||wregulesemantycznejjestoperatoremzłączenia(konkatena-
cji)ciągów.
Produkcja
Regułysemantyczne
expr→expr1+term
expr.t=expr1.t||term.t||
!+!
expr→expr1-term
expr.t=expr1.t||term.t||
!-!
expr→term
expr.t=term.t
term→0
term.t=!0!
term→1
term.t=!1!
lll
lll
term→9
term.t=!9!
RYSUNEK
2010:Sterowanaskładniądefinicjadlatranslacjinotacjiinfiksowej
napostfiksową
Postfiksowąformącyfryjestsamacyfra,czyliregułasemantycznapowiązana
zprodukcją
term→9
definiuje,żeterm.tmabyćsamącyfrą
9
,ilekroćprodukcja
tazostanieużytawwęźledrzewarozbioru.Innecyfrysątłumaczoneanalogicznie.
Jakoinnyprzykład,gdyzastosowanajestprodukcja
expr→term
,wartośćterm.t
stajesięwartościąexpr.t.
Produkcja
expr→expr1+term
wyprowadzawyrażeniezawierająceoperator
plus
3
.Lewyoperandoperatoraplusjestpodanyjako
expr1
,aprawyoperand
toterm.Regułasemantyczna
expr.t=expr1.t||term.t||
!+!
powiązanaztąprodukcjąkonstruujewartośćatrybutuexpr.t,złączającformy
postfiksowe
expr1
.
t
orazterm.tlewegoiprawegooperandu,poczymdołączado
nichznakplus.Regułatajestsformalizowanymzapisemdefinicjinwyrażenia
postfiksowego”
.
2.3.3.Prostedefinicjesterowaneskładnią
Sterowanaskładniądefinicjaprzedstawionawprzykładzie2.10manastępującą
ważnąwłaściwość:ciągreprezentującytłumaczeniesymbolunieterminalnego
wnagłówkukażdejprodukcjijestzłączeniemtłumaczeńnieterminalizawartych
wcieleprodukcjiwtejsamejkolejności,wjakiejwystępująonewprodukcji,prze-
3
Wtejiwieluinnychregułachtensamsymbolnieterminalny(wtymprzypadkuexpr)
pojawiasiękilkarazy.Celemużyciaindeksu1w
expr1
jestrozróżnieniedwóchwystąpień
exprwprodukcji;„1”niejestczęściąsymbolunieterminalnego.Więcejszczegółówzawiera
ramka„Konwencjerozróżnianiaużyciasymbolunieterminalnego”.