[工學(xué)]第05章語義分析上(編輯修改稿)
2024-11-15 00:13 本頁面
【文章內(nèi)容簡介】 Off。 RecBodyIR *Next。 } RecBodyIR。 //記錄類型的域表鏈； ? Typedef struct{ String FieldName。 TYPEIR *FieldType。 UniBodyIR *Next。 } UniBodyIR。 //聯(lián)合類型的域表鏈； 21 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 運(yùn)行時(shí)值的表示 ?非結(jié)構(gòu)類型有： 整型、實(shí)型、布爾類型、字符類型、 枚舉類型、子界類型、指針類型 ?有序類型： 以上類型，除 實(shí)型 、 指針 外 22 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 有序類型的常量表示： ? 整型常量： ord(N) = N ? 布爾常量： ord(false)=0, ord(true)=1 ? 字符常量： ord(C) = ASCⅡ(C) ? 枚舉常量： 設(shè)有枚舉類型 (D,A,B),則有 ord(D)=0,ord(A)=1,ord(B)=2 ? 子界常量： 設(shè)有子界類型 C1..C2,則值空間 為 [ord(C1)...ord(C2)] 23 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 符號(hào)表 ? 標(biāo)識(shí)符的作用： 為語義檢查和代碼生成提供 標(biāo)識(shí)符的語義信息。 聲明部分： 定義了各種對象及對應(yīng)的屬性和 使用規(guī)則。 程序體： 對所定義的對象進(jìn)行各種操作。 $id idname idname AttributeIR ? 必要性 Token： 新表－ 符號(hào)表 （種類、類型等信息）： 24 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? 有關(guān)符號(hào)表的操作： 添加、作用域刪除、查詢 ? 處理符號(hào)表的模塊： 定義符號(hào)表數(shù)據(jù)結(jié)構(gòu) 定義符號(hào)表上的操作 ? 標(biāo)識(shí)符的處理思想： ? 遇到定義性標(biāo)識(shí)符時(shí)，在符號(hào)表中填寫被定義標(biāo)識(shí)符的符號(hào)項(xiàng)； ? 當(dāng)遇到使用性標(biāo)識(shí)符時(shí)，用該標(biāo)識(shí)符查符號(hào)表求得其屬性。 25 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ?標(biāo)識(shí)符的作用域： 標(biāo)識(shí)符有效的最大程序段。 ?嵌套作用域規(guī)則： 當(dāng)存在標(biāo)識(shí)符的嵌套聲明時(shí)，最近定義的屬性為標(biāo)識(shí)符的當(dāng)前屬性。 ?局部化單位： 允許有聲明的程序段。 P: Var x ,y,z Var x,m,n x:=1。 m:=x+1。 y:=x+1。 x:=0。 Q: 26 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ?符號(hào)表的種類： 全局符號(hào)表、局部符號(hào)表。 ?符號(hào)表的操作特點(diǎn)： ? 在 聲明部分，定義標(biāo)識(shí)符，要加入符號(hào)表； ? 在表達(dá)式或語句中，使用標(biāo)識(shí)符，應(yīng)查表 查其屬性； ? 每個(gè)標(biāo)識(shí)符在其作用域結(jié)束后，要?jiǎng)h掉該 屬性表項(xiàng)； ? 體現(xiàn)嵌套作用規(guī)則和局部化。 27 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 符號(hào)表查找技術(shù) 常用符號(hào)表查表法： ?順序查表法 ?折半查表法 ?散列查表法 常用符號(hào)表結(jié)構(gòu)： ?二叉樹局部符號(hào)表 ?外拉鏈散列式全局符號(hào)表 ?嵌套式全局符號(hào)表 28 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 一、順序查表法 ? 表構(gòu)造法： 依次添加表元素 ? 表結(jié)構(gòu)： 數(shù)組、鏈表 ? 查表法： 按表的順序查 ? Pascal語言描述： SymbTable = ARRAY [0..N] OF Iterm。 Iterm = RECORD id : String。 Attrib : AttributeIR END SymbTable = RECORD id : String。 Attrib : AttributeIR。 Next : ? SymbTable END ? 優(yōu)點(diǎn)： 簡單 ? 缺點(diǎn)： 查表速度慢 ? 平均查表速度： (N+1)/2 29 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 二、折半查表法 ? 數(shù)據(jù)結(jié)構(gòu)： 排序的數(shù)組、鏈表和二叉樹 ? 特點(diǎn)： 查表時(shí)每次比較中間關(guān)鍵字且速度較快 ? Pascal語言描述： SymbTable = RECORD id : String。 Attrib : AttributeIR。 Left, Right : ? SymbTable END 例： 數(shù)組 AB, BB, DA, ED, FF, GA, ZA ED BB AB DA GA FF ZA 30 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? 查表速度： log2(N+1) ? 查表算法： while(lowhigh){ mid=(low+high)/2。 midvalue=L[mid]。 if(a==midvalue) return(mid)。 if(amidvalue)then high=mid1。 else
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1