PL/0語言是Pascal語言的一個子集，我們這里分析的PL/0的編譯程序包括了對PL/0語言源程序進行分析處理、編譯生成類PCODE代碼，并在虛擬機上解釋運行生成的類PCODE代碼的功能。
　　PL/0語言編譯程序采用以語法分析為核心、一遍掃描的編譯方法。詞法分析和代碼生成作為獨立的子程序供語法分析程序調用。語法分析的同時，提供了出錯報告和出錯恢復的功能。在源程序沒有錯誤編譯通過的情況下，調用類PCODE解釋程序解釋執行生成的類PCODE代碼。

　　詞法分析子程序分析：
　　詞法分析子程序名為getsym，功能是從源程序中讀出一個單詞符號（token），把它的信息放入全局變量 sym、id和num中，語法分析器需要單詞時，直接從這三個變量中獲得。（注意！語法分析器每次用完這三個變量的值就立即調用getsym子程序獲取新的單詞供下一次使用。而不是在需要新單詞時才調用getsym過程。）getsym過程通過反復調用getch子過程從源程序過獲取字符，并把它們拼成單詞。getch過程中使用了行緩沖區技術以提高程序運行效率。
　　詞法分析器的分析過程：調用getsym時，它通過getch過程從源程序中獲得一個字符。如果這個字符是字母，則繼續獲取字符或數字，最終可以拼成一個單詞，查保留字表，如果查到為保留字，則把sym變量賦成相應的保留字類型值；如果沒有查到，則這個單詞應是一個用戶自定義的標識符（可能是變量名、常量名或是過程的名字），把sym置為ident，把這個單詞存入id變量。查保留字表時使用了二分法查找以提高效率。如果getch獲得的字符是數字，則繼續用getch獲取數字，并把它們拼成一個整數，然后把sym置為 number，并把拼成的數值放入num變量。如果識別出其它合法的符號（比如：賦值號、大于號、小于等于號等），則把sym則成相應的類型。如果遇到不合法的字符，把sym置成nul。

　　語法分析子程序分析：
　　語法分析子程序采用了自頂向下的遞歸子程序法，語法分析同時也根據程序的語意生成相應的代碼，并提供了出錯處理的機制。語法分析主要由分程序分析過程（block）、常量定義分析過程（constdeclaration）、變量定義分析過程（vardeclaration）、語句分析過程（statement）、表達式處理過程（expression）、項處理過程（term）、因子處理過程（factor）和條件處理過程（condition）構成。這些過程在結構上構成一個嵌套的層次結構。除此之外，還有出錯報告過程（error）、代碼生成過程（gen）、測試單詞合法性及出錯恢復過程（test）、登錄名字表過程（enter）、查詢名字表函數（position）以及列出類 PCODE代碼過程（listcode）作過語法分析的輔助過程。
　　由PL/0的語法圖可知：一個完整的PL/0程序是由分程序和句號構成的。因此，本編譯程序在運行的時候，通過主程序中調用分程序處理過程block來分析分程序部分（分程序分析過程中還可能會遞歸調用block過程），然后，判斷最后讀入的符號是否為句號。如果是句號且分程序分析中未出錯，則是一個合法的PL/0程序，可以運行生成的代碼，否則就說明源PL/0程序是不合法的，輸出出錯提示即可。
　　下面按各語法單元分析PL/0編譯程序的運行機制。

　　分程序處理過程：
　　語法分析開始后，首先調用分程序處理過程（block）處理分程序。過程入口參數置為：0層、符號表位置0、出錯恢復單詞集合為句號、聲明符或語句開始符。進入block過程后，首先把局部數據段分配指針設為3，準備分配3個單元供運行期存放靜態鏈SL、動態鏈DL 和返回地址RA。然后用tx0記錄下當前符號表位置并產生一條jmp指令，準備跳轉到主程序的開始位置，由于當前還沒有知到主程序究竟在何處開始，所以 jmp的目標暫時填為0，稍后再改。同時在符號表的當前位置記錄下這個jmp指令在代碼段中的位置。在判斷了嵌套層數沒有超過規定的層數后，開始分析源程序。首先判斷是否遇到了常量聲明，如果遇到則開始常量定義，把常量存入符號表。接下去用同樣的方法分析變量聲明，變量定義過程中會用dx變量記錄下局部數據段分配的空間個數。然后如果遇到procedure保留字則進行過程聲明和定義，聲明的方法是把過程的名字和所在的層次記入符號表，過程定義的方法就是通過遞歸調用block過程，因為每個過程都是一個分程序。由于這是分程序中的分程序，因此調用block時需把當前的層次號lev加一傳遞給block 過程。分程序聲明部分完成后，即將進入語句的處理，這時的代碼分配指針cx的值正好指向語句的開始位置，這個位置正是前面的jmp指令需要跳轉到的位置。于是通過前面記錄下來的地址值，把這個jmp指令的跳轉位置改成當前cx的位置。并在符號表中記錄下當前的代碼段分配地址和局部數據段要分配的大?。╠x 的值）。生成一條int指令，分配dx個空間，作為這個分程序段的第一條指令。下面就調用語句處理過程statement分析語句。分析完成后，生成操作數為0的opr指令，用于從分程序返回（對于0層的主程序來說，就是程序運行完成，退出）。

