Rose实验(Oberon-0实验三)

编译原理实验三 一、讨论Oberon-0 语言的特点 1、保留字与关键字的概念区分 保留字只要是用在程序语言的层次架构用途上，比如说IF,THEN,ELSIF，用在程序 的循环、分支、判断条件、程序块等组织上，它是程序语言中预定义的，具某些特殊意 义规范的单词。保留字侧重于强调不能被用户作为定义的名字。 关键字是一个只被用在某一部分的程序编程中，关键字在程序语言中同样有特殊的 意义特征。多用于类型定义，如在Oberon中，integer 便是用来定义变量类型的关键 字。还有其他的功能如作为程序语言中的某个特定函数的名称，如 write，read等（在 Oberon中）. 不同的语言的关键字和保留字的概念区分是不一样的。例如在C,JAVA中， if，else， while 这些都是关键字的范围，而在Oberon 中是保留字的范围。在C 语言风格的程 序语言中，是将程序控制块的那些保留字也一并归为关键字的。（这些关键字不可以作 为变量，函数的名称，也就是不可以作为程序员使用的标示符）。 2、Oberon与C、Java的差别 a) 在每一一个主要的函数过程procedure 中，Oberon有begin 和end 来标志，而 在C 和java中一般是用花括号来标志。 b) 在定义变量时，Oberon 是在分号之后，也就是最后在给出具体是什么类型的，而 在C、Java中一般是在变量的前面就给出了类型，只是 Oberon会先用var说明 这是一个变量。 c) Oberon中的可用到数据结构主要有数组，类似C 中的结构体，类型选择比较少。 3 二、文法二义性讨论 该文法没有二义性。在其他的语言中出现的二义性类型中，比如表达式的parsing tree （存在两颗或以上的parsing trees）的二义性，需要用算符优先关系来确定的和if-else 的 匹配问题导致的二义性问题，都在该文法中的EBNF定义中被消除掉了。 1、对于表达式的二义性处理： simple_expression = ["+" | "-"] term {("+" | "-" | "OR") term} ; term = factor {("*" | "DIV" | "MOD" | "&") factor} ; 从中，可以看出*和 DIV、MOD 这些一定在+-之前就进行运算了。通过将表达式的将 +-和*DIV、MOD 等用不同层次的表达式进行定义，消除了这一二义性。 2、对于if-else匹配出现二义性的处理：