【正文】 CEDURE Q。 END。 end。 end。采用 BNF就可說明哪些符號序列是對于某給定語言 在語法上 有效的程序。 … C過程 call B。 begin c:=b+a。 ?表格管理 程序實現(xiàn) 變量 ， 常量 和 過程 標識符的 信息的登錄與查找 。 ssym[‘+’]=plus。 表示 終態(tài) ，已 識別出一個 單詞 1 2 35141312109786411空格字母字母數(shù)字非字母數(shù)字數(shù)字數(shù)字非數(shù)字： = =非 = =非 =, + ( …… PL/0編譯程序語法分析 ?語法分析的設計與實現(xiàn) ? 自頂向下的語法分析 ? 遞歸子程序法 （遞歸下降分析器 recursivedescent parser） ： 對應 每個非終結符 （語法成分）， 編一個獨立的處理子程序。 termdo(nxtlev, ptx, lev)。 else if (sym == lparen) /* 因子為表達式 */ {getsymdo。 符號表結構 enum object {constant, variable, procedur}。 var b1,b2。tx, lev, amp。 }while (sym == ident)。 /* 全局變量 id中已存有當前名字的名字 */ table[(*ptx)].kind = k。 break。 i = tx + 1。 ...... } } } 〈 因子 〉 ∷= 〈 標識符 〉 |〈 無符號整數(shù) 〉 |‘（ ’ 〈 表達式 〉 ‘） ’ int factor(bool* fsys, int* ptx, int lev) //因子的 語義分析 {if(sym == ident) /* 因子為常量或變量 */ {i = position(id, *ptx)。若不屬于，則 濾去 開始 符號 和 后跟 符號 集合外 的所有符號。 ) r op + * / e nd the n do ?開始符號 集合 bool declbegsys[symnum],statbegsys[symnum],facbegsys[symnum]。 int term (bool* fsys, int * ptx, int lev)。 對調用 expression(fsys)。 condition。 gen(jmp,0,0)。 dx: 計算每個變量在運行棧中相對本 過程 基地址 的偏移量 ，放在 table表 中的 adr域， 生成 目標代碼 時再 放在 code中的 a域 。 ?OPR 0 0 在 過程 目標程序的 出口處 ， 釋放數(shù)據(jù)段 （退棧）， 恢復調用 該過程 前 正在運行的過程 的數(shù)據(jù)段 基址寄存器 B和 棧頂寄存器 T的值，并將 返回地址 送 到指令地址寄存器 P中。 p:=p+1。 b1:=b。 ?棧符號表：函數(shù)或分程序的嵌套結構，使得程序中出現(xiàn)的符號的處理（內層可引用外層符號、同名變量內層優(yōu)先）與棧的操作相一致。 procedure exchange (i, j: integer)。 begin ... a ...exchange (i, j)。 step:=step+1。 上機調試觀察調用執(zhí)行過程，畫出調用分解示意圖 move(2, a, c, b)。 move(1, c, a, b)。 end end。 begin ... end {quicksort}。 a[i]:=a[j]。 符號表的操作： ? 創(chuàng)建符號表：在編譯開始時或進入一個分程序 ? 插入表項：定義時（包括變量和形參定義） ? 查詢表項：可執(zhí)行語句使用時 ? 修改表項：在獲得新的語義值信息時進行 ? 刪除一個或一組無用的項 ? 釋放符號表的空間：在編譯結束前或退出一個分程序 符號表的生存期 ?對多遍掃描的編譯程序，不同遍所用的符號表也往往不同。 l=l1。 p=s[t+3]。 b:=1。 //過程入口地址填寫在 code中 table[tx0].adr=cx。 if(sym==ident) {enter(procedur, amp。 cx1:= cx。 所以在 write語句中 調用 expression時 后跟符為： expression([rparen,ma]+fsys)。 為 symble的元素數(shù) 32 后跟符號集 TEST SYM在 S1中? 打印出錯編號 n S1:=S1+S2 SYM在 S1中? GETSYM 返回 Y Y N N TEST測試過程流程圖 因子的處理過程 procedure factor(fsys:symset)。 statbegsys: [beginsym,callsym,ifsym,whilesym,readsym,writesym]。若不屬于，則 濾去 后跟 符號和 開始 符號 集合外 的所有符號。 } /* 標識符未聲明 */ else {switch (table[i].kind) {case constant: /* 名字為常量 */ break。 return i。 break。 /* 數(shù)越界 */ num = 0。tx 變量說明處理 int vardeclaration(int* ptx,int lev,int* pdx) {if (sym == ident) {enter(variable, ptx, lev, pdx)。 while (sym == ma) {getsymdo。 var c。 enum object kind。 if (sym == rparen) getsymdo。 } 注意一致性：進入每一語法單位處理程序之前，其第一個單詞已讀出，退出時，應讀出下一個語法單位的第一個單詞 〈 項 〉 ∷= 〈 因子 〉 {（ *|/） 〈 因子 〉 } int term(bool* fsys, int* ptx, int lev) {factordo(nxtlev, ptx, lev)。 程序 pl/0 分程序 block 語句 statement 條件 condition 表達式 expression 項 term 因子 factor 語 法 調 用 關 系 圖 VAR A。 … ?詞法分析通過三個 全程量 symbol sym。 PL/0編譯程序 PL/0編譯程序 類 p－ code解釋 程序 類 p－ code代碼 PL/0源程序 輸入數(shù)據(jù) 輸出數(shù)據(jù) PL/0編譯程序的結構框架 PL/0編譯程序的結構 詞法分析程序 語法語義分析程序 代碼生成程序 表格管理程序 出錯處理程序 PL/0源程序 目標程序 編譯系統(tǒng)總體流程圖 啟 動置 初 值調 用 g e t s y m 取 單 詞調 用 b l o c k 過 程當 前 單 詞是 否 為 源 程 序 結 束 符39。 begin read(b)。 r2: … … A過程 call B。 2 PL/0處理機 — 假想棧式機 一、 PL/0處理機簡介 ?目標代碼 類 pcode:一種 棧式機 的 匯編語言 ?棧式機系統(tǒng)結構 :沒有累加器和寄存器，只有存儲棧指針 ?所有運算都在棧頂（零地址機） ?兩種存儲，一個指令寄存器和三個地址寄存器 ，運算在棧頂進行棧數(shù)據(jù)存儲被解釋執(zhí)行程序存儲S[]s[]C O D E?????兩種存儲 ?指令寄存器 I，放當前正在解釋的指令 ?地址寄存器 BPT基址寄存器指令指向下一條執(zhí)行的目標程序地址寄存器棧頂?shù)刂芳拇嫫?若有執(zhí)行調用序列： ABCB 先調用，后結束 B區(qū) A區(qū) B區(qū)