　　常量定義過程：
　　通過循環，反復獲得標識符和對應的值，存入符號表。符號表中記錄下標識符的名字和它對應的值。

　　變量定義過程：
　　與常量定義類似，通過循環，反復獲得標識符，存入符號表。符號表中記錄下標識符的名字、它所在的層及它在所在層中的偏移地址。

　　語句處理過程：
　　語句處理過程是一個嵌套子程序，通過調用表達式處理、項處理、因子處理等過程及遞歸調用自己來實現對語句的分析。語句處理過程可以識別的語句包括賦值語句、read語句、write語句、call語句、if語句、while語句。當遇到begin/end語句時，就遞歸調用自己來分析。分析的同時生成相應的類PCODE指令。

　　賦值語句的處理：
　　首先獲取賦值號左邊的標識符，從符號表中找到它的信息，并確認這個標識符確為變量名。然后通過調用表達式處理過程算得賦值號右部的表達式的值并生成相應的指令保證這個值放在運行期的數據棧頂。最后通過前面查到的左部變量的位置信息，生成相應的sto指令，把棧頂值存入指定的變量的空間，實現了賦值操作。

　　read語句的處理：
　　確定read語句語法合理的前提下（否則報錯），生成相應的指令：第一條是16號操作的opr指令，實現從標準輸入設備上讀一個整數值，放在數據棧頂。第二條是sto指令，把棧頂的值存入read語句括號中的變量所在的單元。

　　write語句的處理：
　　與read語句相似。在語法正確的前提下，生成指令：通過循環調用表達式處理過程分析write語句括號中的每一個表達式，生成相應指令保證把表達式的值算出并放到數據棧頂并生成14號操作的opr指令，輸出表達式的值。最后生成15號操作的opr指令輸出一個換行。

　　call語句的處理：
　　從符號表中找到call語句右部的標識符，獲得其所在層次和偏移地址。然后生成相應的cal指令。至于調用子過程所需的保護現場等工作是由類PCODE解釋程序在解釋執行cal指令時自動完成的。

　　if語句的處理：
　　按if語句的語法，首先調用邏輯表達式處理過程處理if語句的條件，把相應的真假值放到數據棧頂。接下去記錄下代碼段分配位置（即下面生成的jpc指令的位置），然后生成條件轉移jpc指令（遇0或遇假轉移），轉移地址未知暫時填0。然后調用語句處理過程處理 then語句后面的語句或語句塊。then后的語句處理完后，當前代碼段分配指針的位置就應該是上面的jpc指令的轉移位置。通過前面記錄下的jpc指令的位置，把它的跳轉位置改成當前的代碼段指針位置。

　　begin/end語句的處理：
　　通過循環遍歷begin/end語句塊中的每一個語句，通過遞歸調用語句分析過程分析并生成相應代碼。

　　while語句的處理：
　　首先用cx1變量記下當前代碼段分配位置，作為循環的開始位置。然后處理while語句中的條件表達式生成相應代碼把結果放在數據棧頂，再用cx2變量記下當前位置，生成條件轉移指令，轉移位置未知，填0。通過遞歸調用語句分析過程分析do語句后的語句或語句塊并生成相應代碼。最后生成一條無條件跳轉指令jmp，跳轉到cx1所指位置，并把cx2所指的條件跳轉指令的跳轉位置改成當前代碼段分配位置。

