SLR(1)

参考文章

SLR(1)

SLR文法判定:

  • SLR文法不存在归约-归约冲突,有可能存在移进-归约冲突,但是如果可以用 follow集解决则是 SLR文法。
    换句话说,SLR文法分析过程可以解决归约-归约冲突,但是不一定能解决移进-归约冲突。
    用 follow集来处理即出现移进-归约冲突的两条产生式如果其 follow集相交为空则为 SLR文法,反之不是。

分析过程

  • 拓广文法、写自动机、分析过程表与 LR(0)文法相同。但是由于可能存在移进-归约冲突,所以 利用FOLLO集合来处理。

构造分析表

步骤:

  • 1.写出文法的扩展文法
  • 2.写出扩展文法的初始项目集
  • 3.构建DFA
  • 4.计算G`的FOLLOW集合
  • 5.根据步骤3.4 构建SLR(1)分析表

例子

在这里插入图片描述

  • 写出扩展文法和项目集合
    在这里插入图片描述
  • 构建DFA
    -在这里插入图片描述
  • 写出G`的FOLLOW集合
    在这里插入图片描述
  • 构建分析表在这里插入图片描述
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值