2023年語義分析實驗報告

云南大學(xué)編譯原理實驗報告實驗題目：語義分析學(xué)院：信息學(xué)院專業(yè)：計算機科學(xué)與技術(shù)學(xué)號：姓名：劉繼遠gFplace=F();otv=tv+1;8gen(divid,pi,Fplace,tv);oPs=P(tv)；。(3)、在gen()函數(shù)里模仿*運算，增長相應(yīng)的四元式輸出語句：if(op==divid)///運算(fprintf(fout(/,%s,%s,%s)emphtemp2,temp3)；。printf("(/,%s,%s,%s)H,templ,temp2,temp3);這樣就在程序中增長了'/'運算的分析規(guī)定。2、嚴禁同名反復(fù)聲明所以登記符號之前要檢查有沒有同名變量聲明過。由于table[tx]數(shù)組就是存放聲明變量名和類型的結(jié)構(gòu)體數(shù)組,可以在enter()這個存放聲明變量的函數(shù)中，增長相應(yīng)檢查變量名反復(fù)的函數(shù)：for(inti=l;i<txmax;i++){。/*檢查變量是否重名*/?if(strcmp(id,tab1e[i].name)==0){。gprindT錯誤4：變量名反復(fù).\n");exit(0)；00J。）每次要把一個變量加入到tableftx］數(shù)組中都要檢瓷變量名是否跟table［tx］數(shù)組中已有的變量名反復(fù),反復(fù)就報錯，并跳出程序。。這樣就在程序中增長了檢查反復(fù)變量名的功能。五、結(jié)果及分析1、運營的文獻a.txt內(nèi)容為：reala,b;ntc,d;c:=c+d*b；d:=b*a.運營結(jié)果為：*C:\Docu>entsandSettings'Adainist工ator\桌面\StarterFiles\請揄入分析的文件名dtxt請輜入保存分析錯果的文件名:b.txt<*,d,b,T101><+,c,T101,T102><：=,T102,,c><*,b,a,T103><：=,T103,,d>語法正確Pressanykeytocontinue2、運營文獻a.lxt的內(nèi)容為:reala,b;intc,d,a；c:=c+d*b；d:=b*a.運營結(jié)果為:c：*C:\Docu>entsandSettings'Adbuinistrator\桌面\Starter，請揄入分析的文件名:a.txt請輸入葆叁分帝結(jié)界的文彳牛名=bl.txt輸臭4：變量名重復(fù).Pressanykeytocontinue.3、運營文獻a.txt的內(nèi)容為:reala,b;intc,d；f:=c+d*b;d：=b*a.運營的結(jié)果為:從以上三個結(jié)果（一個對的，兩個錯誤）來看，完全實現(xiàn)了擴展規(guī)定的兩個功能,也完全符合定義的語法語義規(guī)則。目錄一、實驗?zāi)康腻e誤!未定義書簽。二、實驗內(nèi)容。錯誤!未定義書簽。三、源程序分析錯誤!未定義書簽。1、程序采用的BNF錯誤!未定義書簽。2、根據(jù)語義規(guī)定得到相應(yīng)的翻譯模式。錯誤!未定義書簽。3、實現(xiàn)原理錯誤!未定義書簽。4、文法的屬性分析。錯誤!未定義書簽。5、過程設(shè)計錯誤!未定義書簽。6、子程序說明。錯誤!未定義書簽。四、設(shè)計的基本思想（涉及修改之后的屬性文法、屬性類型

分析、翻譯模式）。錯誤!未定義書簽。1、增長除法運算錯誤!未定義書簽。2、嚴禁同名反復(fù)聲明錯誤!未定義書簽。五、結(jié)果及分析錯誤!未定義書簽。一、實驗?zāi)康倪M一步理解遞歸下降分析原理和實現(xiàn)方法，理解語義分析的基本機制,掌握語義子程序的構(gòu)造方法。二、實驗內(nèi)容將帶變量聲明的表達式翻譯為四元式序列，其中涉及以下規(guī)定：非終結(jié)符號D實現(xiàn)定義兩種類型int,real變量的聲明；非終結(jié)符號S實現(xiàn)變量之間的*,+,:=（賦值運算）兩個關(guān)鍵字int和real變量之間的*,+,：=（賦值）運算只能使用聲明過的變量，所以要檢查使用的變量是否聲明過。對每個*,+,：=（賦值）運算生成一條四元式如（*,A,B,T1）,其中T1是臨時變量*優(yōu)先級別高于十,*滿足左結(jié)合規(guī)則三、源程序分析這是一個簡樸的包含詞法、語法、語義分析的程序：語義分析.h和語義分析.cpp。實現(xiàn)的基本原理是自頂向下分析，單遍掃描，以語法分析為核心，調(diào)用詞法分析，并實現(xiàn)語義分析。1、程序采用的BNFP—DS.D—B;DD-￡B—>intL|realLL->id|L,idS->V：=EHH->;S|eE—E+T|TT—T*FIFF-(E)F—idV->id消除左遞歸之后的等價文法start—>DS.D—B;DD-￡B—intL|realLL一idA

