第7章自下而上的語法分析

1、信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室劉向菊劉向菊QQ: 8064793Tel:息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室i* *EiiEEEE信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室a bbcdeba bcdeAa bcdebAa cdeAa cdecAa dedcAa eabbcdeeBcAa S BcAa e信息學(xué)院軟件工程教研室信息學(xué)

2、院軟件工程教研室bdbaceSABA分析樹和語法樹不一定一致。分析樹和語法樹不一定一致。自下而上分析過程：邊輸入單詞符號(hào)，邊自下而上分析過程：邊輸入單詞符號(hào)，邊歸約。歸約。核心問題：識(shí)別可歸約串核心問題：識(shí)別可歸約串信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室AS*A則則 稱是句型稱是句型相對(duì)于非終結(jié)符相對(duì)于非終結(jié)符A A的的短語短語。特別是，如果有特別是，如果有A A, ,則稱則稱 是句型是句型相對(duì)相對(duì)于規(guī)則于規(guī)則A A 的的直接短語直接短語。一個(gè)句型的最左。一個(gè)句型的最左直接短語稱為該句型的直接短語稱為該句型的句柄句柄。信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息

3、學(xué)院軟件工程教研室EFFTTTi1+*EFi3i2信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室把上例倒過來寫，則得到：把上例倒過來寫，則得到：S S aAcBeaAcBe aAcde aAcde aAbcde aAbcde abbcde abbcde 顯然這是一個(gè)最右推導(dǎo)。顯然這是一個(gè)最右推導(dǎo)。規(guī)范歸約規(guī)范歸約是關(guān)于是一個(gè)是關(guān)于是一個(gè)最右推導(dǎo)最右推導(dǎo)的逆過程的逆過程最左歸約最左歸約 規(guī)范推導(dǎo)規(guī)范推導(dǎo)由規(guī)范推導(dǎo)推出的句型稱為由規(guī)范推導(dǎo)推出的句型稱為規(guī)范句型規(guī)范句型。信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室

4、bdbaceSABAdaceSABdbaceSABAaceSABS信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室則則 稱是句型稱是句型相對(duì)于非終結(jié)符相對(duì)于非終結(jié)符A A的的短語短語。特別是，如果有特別是，如果有A A, ,則稱則稱 是句型是句型相對(duì)相對(duì)于規(guī)則于規(guī)則A A 的的直接短語直接短語。一個(gè)句型的最左。一個(gè)句型的最左直接短語稱為該

5、句型的直接短語稱為該句型的句柄句柄。AS*A信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室Ei( () )i* *EiEE+ +EEE-ii+ +EEE信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室Ei( () )i* *EiEE+ +EEE-ii+ +EEE返回信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟

6、件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室S S S S b A b b A b b A b b A b ( B a ( B ( B A a ) A a ) （ B a A a ) (a) (b) (c) (d) 圖 6.2 語法樹結(jié)構(gòu) 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室表 6.2 例 6.2 文法的簡(jiǎn)單優(yōu)先關(guān)系矩陣 S b A ( B a ) # S b = A = = ( = a = ) #

7、= 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室 A A A a b a B B b P P b a (a)a=b (b)ab 圖 6.3 由語法樹構(gòu)造決定優(yōu)先性 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室E E E + E E * E E * E E + E (a)+* 圖 6.4 二義性文法的語法樹 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)

8、院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室（4）TF（5）FPF| P（6）P(E)（7）Pi信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室表6.5 表 達(dá) 式 文 法 算 符 優(yōu) 先 關(guān) 系 表 + * i ( ) # + * i ( # = 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院

9、軟件工程教研室表 6.7 對(duì)輸入串 i+i#的規(guī)范歸約過程 步驟 棧 剩余輸入串 句柄 歸約用產(chǎn)生式 (1) # i+i# (2) # i +i# i Pi (3) # P +i# P FP (4) #F +i# F TF (5) # T +i# T ET (6) # E +i# (7) #E+ i# (8) # E+i # i Pi (9) #E+P # P FP , TF (10) #E+T # E+T EE+T 7（11） #E # 接受信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室EEF+*TiFTFTP+ETP句型：句型：T+F*P+i短語：

10、短語：直接短語：直接短語：句柄：句柄：素短語：素短語：最左素短語：最左素短語：, T+F*P+iT, F, P, F*P, iT+F*PT, F, P, iTF*P, iF*P信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室表6.8 對(duì) 輸 入 串i+i#的 算 符 優(yōu) 先 歸 約 過 程 步 驟 棧 優(yōu) 先 關(guān) 系 當(dāng) 前 符 號(hào) 剩 余 輸 入 串 移 進(jìn) 或 歸 約 (1) # + i# 歸 約 (3) #F + i# 移 進(jìn) (4) #F+ # 歸 約 (6) #F+F # 歸 約 (7) #F = # 接 受 7E信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室 置 初 值 k:=1,Sk:=# 當(dāng) 前 輸 入 符 讀 入 a Sk VT? Y N j:=k j:=k-1 Sja? N Sja? Y N N Y Q := Sj 出 錯(cuò) Sj=a? Y k:=k+1 Sj-1 VT? Sj=#? N Sk:=a Y N Y j:=j-1 j:=j-2 檢 查 是 否 正 常 結(jié) 束 N 出 錯(cuò) Y N SjQ 結(jié) 束 Y Sj+1 Sk歸 約 為 N K:=j+1 Sk:=N 圖 6.8 算 符 優(yōu) 先 分 析 歸 約 過 程 框 圖 信息學(xué)院軟件工程教研室信息學(xué)院軟件工程教研室自左至右，終結(jié)符對(duì)終結(jié)符，非自左至右，終結(jié)符對(duì)