分析器的分析过程：调用GETSYM时，它通过GETCH过程从源程序中获得一个字符。如果这个字符是字母，则继续获取字符或数字，最终可以拼成一个单词，查保留字表，如果查到为保留字，则把SYM变量赋成相应的保留字类型值；如果没有查到，则这个单词应是一个用户自定义的标识符（可能是变量名、常量名或是过程的名字），把SYM置为IDENT，把这个单词存入ID变量。查保留字表时使用了二分法查找以提高效率。如果Getch获得的字符是数字，则继续用Getch获取数字，并把它们拼成一个整数或实数，然后把SYM置为INTEGER或REAL，并把拼成的数值放入NUM变量。如果识别出其它合法的符号（比如：赋值号、大于号、小于等于号等），则把SYM则成相应的类型。如果遇到不合法的字符，把SYM置成NUL。语法分析子程序分析：语法分析子程序采用了自顶向下的递归子程序法，语法分析同时也根据程序的语义生成相应三元代码，并提供了出错处理的机制。语法分析主要由分程序分析过程（BLOCK）、参数变量分析过程（ParaDeclaratio
）、参数变量处理过程（ParaGetSub）、数组处理过程（ParaGetSub）、常量定义分析过程（Co
stDeclaratio
）、变量定义分析过程（Vardeclaratio
）、语句分析过程（Stateme
t）、表达式处理过程（Expressio
）、项处理过程（Term）、因子处理过程（Factor）和条件处理过程（Co
ditio
）构成。这些过程在结构上构成一个嵌套的层次结构。除此之外，还有出错报告过程（Error）、代码生成过程（Ge
）、测试单词合法性及出错恢复过程（Test）、登录名字表过程（E
ter）、查询名字表函数（Positio
）以及列出类PCODE代码过程（Listcode）作过语法分析的辅助过程。由PL0的语法图可知：一个完整的PL0程序是由分程序和句号构成的。因此，本编译程序在运行的时候，通过主程序中调用分程序处理过程block来分析分程序部分（分程序分析过程中还可能会递归调用block过程），然后，判断最后读入的符号是否为句号。如果是句号且分程序分析中未出错，则是一个合法的PL0程序，可以运行生成的代码，否则就说明源PL0程序是不合法的，输出出错提示即可。
ifthe
else语句的处理：按if语句的语法，首先调用逻辑表达式处理过程处理if语句的条件，把相应的真假值
f放到数据栈顶。接下去记录下代码段分配位置（即下面生成的jpc指令的位置），然后生成条件转移jpc指令（遇0或遇假转移），转移地址未知暂时填0。然后调用语句处理过程处理the
语句后面的语句或语句块。the
后的语句处理完后，如果遇到elser