编译原理--文法和语言
2017-09-27 19:35
357 查看
一、逐渐对产生式施加限制
四种类型:0型,1型,2型,3型
0型:(短语结构文法)
G=(VT,VN,S,P),对任一产生式α→β,都α∈(VN∪VT)+, β∈(VN∪VT)*
1型(上下文有关) :
对任一产生式α→β,都有|β|≥|α|, 仅仅 S→ε除外
(即产生一个更长的序列)
2型(上下文无关):
对任一产生式α→β,都有α∈VN , β∈(VN∪VT)*
(满足左边的式子一定是非终结符)
3型(右线性):
任一产生式α→β的形式都为A→aB或A→a,其中A∈ VN ,B∈VN ,a∈ VT
(满足左边的式子一定是非终结符,右边的式子一定是终结符开头)
二、二义性
如果一个文法的句子存在两棵分析树,则该句子是二义性的。
三、左递归
1、左递归的定义:
对于某些α,存在推导 A =+> A α 这样妨碍自顶向下方法的使用。
2、消除直接左递归的方法
(1)直接删除左递归的产生式(老师上课没讲,我也不清楚是怎么回事orz)
(2)引入新的非终结符A'
将 A → Aα|β 替换为
A→βA' 和 A'→αA'|ε
消除直接左递归例子:
3、间接左递归的删除
四种类型:0型,1型,2型,3型
0型:(短语结构文法)
G=(VT,VN,S,P),对任一产生式α→β,都α∈(VN∪VT)+, β∈(VN∪VT)*
1型(上下文有关) :
对任一产生式α→β,都有|β|≥|α|, 仅仅 S→ε除外
(即产生一个更长的序列)
2型(上下文无关):
对任一产生式α→β,都有α∈VN , β∈(VN∪VT)*
(满足左边的式子一定是非终结符)
3型(右线性):
任一产生式α→β的形式都为A→aB或A→a,其中A∈ VN ,B∈VN ,a∈ VT
(满足左边的式子一定是非终结符,右边的式子一定是终结符开头)
二、二义性
如果一个文法的句子存在两棵分析树,则该句子是二义性的。
三、左递归
1、左递归的定义:
对于某些α,存在推导 A =+> A α 这样妨碍自顶向下方法的使用。
2、消除直接左递归的方法
(1)直接删除左递归的产生式(老师上课没讲,我也不清楚是怎么回事orz)
(2)引入新的非终结符A'
将 A → Aα|β 替换为
A→βA' 和 A'→αA'|ε
消除直接左递归例子:
3、间接左递归的删除
相关文章推荐
- 编译原理学习笔记·关于四种文法的理解以及 如何根据语言描述给出正则式或相应文法
- 编译原理学习周入门教程--(3)文法和语言
- 编译原理与编译构造 由语言构造文法1
- 编译原理与编译构造 由语言构造文法2
- 编译原理-第2部分形式语言导论-第二节文法和语言-第一小节文法和语言的概念(文法产生的语言)
- 编译原理(2):文法和语言
- 编译原理之形式语言文法分类
- [编译原理]学习笔记(二)——文法和语言
- 编译原理:文法和语言
- 编译原理笔记4 文法与语言
- [编译原理]学习笔记(二)——文法和语言
- 编译原理-第2部分形式语言导论-第二节文法和语言 第二小节形式语言分类
- 编译原理(2)——高级语言及其文法
- 编译原理中四种文法语言的基本概念
- 编译原理---文法和语言
- 编译原理学习笔记——第二章:语言及其文法
- 编译原理-第2部分形式语言导论-第二节文法和语言-第一小节文法和语言的概念(文法)
- OS和编译原理回顾-重要是多语言开发能力
- 编译原理之文法一
- 编译原理_简单优先文法_语法分析器_Java