PL/0语言编译器扩展编译原理课程实践（1）

最新推荐文章于 2025-05-26 11:35:54 发布

原创

最新推荐文章于 2025-05-26 11:35:54 发布 · 5k 阅读

10 ·

CC 4.0 BY-SA版权

文章标签：

#语言 #编译器 #扩展 #pascal #integer #数据结构

本文回忆了大学编译原理课程中关于PL/0语言编译器扩展的内容，介绍了PL/0语言的基础知识，并详细阐述了课程实践要求，包括增加注释、条件语句、输入输出、带参数过程、布尔类型、数组类型、函数类型、实数类型等。同时，讨论了静态和动态检查规则，以及exit语句、读写语句的语义。最后，提到了将解释器和编译器分离为两个独立程序的设计考虑。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

转眼大学生活就要结束，编译原理课程学的东西很多都忘记了。当时我们编译原理课程实践是PL/0语言编译器扩展，在原有PL/0语言文法进行扩展。我写这次博文一是为了回忆以前学的知识，加深记忆；二是和大家分享一下，希望可以互相学习，想对一些新手有所帮助。
首先，我先简单介绍一下PL/0语言。PL/0 语言是 Pascal 语言的一个子集，是 Pascal 语言的设计者 Niklaus Wirth 在其专著Algorithms + Data Structures = Programs 一书（译著书名：算法＋数据结构＝程序）中给出的。 PL/0 是一个小巧的高级语言。虽然它只有整数类型，但它是相当完全的可嵌套的分程序（block）的程序结构，分程序中可以有常量定义、变量声明和无参过程声明，过程体又是分程序。PL/0 有赋值语句、条件语句、循环语句、过程调用语句、复合语句和空语句。 PL/0 语言的文法如下：
    Program → Block .
   Block → [ConstDecl] [VarDecl][ProcDecl] Stmt
   ConstDecl → const ConstDef {, ConstDef} ;
   ConstDef → ident = number
   VarDecl → var ident {, ident} ;
   ProcDecl → procedure ident ; Block ; {procedure ident ; Block ;}
   Stmt → ident := Exp | call ident | begin Stmt {; Stmt} end |
if Cond then Stmt | while Cond do Stmt | ε
   Cond → odd Exp | Exp RelOp Exp
   RelOp → = | <> | < | > | <= | >=
&