[工學(xué)]第05章語(yǔ)義分析上(已修改)
2025-10-26 00:13 本頁(yè)面
【正文】 1 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 第 05章 語(yǔ)義分析 主要內(nèi)容： ? 語(yǔ)義分析基礎(chǔ) ? 符號(hào)表 ? 類(lèi)型分析 ? 聲明和執(zhí)行體的語(yǔ)義分析 2 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 語(yǔ)義分析基礎(chǔ) ?語(yǔ)義分析的內(nèi)容 ? 標(biāo)識(shí)符的內(nèi)部表示 ?類(lèi)型的內(nèi)部表示 ?值的內(nèi)部表示 3 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 語(yǔ)義分析的內(nèi)容 ?語(yǔ)法和語(yǔ)義的區(qū)別 : 語(yǔ)法： 關(guān)于什么樣的字符串才是該語(yǔ)言在組 成結(jié)構(gòu)上合法的程序的法規(guī)。 語(yǔ)義： 關(guān)于結(jié)構(gòu)上合法的程序的意義的法 則。 4 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? 語(yǔ)義種類(lèi) : 靜態(tài)語(yǔ)義： 在編譯階段能檢查的語(yǔ)義。 動(dòng)態(tài)語(yǔ)義： 只有在目標(biāo)代碼執(zhí)行階段才能 檢查的語(yǔ)義。 5 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? 語(yǔ)義分析的 內(nèi)容 ： 類(lèi)型分析； 標(biāo)識(shí)符相關(guān)信息。 ? 語(yǔ)義分析的功能： 檢查語(yǔ)義錯(cuò)誤； 構(gòu)造標(biāo)識(shí)符屬性表（符號(hào)表）。 ? 語(yǔ)義分析的實(shí)現(xiàn)： 與語(yǔ)法分析相結(jié)合。 6 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 標(biāo)識(shí)符的內(nèi)部表示 ? 標(biāo)識(shí)符種類(lèi)： 常量名、類(lèi)型名、變量名、函數(shù)名、過(guò)程名、域名。 typedef enum=(constKind,typeKind,varKind, procKind,funcKind,fieldKind) ? 標(biāo)識(shí)符屬性（ AttributeIR）： 常量： consKind TypePtr Kind Value 類(lèi)型： typeKind TypePtr Kind ? TypePtr ： 指類(lèi)型的內(nèi)部表示； ? Value： 常量值。 ? TypePtr ： 指類(lèi)型的內(nèi)部表示； 7 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? Access： 等于 dir(直接變量 )或 indir(間接變量 )； ? Level： 表示變量所在的層數(shù)； ? Off： 表示變量在過(guò)程等中的偏移量。 變量： varKind TypePtr Kind Access Level off ? Off： 表示域名在記錄中的偏移量； ? HostType： 表示域名對(duì)應(yīng)類(lèi)型的內(nèi)部表示。 域名： fieldKind TypePtr Kind Off HostType 8 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? Parm： 表示值參信息表地址； ? Class： 為 actual時(shí)表示實(shí)在過(guò)程 /函數(shù)名，為 formal時(shí)表示形參過(guò)程 /函數(shù)名； ? Code： 表示過(guò)程 /函數(shù)的目標(biāo)代碼地址； ? Size： 表示本過(guò)程 /函數(shù)的空間大??； ? Forward： 為 true時(shí)表示向前聲明。 過(guò)函： routKind TypePtr Kind Level Parm Class Code Size Forward actual routKind TypePtr Kind Level Parm Class Off formal 9 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? 例，有聲明如下： const pai= 。 type vector=array[1..10] OF integer。 var x, y : real 。 r, s : vector 。 設(shè)當(dāng)前層數(shù)和可用 offset值分別為 L和 0，構(gòu)造標(biāo)識(shí)符 pai, vector, x, y, r 和 s 的屬性表示。 pai： consKind realPtr vector： typeKind aPtr x： varKind realPtr dir L 0 y： varKind realPtr dir L 1 r： varKind aPtr dir L 2 s： varKind aPtr dir L 12 10 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 符號(hào)表的 C語(yǔ)言描述如下 (見(jiàn) p154)： ? Typedef enum{consKind,typeKind,varKind, fieldKind,procKind,funcKind} idKIND。 ? Typedef enum{dir,indir} AccessKIND。 ? Typedef enum{formal ,acttual } paramKIND。 ? Typedef struct{ idNAME id_name。 idATTRIBUTE id_attribute。 //標(biāo)識(shí)符屬性域 symbolTABLE *next } symbolTABLE //符號(hào)表 11 《編譯原理》電子教案 韶關(guān)學(xué)院計(jì)算機(jī)系程細(xì)柱 ? Typedef struct{ idTYPE* id_type。 idKIND id_kind。 idBODY id_body。 //標(biāo)識(shí)符的 BODY } idATTRIBUTE。 //標(biāo)識(shí)符屬性域 ? Typedef struct{ constidBODY const_id_body。//常量 屬性 varidBODY var_id_body。 //變量 屬性 profunidBODY profunc_id_body。//過(guò)函 } idBODY
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1