通俗易懂LL(1)判别方法

LL(1)文法简介

LL(1)的含义为:第一个L表明自顶向下分析时从左向右扫描输入串,第二个L表明分析过程将最左推导,1表明只需向右看一个符号便可决定如何推导,即选择那个产生式进行推导。
讲得什么:说的是编译器从你写的代码中的每行的左边开始读取字符,到右边结束进行下一行读取;分析也是从每行代码的左边字符开始,到右边结束进行下一行;1表示一种状态接受输入时能唯一的确定下面的状态。

LL(1)文法的判别

书本上讲的啰啰嗦嗦,看的头皮发麻,其实只要掌握了下面几条就可以很容易的判别文法是否符合LL(1)文本。

  • FIRSIT() 开始符号集
    就是找括号里第一个字符的终结字符集,如下面找A的开始字符集,显而易见,它的两个非终结字符如下图。
    在这里插入图片描述
  • FOLLOW()后跟符号集
    同理,寻找括号内后边紧跟的终结字符集,下图跟在A后面的S为非空终结符,但我们要的是终结符,对S求FIRST得到a和d;还有一个后面什么也没跟,那就是括号#,,综上就可以得到下面的答案。
    在这里插入图片描述
  • SELECT()选择符号集
    这个是最重要的,它能确定从一种状态进入另一种状态的唯一性,如果括号里面箭头指向终结字符,那这个终结字符就是答案,如果不是,则求这个非终结字符的FIRST()。
    特殊公式,很重要
    在这里插入图片描述
    判断文法是否符合LL(1)的充分必要条件:
    在这里插入图片描述

例题讲解

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

本程序的所用的存储结构都是string类型的,最主要的存储文法的数据结构为自定义结构,里面包括一个产生式的左部,右部以及select集合,至于非终结符的first和follow集合,则是定义了一个string类型的数组进行存储。 本程序的求first,follow,select集合的算法即为书上所介绍的方法,即求first的集合时,只看本产生式,求follow集合时,要进行递归查找一个非终结符的所有后跟字符,求select其实就是对first与follow集合的运算,最终根据所有的select集合,便可以判断此文法是否为LL1)文法。 对于不是LL1)文法的产生式,本程序在判断后进行转换,先进行消除左递归,然后提取左公因子,在这两步的每一步结束之后,都要对产生式进行整合,去掉空存储,去掉无法到达的产生式,将select全部置空。 每进行一次非LL1)到LL1)的转换之后,都要对其文法性质进行判断,如果是LL1),则跳出,不是则继续,但是当循环一定次数之后仍不是,程序判定其无法转换,也要跳出。 其中还有对第一个非终结字符的右部替换与否进行选择,原因是,有些通过替换就可以很方便的进行转换,这个要通过人为进行输入。 提取公因子中也有上一段所说的类似的判断机制,目的是为了防止文法的左公因子无法提取完的情况出现。 最终有三种结果,一种是是LL1)文法,一种是不是LL1),但是经过转换变成了LL1),还有一种是经过转换也无法变成LL1)。 输入文本格式样例: A A->ad A->Bc B->aA B->bB
评论 10
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值