　　表達式、項、因子處理：
　　根據PL/0語法可知，表達式應該是由正負號或無符號開頭、由若干個項以加減號連接而成。而項是由若干個因子以乘除號連接而成，因子則可能是一個標識符或一個數字，或是一個以括號括起來的子表達式。根據這樣的結構，構造出相應的過程，遞歸調用就完成了表達式的處理。把項和因子獨立開處理解決了加減號與乘除號的優先級問題。在這幾個過程的反復調用中，始終傳遞fsys變量的值，保證可以在出錯的情況下跳過出錯的符號，使分析過程得以進行下去。

　　邏輯表達式的處理：
　　首先判斷是否為一元邏輯表達式：判奇偶。如果是，則通過調用表達式處理過程分析計算表達式的值，然后生成判奇指令。如果不是，則肯定是二元邏輯運算符，通過調用表達式處理過程依次分析運算符左右兩部分的值，放在棧頂的兩個空間中，然后依不同的邏輯運算符，生成相應的邏輯判斷指令，放入代碼段。

　　判斷單詞合法性與出錯恢復過程分析：
　　本過程有三個參數，s1、s2為兩個符號集合，n為出錯代碼。本過程的功能是：測試當前符號（即sym變量中的值）是否在s1集合中，如果不在，就通過調用出錯報告過程輸出出錯代碼n，并放棄當前符號，通過詞法分析過程獲取一下單詞，直到這個單詞出現在s1或s2集合中為止。
　　這個過程在實際使用中很靈活，主要有兩個用法：
　　在進入某個語法單位時，調用本過程，檢查當前符號是否屬于該語法單位的開始符號集合。若不屬于，則濾去開始符號和后繼符號集合外的所有符號。
　　在語法單位分析結束時，調用本過程，檢查當前符號是否屬于調用該語法單位時應有的后繼符號集合。若不屬于，則濾去后繼符號和開始符號集合外的所有符號。
　　通過這樣的機制，可以在源程序出現錯誤時，及時跳過出錯的部分，保證語法分析可以繼續下去。

　　語法分析過程中調用的其它子過程相對比較簡單，請參考源程序的注釋。

　　類PCODE代碼解釋執行過程分析
　　這個過程模擬了一臺可以運行類PCODE指令的棧式計算機。它擁有一個棧式數據段用于存放運行期數據、擁有一個代碼段用于存放類PCODE程序代碼。同時還擁用數據段分配指針、指令指針、指令寄存器、局部段基址指針等寄存器。
　　解釋執行類PCODE代碼時，數據段存儲分配方式如下：
　　對于源程序的每一個過程（包括主程序），在被調用時，首先在數據段中開辟三個空間，存放靜態鏈SL、動態鏈DL和返回地址RA。靜態鏈記錄了定義該過程的直接外過程（或主程序）運行時最新數據段的基地址。動態鏈記錄調用該過程前正在運行的過程的數據段基址。返回地址記錄了調用該過程時程序運行的斷點位置。對于主程序來說，SL、DL和RA的值均置為0。靜態鏈的功能是在一個子過程要引用它的直接或間接父過程（這里的父過程是按定義過程時的嵌套情況來定的，而不是按執行時的調用順序定的）的變量時，可以通過靜態鏈，跳過個數為層差的數據段，找到包含要引用的變量所在的數據段基址，然后通過偏移地址訪問它。
　　在過程返回時，解釋程序通過返回地址恢復指令指針的值到調用前的地址，通過當前段基址恢復數據段分配指針，通過動態鏈恢復局部段基址指針。實現子過程的返回。對于主程序來說，解釋程序會遇到返回地址為0的情況，這時就認為程序運行結束。
　　解釋程序過程中的base函數的功能，就是用于沿著靜態鏈，向前查找相差指定層數的局部數據段基址。　　這在使用sto、lod等訪問局部變量的指令中會經常用到。
　　類PCODE代碼解釋執行的部分通過循環和簡單的case判斷不同的指令，做出相應的動作。當遇到主程序中的返回指令時，指令指針會指到0位置，把這樣一個條件作為終至循環的條件，保證程序運行可以正常的結束。

以下源程序是以清華大學出版社《編譯原理》中的源代碼為基礎作了少量改動而成。

程序在Turbo Pascal 7.0上編譯運行通過。

************************************************************************************