A—,idAA一gS->V：=EHH->;S18E->TRR-十TRR—>￡T->FPP一*FPP-￡F—(E)F—idV—id2、根據(jù)語義規(guī)定得到相應(yīng)的翻譯模式start—>DS.D—b；dD-￡B—*intL{L.type:=int}|realL{L.type:=real}L一id{A.Type:=L.typeenter(v.entry,L.type)}AA—>,idA{A1.Type:=A.typeenter(v.entry,A.type)}A—>8S->V：=E{gen(H：=",E.place,O,V.place)}HH—;S|￡E->T{R.i：=T.place}{E.place:=R.s}R—十T{RI.i:=newtemp；E->T{R.i：=T.place}{E.place:=R.s}R{R.s:=RI.s;}R—?8{Rs=R.i}T—F{P.i:=F.place}P{T.p1ace：=P.s}P—>大F{p1.i:=newtemp;gen("*n,P.i,F.place,T)}P{P.s:=pl.s；)P->8{P.s=P.i}F—(E){F.place:=E.place)F—>id{F.place:=position(id)}V—>id{V.place:=position(id)}3、實現(xiàn)原理基于翻譯模式的自上而下語義解決(翻譯).對每個非終結(jié)符A,構(gòu)造一個函數(shù)，以A的每個繼承屬性為形參，以A的綜合屬性為返回值(若有多個綜合屬性，可返回記錄類型的值)。如同預(yù)測分析程序的構(gòu)造，該函數(shù)代碼的流程是根據(jù)當前的輸入符號來決定調(diào)用哪個產(chǎn)生式。.與每個產(chǎn)生式相關(guān)的代碼根據(jù)產(chǎn)生式右端的終結(jié)符，非終結(jié)符，和語義規(guī)則集(語義動作)，依從左到右的順序完畢下列工作：(1)對終結(jié)符X,保存其綜合屬性x的值至專為X.x而聲明的變量;然后調(diào)用匹配終結(jié)符(malch_token)和取下一輸入符號(next—token)的函數(shù)；(2)對非終結(jié)符B,運用相應(yīng)于B的函數(shù)調(diào)用產(chǎn)生賦值語句c：=B(bl,b2,…,bk),其中變量bl,b2,…，bk相應(yīng)B的各繼承屬性，變量c相應(yīng)B的綜合屬性（3）對語義規(guī)則集，直接copy其中每一語義規(guī)則（動作）來產(chǎn)生代碼,只是將對屬性的訪問替換為對相應(yīng)變量的訪問o4、文法的屬性分析文法符號屬性綜合或繼承含義start無D無B無LL.type繼承類型AA.type繼承類型S無EE.place綜合指向變量或臨時變量的指針（用整數(shù)實現(xiàn)）RR.i繼承同上R.s綜合同上TT.place繼承同上PP.i繼承同上P.S綜合同上FF.place綜合同上VV.place綜合同上5、過程設(shè)計intgetsym()；〃讀一個單詞voidentcr(enumsymboltype);//登記符號表voidinit();intposition(char*idt);〃查詢符號表用函數(shù)，返回在符號表中位置intgen(enumsymbolop,intargl,intagr2,intresult);//生成四元式voidnewtemp()〃申請臨時變量voidstart();voidD();voidBO;voidL(enumsymbo1type);voidA(enumsymbo1type);voidS()；voidH();intE();intR(intRi)；intT()；intP(intpi);intF();intV()；6、子程序說明init()：初始化函數(shù)，重要是用于把單字符(例如:+、一、*、/)賦值一個symbol。getsym()：把文獻中的一個字符或者一個字符串分類成各種類型，用sym表達。enter()：把聲明過的變量保存到tabIe[lx]這個結(jié)構(gòu)體數(shù)組中。Position()：查找名字的位置，找到則返回在名字表中的位置，否則返回0。gen():生成中間代碼，通過傳來的參數(shù)生產(chǎn)四元式。start()：開始對整個文獻的語法語義經(jīng)行分析。D()、B()、L()、A():實現(xiàn)變量的聲明，并把變量的類型和名字保存到tab1e[tx]這個結(jié)構(gòu)體數(shù)組中。S()、H()、E()、T()、P()、R()、F()、V():實現(xiàn)后面程序運算語句的檢查，并生成中間代碼；其中：S()是檢查賦值運算；H()是執(zhí)行下一條運算語句；E()分析賦值號后面的運算；R()是實檢查+運算；P()是檢查*、/運算；F()是實現(xiàn)*、/運算的優(yōu)先級高于十運算，并獲得當前位置的ID;V()獲得當前位置的IDo四、設(shè)計的基本思想(涉及修改之后的屬性文法、屬性類型分析、翻譯模式)按照擴展規(guī)定分析：1、增長除法運算?*，/優(yōu)先級別高于+,*和/滿足