![](https://img-blog.csdnimg.cn/20201014180756754.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
编译原理
Wzning0421
I'm always learning.
展开
-
LL(1)文法与其对应的FOLLOW,SELECT和FIRST集
所谓LL1(1)文法是一种预测分析文法。从文法的开始符号出发,从每一步推导过程中根据当前句型的最左非终结符A和当前输入符号a能够就能够确定出一个产生式。这样就是预测分析文法的工作过程。仔细想这个过程,假设有S -> aBC 和 S->aDE两个产生式,当输入指针指向a的时候,发现两个产生式都是合适的,那么我们应该选择那个产生式呢?这就是预测分析文法会面临的问题,这个就涉及到我们所说...原创 2020-03-10 23:15:33 · 2341 阅读 · 0 评论 -
编译原理 自顶向下分析
从顶部的根节点到底部的叶节点分析方法叫做自顶向下分析。我们知道顶部的根节点可以表示成一个文法的开始符号S,所以说,自顶向下分析可以看成是从文法的开始符号S推导出词串w的过程。 例如,我们以输入id + (id + id)为例分析自顶向下的分析方法。首先从开始符号E(也就是树的根节点)开始推导。首先用第一个产生式生...原创 2020-03-09 22:05:23 · 1693 阅读 · 0 评论 -
词法分析 有穷自动机
1. 有穷自动机的概念: 有穷自动机(FA)是词法分析的重要理论基础。系统根据自己的有穷状态和离散的输入信息决定系统的后序行为。每处理一个输入,系统内部状态也可能发生改变。 其转换图表示法如下所示: 其中start指向的表示初始态,箭头上面的表示输入,有向边就是变化,圆圈内...原创 2020-02-24 13:39:10 · 2653 阅读 · 0 评论 -
编译原理 语法分析树和二义性文法
语法分析树是用来描述语法中句子结构的一种树,它能够动态表示一个句子推导的过程。 我们来看一个例子:由左边的文法规则可知,这是一个实现加法减法和乘法的算术表达式。从开始符号E开始,逐步推导,E => - E,然后 E => (E)等等,最终推导成E => - (E + E...原创 2020-02-22 16:19:47 · 4622 阅读 · 0 评论 -
编译原理 推导和归约
1. 推导 我们还是从一个英文句子来入手: 从上面一张图,我们看出文法是如何 推导 出一个英文句子的。从上往下看,从句子开始,句子可以被替换成<名词短语><动词短语>。而<名词短语>又可以被替换成<形容词><名词短语>。对于文法中的每一个产生式,都可以把左部替换成右部。这样一步一步递推,就把一个文法...原创 2020-02-22 14:50:38 · 5617 阅读 · 1 评论 -
编译原理 文法
什么是文法?我们从一个自然语言的例子讲起: 这是一个简化版本的英文文法。比如一个句子是由名词短语和动词短语构成的。名词短语由形容词和名词短语构成。从这个例子中我们能够看出语法的基本构成。用尖括号括起来的部分是语法成分,而没有被尖括号括起来的部分是语言的基本符号。英文的基本符号就是单词了。那么编译语言的文法形式化定义是...原创 2020-02-22 14:33:30 · 1076 阅读 · 0 评论 -
语法制导定义 SDD
语法制导定义SDD是对于 上下文无关语法CFG的一个推广:将每个产生式和一组语义规则相关联,用来计算该文法产生式中每个文法符号的属性值。 将每个文法符号和一个语义属性集合相关联。 问法符号的属性包括:综合属性和继承属性。 所谓综合属性,指的是:分析数节点N上的非终结符A的综合属性只能通过N的子节点或者N本身的属性决定。 ...原创 2020-02-20 16:11:28 · 4424 阅读 · 0 评论 -
上下文无关问法cfg
上下文无关文法(contextfree grammar,简称为CFG)是形式问法的一种,和其对应的语言是上下文无关语言。所谓上下文无关,如果用我们的语言举例,就是一个文法符号,不论在任何地方出现,他表示的意思都是不变的,不会随着上下文的语义为改变。 首先我们看一下形式文法:形式文法描述形式语言的基本想法是,从一个特殊的初始符号出发,不断的应用一些产生式规则,从而...原创 2020-02-20 12:05:00 · 1536 阅读 · 2 评论