program pl0(fa,fa1,fa2); (* PL/0編譯程序與代碼生成解釋運行程序 *)
(* PL/0 compiler with code generation *)
label 99; (* 聲明出錯跳轉標記 *)
(* 在Turbo Pascal 7.0中已不允許跨過程的GOTO轉移，因此后面的GOTO語句均被我去除了，因此這里的label也沒有意義了 *)
const (* 常量定義 *)
norw = 13;   (* of reserved words *) (* 保留字的個數 *)
txmax = 100;   (* length of identifier table *) (* 標識符表的長度（容量） *)
nmax = 14;   (* max number of digits in numbers *) (* 數字允許的最長位數 *)
al = 10;     (* length of identifiers *) (* 標識符最長長度 *)
amax = 2047;   (* maximum address *) (* 尋址空間 *)
levmax = 3;   (* max depth of block nesting *) (* 最大允許的塊嵌套層數 *)
cxmax = 200;   (* size of code array *) (* 類PCODE目標代碼數組長度（可容納代碼行數） *)
type (* 類型定義 *)
symbol = (nul, ident, number, plus, minus, times, slash, oddsym,
      eql, neq, lss, leq, gtr, geq, lparen, rparen, comma,
      semicolon, period, becomes, beginsym, endsym, ifsym,
      thensym, whilesym, writesym, readsym, dosym, callsym,
      constsym, varsym, procsym); (* symobl類型標識了不同類型的詞匯 *)
