zoukankan      html  css  js  c++  java
  • 软件构造7

    SLR(1)文法
    它通过两种方法做到这一点。首先,它在一个移进之前先考虑输入记号以确保存在着一个恰当的 DFA 。其次,使用构造的非终结符的 Follow 集合来决定是否应执行一个归约。令人吃惊的是,先行的这个简单应用的能力强大得足以分析几乎所有的一般的语言构造。定义:SLR(1) 分析算法(SLR(1) parsing algorithm)。令s 为当前状态(位于分析栈的顶部)。则动作可定义如下:
    (1)若状态s 包含了格式A →a.Xb 的任意项目,其中X 是一个终结符,且X 是输入串中的下一个记号,则动作将当前的输入记号移进到栈中,且被压入到栈中的新状态是包含了项目A →aX.b 的状态。
    (2)若状态s 包含了完整项目A →g.,则输入串中的下一个记号是在 Follow (A) 中,所以动作是用规则A →g 归约。用规则S¢ →S 归约与接受等价,其中S 是开始状态;只有当下一个输入记号是$时,这才会发生。在所有的其他情况中,新状态都是如下计算的:删除串a 和所有它的来自分析栈中的对应状态。相对应地,DFA 回到a 开始构造的状态。通过构造,这个状态必须包括格式B →g. Ab 的一个项目。将A 压入到栈中,并将包含了项目B →aA.b 的状态压入。
    (3)若下一个输入记号都不是上面两种情况所提到的,则声明一个错误。若上述的 SLR(1) 分析规则并不导致二义性,则文法为 SLR(1) 文法(SLR(1) grammar)。
  • 相关阅读:
    C/C++中变量的作用域和存储类型简介
    Java与JavaScript的区别你明白吗?
    js-2018-11-09 关于Array中的srot()方法和compare()方法
    js-2018-11-01 关于break和continue语句
    0427表格学习
    0426基础标签学习
    css3部分整理
    img图片占不满整个div
    基于google protobuf 的 socket udp 通信
    微信小程序echarts学习记录
  • 原文地址:https://www.cnblogs.com/zl00/p/14224568.html
Copyright © 2011-2022 走看看