LL(1)文法判断程序

1.实验内容

1、让计算机接受一个文法,示例如(仅供参考):

G[S]为:
S→AB              S→bC
A→ε               A→b
B→ε               B→aD
C→AD              C→b
D→aS               D→c

2、 编程实现对上述文法是否是LL(1)文法的判断,是则给出肯定回答,否则给出否定回答。

3、判别是否是LL(1)文法

2.实验设计分析

2.1 实验设计思路

    根据实验指导书和书本上的相关知识,实现算法。

2.2 实验算法

(1)输入文法,用字典存储

(2)递归求first集合

(3)递归求follow集合

(4)求每个产生式的select集合,用字典存储

(5)对有相同左结果select集合求交集判断是否是LL(1)文法,没交集是否则是否

2.3 实验流程

①预习实验,实验前阅读实验指导书和阅读书本。

       ②通过书本了解判断LL(1)文法的原理。首先在纸上模拟文法的判断过程。

       ③上机实现模拟过程。

       ④调试程序,知道能得到预期的结果。

2.4 实验的基本技术设计方案

①python的基础语法。

简单算法即回溯。

③编译原理的理论知识。

④运用了python里的一些存储结构。

2.5 数据结构

G={}

Firstset=set([])

Followset=set([])

Selectset={}

2.6 实验输入输出

   

2.7 实验设计语言

    Python

3.实验主要源代码及分析说明

资源链接:https://download.csdn.net/download/qq_35685675/10409095


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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值