alfa = packed array[1..al] of char; (* alfa類型用于標識符 *)
object1 = (constant, variable, procedur); (* object1為三種標識符的類型 *)
(* 原程序在此使用object作為類型名稱，在支持面向對象的Turbo Pascal 7.0中編譯不能通過 *)
(* wirth used the word "procedure" there, whick won't work! *)
(* 上面一行是課本上的程序清單中的注釋，說本程序的原作者Wirth在這里用了procedure這個詞作為標識符類型，是不可以的。
  事實上Wirth原本在這里用的詞是prozedure，是可以的。 *)
symset = set of symbol; (* symset是symbol類型的一個集合類型，可用于存放一組symbol *)
fct = (lit, opr, lod, sto, cal, int, jmp, jpc); (* fct類型分別標識類PCODE的各條指令 *)
instruction = packed record
  f: fct;     (* function code *)
  l: 0..levmax; (* level *)
  a: 0..amax;   (* displacement addr *)
end; (* 類PCODE指令類型，包含三個字段：指令f、層差l和另一個操作數a *)
(* 
  lit 0, a load constant a
  opr 0, a execute opr a
  lod l, a load variable l, a
  sto l, a store variable l, a
  cal l, a call procedure a at level l
  int 0, a increment t-register by a
  jmp 0, a jump to a
  jpc 0, a jump conditional to a 
*)
var (* 全局變量定義 *)
fa: text; (* 文本文件fa用于列出源程序 *)
fa1, fa2: text; (* 文本文件fa1用于列出類PCODE代碼、fa2用于記錄解釋執行類PCODE代碼的過程 *)
listswitch: boolean; (* true set list object code *) (* 如果本變量置true，程序編譯后將為列出類PCODE代碼，
                                      否則不列出類PCODE代碼 *)
ch: char; (* last char read *) (* 主要用于詞法分析器，存放最近一次從文件中讀出的字符 *)
sym: symbol; (* last symbol read *) (* 詞法分析器輸出結果之用，存放最近一次識別出來的token的類型 *)
id: alfa; (* last identifier read *) (* 詞法分析器輸出結果之用，存放最近一次識別出來的標識符的名字 *)
num: integer; (* last number read *) (* 詞法分析器輸出結果之用，存放最近一次識別出來的數字的值 *)
cc: integer; (* character count *) (* 行緩沖區指針 *) 
ll: integer; (* line length *) (* 行緩沖區長度 *)
kk: integer; (* 引入此變量是出于程序性能考慮，見getsym過程注釋 *)
cx: integer; (* code allocation index *) (* 代碼分配指針，代碼生成模塊總在cx所指位置生成新的代碼 *)
line: array[1..81] of char; (* 行緩沖區，用于從文件讀出一行，供詞法分析獲取單詞時之用 *)
a: alfa; (* 詞法分析器中用于臨時存放正在分析的詞 *)
code: array[0..cxmax] of instruction; (* 生成的類PCODE代碼表，存放編譯得到的類PCODE代碼 *)
word: array[1..norw] of alfa; (* 保留字表 *)
wsym: array[1..norw] of symbol; (* 保留字表中每一個保留字對應的symbol類型 *)
ssym: array[' '..'^'] of symbol; (* 一些符號對應的symbol類型表 *)
  (* wirth uses "array[char]" here *)
mnemonic: array[fct] of packed array[1..5] of char;(* 類PCODE指令助記符表 *)
declbegsys, statbegsys, facbegsys: symset; (* 聲明開始、表達式開始和項開始符號集合 *)
table: array[0..txmax] of record (* 符號表 *)
  name: alfa; (* 符號的名字 *)
  case kind: object1 of (* 符號的類型 *)
  constant: (* 如果是常量名 *)
    (val: integer); (* val中放常量的值 *)
  variable, procedur: (* 如果是變量名或過程名 *)
    (level, adr, size: integer) (* 存放層差、偏移地址和大小 *)
    (* "size" lacking in orginal. I think it belons here *)
end;
fin, fout: text; (* fin文本文件用于指向輸入的源程序文件，fout程序中沒有用到 *)
fname: string; (* 存放PL/0源程序文件的文件名 *)
(* 我修改的代碼：原程序在此處使用alfa類型，無法在Turbo Pascal 7.0中通過，readln函數的參數不能為alfa型 *)
err: integer; (* 出錯總次數 *)
(* 出錯處理過程error *)
(* 參數：n:出錯代碼 *)
procedure error(n: integer);
begin
writeln('****', ' ': cc-1, '!', n:2); (* 在屏幕cc-1位置顯示!與出錯代碼提示，由于cc
                            是行緩沖區指針，所以!所指位置即為出錯位置 *)
writeln(fa1, '****', ' ': cc-1, '!', n:2); (* 在文件cc-1位置輸出!與出錯代碼提示 *)
err := err + 1 (* 出錯總次數加一 *)
end (* error *);
(* 詞法分析過程getsym *)
procedure getsym;
var 
i, j, k: integer;
(* 讀取原程序中下一個字符過程getch *)
procedure getch;
begin
  if cc = ll then (* 如果行緩沖區指針指向行緩沖區最后一個字符就從文件讀一行到行緩沖區 *)
  begin
  if eof(fin) then (* 如果到達文件末尾 *)
  begin
    write('Program incomplete'); (* 出錯，退出程序 *)
    close(fa);
    close(fa1);
    close(fin);
    halt(0);     
    { goto 99 }
    (* 我修改的代碼，由于Turbo Pascal 7.0中不允許跨過程的goto，就只能用上面的方法退出程序了。 *)
  end;
  ll := 0; (* 行緩沖區長度置0 *)
  cc := 0; (* 行緩沖區指針置行首 *)
  write(cx: 4, ' '); (* 輸出cx值，寬度為4 *)
  write(fa1, cx: 4, ' '); (* 輸出cx值，寬度為4到文件 *)
  while not eoln(fin) do (* 當未到行末時 *)
  begin
    ll := ll + 1; (* 行緩沖區長度加一 *)
    read(fin, ch); (* 從文件讀入一個字符到 ch *)
    write(ch); (* 在屏幕輸出ch *)
    write(fa1, ch); (* 把ch輸出到文件 *)
    line[ll] := ch; (* 把讀到的字符存入行緩沖區相應的位置 *)
  end;
  (* 可見，PL/0源程序要求每行的長度都小于81個字符 *)
  writeln; 
  ll := ll + 1; (* 行緩沖區長度加一，用于容納即將讀入的回車符CR *)
  read(fin, line[ll]);(* 把#13(CR)讀入行緩沖區尾部 *)
  read(fin, ch); (* 我添加的代碼。由于PC上文本文件換行是以#13#10(CR+LF)表示的，
              所以要把多余的LF從文件讀出，這里放在ch變量中是由于ch變量的
              值在下面即將被改變，把這個多余值放在ch中沒有問題 *)
  writeln(fa1); 
  end;
  cc := cc + 1; (* 行緩沖區指針加一，指向即將讀到的字符 *)
  ch := line[cc] (* 讀出字符，放入全局變量ch *)
end (* getch *); 
begin (* getsym *)
while (ch = ' ') or (ch = #13) do (* 我修改的代碼：這句原來是用于讀一個有效的字符
                        (跳過讀出的字符中多余的空格)，但實際上還要跳
                        過多余的回車 *)
  getch; 
if ch in ['a'..'z'] then (* 如果讀出的字符是一個字母，說明是保留字或標識符 *)
begin
  k := 0; (* 標識符緩沖區指針置0 *)
  repeat (* 這個循環用于依次讀出源文件中的字符構成標識符 *)
  if k < al then (* 如果標識符長度沒有超過最大標識符長度(如果超過，就取前面一部分，把多余的拋棄) *)
  begin