大概步骤
LL(1)文法的判定
准备工作
数据结构:本次实验选用python语言进行编程,主要用到的数据结构为字典。因其键值对一一对应较为方便,适合模拟LL(1)文法产生式左部和右部的对应关系。对于同一个非终结符多次出现在产生式左部的情况,本次实验采取的策略是用列表作为该键的值,这样便可以实现“一对多”的关系。
任务一 计算First
求解每个符号的First集:遍历所有符号,当该符号为终结符时,其First集仅有它自己这一个元素。否则如果是非终结符,先判断其是否能推出ε,如果能则将ε加入该符号的First集。接着,对以该终结符为左部的产生式的右部串进行扫描,判断该串的第一个符号,如果符号为终结符,则将此终结符加入First集。至此,我们可以得到所有能推出ε和直接推出终结符的First集。
接下来处理不能直接推出的情况。对每个非终结符,遍历对应产生式右部的每个符号,将每个符号的First集并入此非终结符的First集直到遇到第一个不能推出空串ε的非终结符为止。这里对空串ε的处理方法是:开始遍历每个非终结符时,设置一个标记all_null,并初始化为1,仅当遇到第一个不能推出空串ε的非终结符时,将all_null置为0,并不再判断该串后面的符号。值得注意的是,每次合并First集合时,并不把空串合并进去,当一个右部串判断结束后再判断all_null的值,如果all_null为1,则把空串ε加入First集。后面将多次用到all_null标记,思想较为相似,不再赘述。
这里还有一个问题,在进行取并集时,由于数据结构用的是列表,会有重复元素,因此要进行消重。这在后面也多次用到。
任务二 计算每个产生式右部的First集
求解每个产生式右部的First集:这里求解思路和求每个符号的First差不多,主要需要注意的地方当遇到第一个不能推出空串得非终结符时,停止后续符号的判断。这里也用到all_null进行控制,并且同样需要消重。
任务二 计算Follow
6. 求解每个非终结符的Follow集:第一步,需要把“#”放入开始符号“S”的Follow集中。接下来主要思想是找到每一非终结符所在串的下一个符号的First集,这里有几种特殊情况:(1)终结符为位于串尾,此时要将左部的Follow集并入该终结符的Follow集;(2)下一个符号推出空串ε,此时需要把下一个的后一个非终结符的Follow并入。注意:Follow集中不能出现空串ε。在代码实现上,可以把该非终结符后面所有的非终结符的Follow都并入Follow中,直到遇到串中的一个非终结符不能推出空串ε。这种合并…直到…的思想前面已经多次用到,可以是代码更简洁。最后再把所有的空串ε移除Follow集。消重不再赘述。
任务三 计算Select
求解每个产生式的Select集:求解出所有的First集和Follow后,可以直接利用公式得到Select。
任务四 判断
判断是否为LL(1)文法:最后一步进行判断,设置标记LL_1初始化为1,当交集不为空时LL_1置为0,得到最终判断结果。
总之,本次实验编码过程并不难,只需要注意一些细节和技巧,更为重要的是理解LL(1)文法判定的每一步思想,要真正地理解非终结符的First集和Follow集的意义是当词法分析遇到该非终结符时,下一步能够推得的终结符是哪些,进一步理解寻找Select交集的原因是遇到同一个终结符时,选择产生式会不会有多个产生式可选的冲突。如果要进一步探索本实验,可以增加第一步判断空串ε,还可以实现输入任意的上下文无关文法,判断其是否为LL(1)文法。
源代码
// An highlighted block
G = {
'S': ['AB', 'bC'], 'A': ['ε', 'b'], 'B': ['ε', 'aD'], 'C': ['AD', 'b'], 'D': ['aS', 'c']} # G[S]
non_terminal = ['S', 'A', 'B', 'C', 'D'] # non_terminal
terminal = ['a', 'b', 'c'] # terminal
null = 'ε' # null string
First = {
}
right_First = {
}
print("G[S]:")
for left in G:
for i in range(len(G[left])):
print(left, '->', G[left][i])
# ============================== First Sets ========================================
for char in non_t