构造LR(0)分析表和SLR(1)分析表

简介: 构造LR(0)分析表和SLR(1)分析表

1.构造LR(0)分析表

构造LR(0)分析表的步骤如下:


拓广文法--->列项目--->项目集规范簇--->分析表


拓广文法是一种用于描述上下文无关文法的元语法表示法,通过引入了一些扩展的符号和表示方式,以使得语法的描述更加直观


看下面的拓广文法,这里的(0)E'-->E:表示通过E'指向开始文法

列项目:


①首先将每个产生式的右部加“点”


②将通过不同符号的类列举出来


③若列举出来的语句中“点”后面是非终结符,那么需要将该非终结符所属的类都写下来,除了E'->E 。例如 E-->"点"E+T,"点"后面是E,所以将 E->"点" E +T 和 E-> "点" T 写下来,不写E'-->“点” E

接下来分析I0:

由于E'--->E"点"中的"点"已经到最后了,不需要进一步分析

同理可得:

分析表:

列出这样的表,0~8分别表示I0~I8:

第一行表示从I0出发,经过一个E,到达状态1,I0输入T,到达状态2,I0输入a,到达状态5,I0输入"(",到达状态3

以此类推:

若"点"已经在最后了, 表示这个项目已经结束,用”r“表示,在拓广文法中找到相同的项目,填入序号。例如这里的T2:E-->T,在拓广文法中对应(2)

最后,状态1包含"E'-->E",所以在状态1的“#”列表明all

2.构造SLR(1)分析表

SLR(1)步骤和LR(0)相同,只是多求了一部FOLLOW集


点在不同位置,代表的项目不同:


归约项目(A-->•):•在最后

移进项目(A-->•xB):•后面是终结符


接受项目(S--->•):开始文法对应的

待约项目(A--->•XB):•后面是是非终结符

来看以下例子:

通过DFA得到的表如下图所示,但是这里先不用填“r”,表示终结

接下来我们求非终结符的FOLLOW集合:

将Follow集的终结符,写在"r"的位置,例如,拓广文法中(2)E-->T,那么E的FOLLOW集={+,),#}

以此类推,得到:

SLR(1)的出现其实是为了解决LR(0)的两个矛盾,即同一个项目中会产生矛盾:移进---归约        归约---归约


(1)归约---归约


A--->a•


B--->a•


以上就出现了(归约---归约)错误,A的follow集/B的follow集不知是用"A--->a•"还是"B--->a•"


归约

(2)移进---归约(•后面是终结符---•在最后):

表中划圈部分满足,即I1和I3都存在移进---归约错误:

在I1中,我们将•后面的终结符“+”与该项目的开始符“ S’ ”的Follow集相交

I3同理:

得出的两个交集皆为 (空),那么说明LR(0)文法也满足SLR(1)文法的要求,是SLR(1)文法。

LR(0)和SLR(1)的联系

若不存在冲突项目,那么既是LR(0)文法,也是SLR(1)文法


若存在冲入项目,且满足Follow集为(空)的条件,那么就是SLR(1)文法,如果也不满足那么就既不是LR(0)文法,也不是SLR(1)文法


也就是说SLR(0)包含不冲突的项目,也包含符合条件的冲突项目:


SLR(0)LR(0)


目录
相关文章
|
6月前
单细胞分析|映射和注释查询数据集
单细胞分析|映射和注释查询数据集
82 3
|
存储 索引
维度表和事实表的区别
转载:转载:https://blog.csdn.net/qq_56870570/article/details/118938411
4633 0
|
4月前
|
分布式计算 BI MaxCompute
SQL 能力问题之输出聚合的维度列的名称,如何解决
SQL 能力问题之输出聚合的维度列的名称,如何解决
|
6月前
构造LR(1)分析表和LALR(1)分析表
构造LR(1)分析表和LALR(1)分析表
75 3
|
11月前
|
JSON API 开发者
如何使用分类ID参数过滤搜索词推荐数据?
一、背景介绍 阿里巴巴中国站的搜索词推荐数据对于开发者来说具有重要的参考价值。通过使用获得搜索词推荐 API,开发者可以获取到用户在平台上的搜索行为数据,了解用户的需求和行为,优化产品和服务。在获取搜索词推荐数据的过程中,有时候需要对数据进行更精细的过滤和分析。其中,分类ID参数是一个非常重要的过滤条件,可以帮助开发者更好地筛选数据。本文将详细介绍如何使用分类ID参数过滤搜索词推荐数据,帮助读者更好地理解和使用该 API。
|
缓存 自然语言处理 数据挖掘
白话Elasticsearch50-深入聚合数据分析之基于doc values正排索引的聚合内部原理
白话Elasticsearch50-深入聚合数据分析之基于doc values正排索引的聚合内部原理
108 0
|
SQL 数据可视化
tp6中无限极分类里面的获取多级分类数据
tp6中无限极分类里面的获取多级分类数据
tp6中无限极分类里面的获取多级分类数据
ML之FE:对pandas的dataframe中的类别型字段进行数字编码化(类别型特征数值化)并导出映射表daiding
ML之FE:对pandas的dataframe中的类别型字段进行数字编码化(类别型特征数值化)并导出映射表daiding
|
Web App开发 API 数据库
零代码实现一对一表关系和无限主子表级联保存
本文主要介绍一对一关系和无限主子表在crudapi系统中的应用。一对一关系是指关系数据库中两个表之间的一种关系。关系数据库中第一个表中的单个行只可以与第二个表中的一个行相关,且第二个表中的一个行也只可以与第一个表中的一个行相关。
299 0
零代码实现一对一表关系和无限主子表级联保存