编译原理——证明文法的二义性(1)

2024-05-17 08:52:26

目录

推导和语法树
- 推导
- 语法树
文法二义性

在证明文法的二义性之前，我们需要熟悉几个基本的概念。

推导和语法树

推导

这里的推导，简单的来说就是指根据给出的句型（句子），对文法进行推理变化最终得到句型（句子）的过程。
其中，最左(右)推导是在每次推导的过程中，将最左(右)部的非终结符替换成目标句型的一部分，直到完全替换成目标句型。

例：有文法G[S]：
S—>AB
A—>bB
B—>a|Sb
对于句型baSb，
最左推导为：S=>AB=>bBB=>baB=>baSb
最右推导为：S=>AB=>ASb=>bBSb=>baSb

语法树

对句型的推导过程给出一种图形表示，这种表示成为语法树，也成为推导树。
例：对于上述文法的句型的语法树之一为：

文法二义性

如果一个文法存在某个句子对应两棵不同的语法树，则说这个文法是二义性的。具体来说就是一个一个文法的某个句子能有两个不同的最右（左）推导。证明了这一点，就可以说该文法是具有二义性的。

例：设有文法G[S]：S—>iSeS| iS | i ,证明文法G[S]有二义性
证明：（首先我们得自己假设一个句子，构建该句子的语法树）
设句子为iiiei ，则：
最右推导一：S=>iS=>iiSeS=>iiSei=>iiiei

最右推导二：S=>iSeS=>iSei=>iiSei=>iiiei

因此，该文法存在一个句子有两个不同的最右推导，具有二义性。

参考资料：编译原理（第四版）

编译原理——证明文法的二义性(1)相关推荐

编译原理——证明文法具有二义性
证明一个文法具有二义性我们需要掌握两个知识点. 1.语法分析树定义很简单,就是把一个句型的推导写成树的形式,这种表示法就叫语法分析树,或者简称为语法树.大概是这个样子的 2.二义性一个文法存在某个 ...
编译原理：文法及其二义性（判定及消除）
(请先看置顶博文)https://blog.csdn.net/GenuineMonster/article/details/104495419 学编译原理时,会学到文法,老师在介绍完文法的相关定义后又 ...
编译原理判断文法的二义性
下列文法是二义的吗?为什么? 文法G=({A,B,S},{a,b,c}P,S),其中P为S→Ac|aB,A→ab,B→bc 答:最右推导:S=>Ac =>abc S=>aB => ...
编译原理 LL1文法的判断和句子识别
编译原理 LL1文法的判断和句子识别 LL1文法概述点击查看百度百科对文法G的句子进行确定的自顶向下语法分析的充分必要条件是,G的任意两个具有相同左部的产生式A->α|β 满足下列条件: ...
java实验文法报告_西安邮电大学编译原理LL文法分析器实验(java).doc
西安邮电大学编译原理LL文法分析器实验(java) <编译原理>实验报告题目: 语法分析器的制作学生姓名: 班级: 软件1202 学号: 指导教师: 成绩: 西安邮电大学计算机学 ...
编译原理实验 -- 文法分析
编译原理实验 – 文法分析终结符和非终结符终结符通常使用小写字母表示,例如 abcdef 非终结符通常使用大写字母表示,例如 ABCDEF 产生式通俗来说,就是由终结符和非终结符组合成的 ...
编译原理语法分析树和二义性文法
语法分析树是用来描述语法中句子结构的一种树,它能够动态表示一个句子推导的过程. 我们来看一个例子:由左边的文法规则可知,这是一个实现加法减法和乘法的算术表达式.从开始符号E开始,逐步推导,E => ...
编译原理：文法和语言总结与梳理
1. 梳理第二章的内容,写一篇理解与总结. 一. 对程序设计语言的描述从语法.语义和语用三个因素考虑: 语法:对语言结构的定义: 语义:语言的含义: 语用:从使用的角度描述语言. 形式语言理论是编译的 ...
编译原理（文法、符号表）
文法在计算机科学中,文法是编译原理的基础,是描述一门程序设计语言和实现其编译器的方法(文法是用于描述语言的语法结构的形式规则). 1个文法 G 是一个四元组 G = (VN , VT , S, P) ...

最新文章

热门文章