编译原理 四

Posted huangwenshuo

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了编译原理 四相关的知识,希望对你有一定的参考价值。

1. 梳理第二章的内容,写一篇理解与总结。


当我们要描述一种语言时,需要给出这种语言的所有句子,当句子的数目是有限可数时,就要都列出来;当句子
是一个无穷集,也就是无限不可数时,就要给出可以表示它们的结构的描述方法或者说,句子的组成规则。这种
规则就是文法。

从形式上用于描述和规定结构的称为文法(或者说语法)

一、文法的定义:

文法G定义为一个四元组(VN,VT,P,S),其中,
VN为非终结符集合,VT终结符集合;P是产生式结合;S称为识别符或开始符号,也是一个非终结符,至少要在一
条产生式的左边出现。

出现了几个名词,终结符、非终结符、产生式、识别符/开始符号等。下面具体聊聊这些名词和文法的定义。

VN是非终结符集合,非终结符N指的是可以被拆分的字符或串,它采取递归定义:一个非终结符是由终结符和至少
一个非终结符组成的串,相对应的,终结符就是不可拆分的,语言中要用到的字符。所以VN中所存储的是所有的
非终结符,VT中存储的是所有的终结符。

简单点讲:终结符就是推导到终结符时,不可再推导下去;而非终结符可以继续推导下去。

集合P存储的是所有的产生式。那什么是产生式呢?产生式就是推导规则。比方说 a→b 就是一条规则,即一条产
生式,可以通过 a 推导出 b。

对照前面说的非终结符和终结符,就应该可以理解,在产生式左边的只能是非终结符,因为终结符不能再推导下
去。而右边可以有终结符和非终结符。用数学的集合知识表示就是:

产生式的形式是α → β,α称为产生式左部,β称为产生式右部,α属于VN,β∈(VN∪VT)*,α∉ε

最后是S,S是开始符号,也就是最开始的那条产生式左边的非终结符,一切的推导从它开始。比方说

a → b
b → c|d
c → e
其中,a → b就是最开始的产生式,a就是最开始的非终结符,就是S。S是非终结符,所以S∈VN。
二、文法与语言的推导

举个例子:
G(E):

E=> E + T | T

T=>T * F | F

F=>(E)| i
求i*i+i的推导式:
E=>E+T
=>T+T
=>T*F+T
=>F*F+T
=>i*F+T
=>i*i+T
=>i*i+F
=>i*i+i
同理从右往左一个个元素的换算就是右推导了。
三、句型、句子
对于文法G[S]:
如果: S=>a,则a称为G的一个句型,
开始符号是最简单的句型。
如果:a是G[S]的一个句型,且a属于VT,
则a称被称为G[S]的一个句子,
也就是说句子是全部有终结符组成的句型。
四.语法分析树与二义性
我们发现从一个句型到另一个句型的推导过程不是唯一的。例如从E+E->i+i,存在两个推导过程:

E+E->E+i->i+i 最右推导,每个推导过程都是从最右边的非终结符号的替换开始
E+E->i+E->i+i 最左推导,每个推导过程都是从最左边的非终结符号的替换开始
当然为了对句子的结构进行一个确定性的分析,我们一般只考虑最左推导或者最右推导。

前面我们提到过用一种树形的图示来表示这个句型的推导过程,这棵树就被称为”语法分析树“,简称”语法树“。
对于一个文法,如果它的某些句子对应两棵不同的语法树,这个文法就属于“二义性文法”。
注意,文法的二义性和我们通常所说的语言的二义性不同,我们可能有两个不同的文法G1,G2,一个是二义性,
一个是非二义性,但是可能L(G1) = L(G2)。对于程序语言来说,我们常常希望它的文法是非二义性的,但
是,只要我们能够控制和驾驭文法的二义性,文法二义性的存在也不一定是坏事。

现在已经证明了,文法二义性是不可判定的。也就是说不存在一个算法,在有限步骤内算出一个文法是不是二义
性的。我们能做的事儿,就是找一组充分条件来说明非二义性。比如,规定运算符号的优先级和结合性。

2. 尝试写出PL/0 语言的文法。(或者你认为比较好的语言规则)

整数n

标识符i

表达式e

条件语句

赋值语句

复合语句

函数

程序

...
答:
整数n <整数n>::=int <标识符n>=<无符号整数>|<有符号整数>;
标识符i <标识符i>::= <字符类型> <字母|数字>;
表达式e <表达式> ::= [+ | -] <项> <加法运算符><项>
条件语句 <表达式>语句 ;|<表达式>句子
赋值语句 <标识符>=<无符号整数>|<有符号整数>;
<复合语句> ::= BEGIN <语句> ;<语句> END
函数 <数据类型> <标识符>(形式参数...)句子;...
<程序> ::= <分程序>.
<分程序> ::= [<常量说明部分>] [<变量说明部分>]
[<过程说明部分>] <语句>
...

以上是关于编译原理 四的主要内容,如果未能解决你的问题,请参考以下文章

编译原理系列 实验四语义分析与中间代码生成

编译原理 题目

编译原理 文法题目

编译原理题目关于判断LL(1)文法的

编译原理-LL1文法详细讲解

-编译原理-