編譯原理實(shí)驗(yàn)指導(dǎo)書-語義分析

編譯原理實(shí)驗(yàn)指導(dǎo)書實(shí)驗(yàn)3語義分析實(shí)驗(yàn)?zāi)康撵柟虒?duì)語義分析的基本功能和原理的認(rèn)識(shí)。能夠基于語法指導(dǎo)翻譯的知識(shí)進(jìn)行語義分析。掌握類高級(jí)語言中基本語句所對(duì)應(yīng)的語義動(dòng)作。理解并處理語義分析中的異常和錯(cuò)誤。實(shí)驗(yàn)內(nèi)容在語法分析器的基礎(chǔ)上設(shè)計(jì)實(shí)現(xiàn)類高級(jí)語言的語義分析器，基本功能如下：能分析以下幾類語句，并生成中間代碼（三地址指令和四元式形式）：聲明語句（包括變量聲明、數(shù)組聲明、記錄聲明和過程聲明）表達(dá)式及賦值語句（包括數(shù)組元素的引用和賦值）分支語句：if_then_else循環(huán)語句：do_while過程調(diào)用語句（2）具備語義錯(cuò)誤處理能力，包括變量或函數(shù)重復(fù)聲明、變量或函數(shù)引用前未聲明、運(yùn)算符和運(yùn)算分量之間的類型不匹配（如整型變量與數(shù)組變量相加減）等錯(cuò)誤，能準(zhǔn)確給出錯(cuò)誤所在位置，并采用可行的錯(cuò)誤恢復(fù)策略。輸出的錯(cuò)誤提示信息格式如下：ErroratLine[行號(hào)]：[說明文字]（3）系統(tǒng)的輸入形式：要求能夠通過文件導(dǎo)入測(cè)試用例。測(cè)試用例要涵蓋第（1）條中列出的各種類型的語句，以及第（2）條中列出的各種類型的錯(cuò)誤。（4）系統(tǒng)的輸出分為兩部分：一部分是打印輸出符號(hào)表。另一部分是打印輸出三地址指令和四元式序列，格式如下圖所示（以輸入語句“whilea<bdoifc<dthenx=y+zelsex=y-z”為例）：1:(j<,a,b,3) ifa<bgoto32:(j,-,-,11) goto113:(j<,c,d,5) ifc<dgoto54:(j,-,-,8) goto85:(+,y,z,t1) t1=y+z6:(=,t1,-,x) x=t17:(j,-,-,1) goto18:(-,y,z,t2) t2=y-z9:(=,t2,-,x) x=t210:(j,-,-,1) goto111:除此之外，可以實(shí)現(xiàn)一些額外功能，例如自動(dòng)類型轉(zhuǎn)換，識(shí)別其它類型語義錯(cuò)誤，如過程返回類型與聲明類型不匹配；過程調(diào)用時(shí)實(shí)參與形參數(shù)目或類型不匹配；對(duì)非數(shù)組型變量使用數(shù)組訪問操作符“[…]”；對(duì)普通變量使用過程調(diào)用操作符“call”；數(shù)組訪問操作符“[…]”中出現(xiàn)非整數(shù)等。實(shí)驗(yàn)要求（1）可以自己定義文法，也可以參考教材中給出的文法（參見本指導(dǎo)書附錄）（2）要求實(shí)驗(yàn)之前完成實(shí)驗(yàn)報(bào)告中的預(yù)習(xí)部分（即需求分析、文法設(shè)計(jì)和系統(tǒng)設(shè)計(jì)三個(gè)板塊）。未按時(shí)完成預(yù)習(xí)報(bào)告者將扣除相應(yīng)分?jǐn)?shù)。（3）要求當(dāng)堂完成實(shí)驗(yàn)內(nèi)容，并進(jìn)行現(xiàn)場(chǎng)驗(yàn)收。未當(dāng)堂完成驗(yàn)收者將扣除相應(yīng)分?jǐn)?shù)。（4）要求實(shí)驗(yàn)結(jié)束后一周內(nèi)提交實(shí)驗(yàn)報(bào)告及源程序。未按時(shí)提交者將影響成績(jī)?cè)u(píng)定。實(shí)驗(yàn)評(píng)分標(biāo)準(zhǔn)一、課堂表現(xiàn)（10分）1．出勤情況（遲到，早退，缺席）2．是否遵守課堂紀(jì)律二、操作表現(xiàn)（50分）1．當(dāng)堂按時(shí)完成（10分）2．功能齊全，結(jié)果正確無誤（30分）3．