- 2014/LR分析錯(cuò)誤處語(yǔ)法分析小語(yǔ)義處理概語(yǔ)法制導(dǎo)定基于語(yǔ)法制導(dǎo)定義的語(yǔ)義處1 - 2014/簡(jiǎn)單的LR分析錯(cuò)誤處 - 2014/簡(jiǎn)單的LR分析錯(cuò)誤處理舉 e1缺少運(yùn)算e2右括號(hào)未匹 e3缺少運(yùn)算 e4缺少右括棧狀vd+棧狀vd+ #E0123456789179 - 2014/算符優(yōu)先分析法的特 - 2014/YACC是一個(gè)語(yǔ)法分析程序的自動(dòng)產(chǎn)生系YACC源程 parser_tab.c文 - 2014/確定確定的無(wú)無(wú)二義的 回溯→避免條件First(x) 下 遞歸下降LL(1)分析法分分析方法 表驅(qū)動(dòng)LL(1)分析7 優(yōu)先函數(shù)的構(gòu)而分析方法

分析法

析

8 - 2014/ChapterSyntax-Directed坤 - 2014/語(yǔ)義處理概語(yǔ)法制導(dǎo)定基于語(yǔ)法制導(dǎo)定義的語(yǔ)義處翻譯方 -

2014/語(yǔ)義處理在編譯程序中的邏輯位詞法分語(yǔ)法分靜態(tài)語(yǔ)義分中間代碼生

目標(biāo)代碼優(yōu)化（可選 - 2014/語(yǔ)義處理在編譯程序中的邏輯位分析 - 2014/語(yǔ)義處理技現(xiàn)實(shí)生活中的語(yǔ) - 2014/概屬性文法（AttributeGr - 2014/概的名字串，符號(hào)的類型，符號(hào)的地址，符Xa - 2014/概在SDDAX.a:=基于語(yǔ)義函數(shù)（semanticfunction）的規(guī)則b:=f(c1c2ck)或f(c1c2其中，b,c1c2,…,ck - 2014/有兩種屬性：綜合屬性和繼承屬用于對(duì)關(guān)聯(lián)于產(chǎn)生式A的語(yǔ)義規(guī)則b:=f(c1c2,…,ck，如果b是A的某個(gè)屬性,則稱b是A的一個(gè)綜合屬性繼承屬性（inherited用于對(duì)關(guān)聯(lián)于產(chǎn)生式A的語(yǔ)義規(guī)則b:=f(c1c2,…,ck，如果b是產(chǎn)生式右部某個(gè)文法符號(hào)X的某個(gè)屬性，則稱b是文法符號(hào)X的一個(gè)繼承屬性 - 2014/語(yǔ)法制導(dǎo)定義舉SEE1+ETT1FTFF(EF

{print(E.val){E.val:=E1.val+T.val{E.val:=T.val{T.val:=T1.valF.val{T.val:=F.val{F.val:=E.val{F.val:=d.lexval繼承屬性綜合屬性

注：d.lexval - 2014/綜合屬性代表自下而上傳遞的信表達(dá)式3＊(5+4)

T

SET

d

E

d

-語(yǔ)法制導(dǎo)定義舉

2014/DTTintTrealLL1,

{L.in:=T.type{T.type:=integer{T.type:=real{L1.in:=L.inL

綜合屬性

注：語(yǔ)義函數(shù)值L.in填入v的符號(hào)表項(xiàng)中的type域 - 2014/繼承屬性代表自上而下傳遞的信子對(duì) 句nt,,z歷，自下而執(zhí)行綜合屬性相應(yīng)的語(yǔ)義規(guī)則，自上執(zhí)行繼承屬性相應(yīng)的語(yǔ)義規(guī)，屬性值的一個(gè)求值過程

addtype(v.entry,

addtype(v.entry,

v

- 2014/語(yǔ)法制導(dǎo)定義舉NSSBB

{N.v:=S1.v+S2.v;S1.f:=1;S2.f:=2-S2.l {S1.f:=2S.f;B.f:=S.f;S.v:=S1.v+B.v;S.l:=S1.l+1{S.l:=1;S.v:=B.v;B.f:=S.f{B.v:=0{B.v:=B.f繼承屬性綜合屬性 -

2014/理（Syntax-DirectedSemanticProcess），也稱語(yǔ)法制導(dǎo)的翻譯（Syntax-DirectedTranslation）（On-the-fly方法） - 2014/構(gòu)造依賴圖（Dependency 拓?fù)渑判颍═opologicalsort）對(duì)分析樹進(jìn)行遍良定義的.所謂良定義的SDD，當(dāng)且僅當(dāng)它的規(guī) - 2014/for分析樹中每一個(gè)結(jié)點(diǎn) for結(jié)點(diǎn)n對(duì)應(yīng)的文法符號(hào)的每一個(gè)屬性 for結(jié)點(diǎn)n所用產(chǎn)生式中每個(gè)形如for結(jié)點(diǎn)n所用產(chǎn)生式中每個(gè)形如f(c1,c2,…ck)的語(yǔ)義規(guī)為該規(guī)則在依賴圖中也建立一個(gè)結(jié)點(diǎn)（稱為虛結(jié)點(diǎn)for分析樹中每一個(gè)結(jié)點(diǎn) （可以只是f(c1,c2,…ck)，此時(shí)b結(jié)點(diǎn)為一個(gè)虛結(jié)點(diǎn)for結(jié)點(diǎn)（可以只是f(c1,c2,…ck)，此時(shí)b結(jié)點(diǎn)為一個(gè)虛結(jié)點(diǎn)fori:=1tok從ci結(jié)點(diǎn)到b結(jié)點(diǎn)構(gòu)造一條有向 - 2014/設(shè)有如下SDD10.01NSSBB

{N.v:=S1.v+S2.v;S1.f:=1;S2.f:=2-S2.l{S1.f:=2S.f;B.f:=S.f;S.v:=S1.v+B.v;S.l:=S1.l+1{S.l:=1;S.v:=B.v;B.f:=S.f{B.v:=0{B.v:=B.f -

2014/步驟一構(gòu)造輸入串10.01N - 2014/步驟二

S

S

B

11

0步驟三

S

N.

S

B

11

0 - 2014/步驟四容易看出，該依賴圖是無(wú)環(huán)的，因此存在拓?fù)渑判蛞廊魏我粋€(gè)拓?fù)渑判?，都能夠順利完成屬性值的?jì)算.如下是一種可能的計(jì)算次序：

S

S

B

11

0 - 2014/LR分析錯(cuò)誤處語(yǔ)法分析小語(yǔ)義處理概語(yǔ)法制導(dǎo)定基于SDD的語(yǔ)義處 -

2014/§4.8.3ErrorRecoveryinLR§4.9Parser§5.1Syntax-Directed§5.2.1Dependency -

2014/Floyd,R.W.Syntactic ysisandOperatorPrecedence.J.ACM.10:3,3