本文详细介绍了PL/0语言编译器的设计与实现，包括设计任务、功能结构、语法分析、语义分析、目标代码生成、活动记录组织和错误处理。编译器采用Java编写，实现了一趟扫描方式，使用了词法分析、语法分析和代码生成程序。同时，文章给出了PL/0语言的BNF描述和假想目标机的代码结构。在功能结构设计中，重点讨论了词法分析、语法分析、语义分析（符号表管理和目标代码生成）以及错误处理的细节。
一、设计任务
1.1程序实现要求
PL/0语言可以看成PASCAL语言的子集，它的编译程序是一个编译解释执行系统。PL/0的目标程序为假想栈式计算机的汇编语言，与具体计算机无关。
PL/0的编译程序和目标程序的解释执行程序都是用JAVA语言书写的，因此PL/0语言可在配备JDK的任何机器上实现。
其编译过程采用一趟扫描方式，以语法分析程序为核心，词法分析和代码生成程序都作为一个独立的过程，当语法分析需要读单词时就调用词法分析程序，而当语法分析正确需要生成相应的目标代码时，则调用代码生成程序。
用表格管理程序建立变量、常量和过程标示符的说明与引用之间的信息联系。
用出错处理程序对词法和语法分析遇到的错误给出在源程序中出错的位置和错误性质。
当源程序编译正确时，PL/0编译程序自动调用解释执行程序，对目标代码进行解释执行，并按用户程序的要求输入数据和输出运行结果。
1.2 PL/0语言的BNF描述（扩充的巴克斯范式表示法）
<prog> → program <id>；<block>
<block> → [<condecl>][<vardecl>][<proc>]<body>
<condecl> → const <const>{,<const>};
<const> → <id>:=<integer>
<vardecl> → var <id>{,<id>};
<proc> → procedure <id>（[<id>{,<id>}]）;<block>{;<proc>}
<body> → begin <statement>{;<statement>}end
<statement> → <id> := <exp>
|if <lexp> then <statement>[else <statement>]
|while <lexp> do <statement>
|call <id>（[<exp>{,<exp>}]）
|<body>
|read (<id>{，<id>})
|write (<exp>{,<exp>})
<lexp> → <exp> <lop> <exp>|odd <exp>
<exp> → [+|-]<term>{<aop><term>}
<term> → <factor>{<mop><factor>}
<factor>→<id>|<integer>|(<exp>)
<lop> → =|<>|<|<=|>|>=
<aop> → +|-
<mop> → *|/
<id> → l{l|d} （注：l表示字母）
<integer> → d{d}
注释：
<prog>：程序 ；<block>：块、程序体 ；<condecl>：常量说明 ；<const>：常量；<vardecl>：变量说明 ；<proc>：分程序 ； <body>：复合语句 ；<statement>：语句；<exp>：表达式 ；<lexp>：条件 ；<term>：项 ； <factor>：因子 ；<aop>：加法运算符；<mop>：乘法运算符； <lop>：关系运算符。
1.3假想目标机的代码
LIT 0 ，a 取常量a放入数据栈栈顶
OPR 0 ，a 执行运算，a表示执行某种运算
LOD L ，a 取变量（相对地址为a，层差为L）放到数据栈的栈顶
STO L ，a 将数据栈栈顶的内容存入变量（相对地址为a，层次差为L）
CAL L ，a 调用过程（转子指令）（
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
