【20200408】编译原理课程课业打卡十三之判断文法是否为LL(1)型文法
叮嘟!这里是小啊呜的学习课程资料整理。好记性不如烂笔头,今天也是努力进步的一天。一起加油进阶吧!
一、课业打卡十三之判断文法是否为LL(1)型文法
1、问题一
问题描述:
解答过程:
2、问题二
问题描述:
解答过程:
二、知识巩固
1、关于LL(1)型文法
LL(1) 文法的定义:
(1) 文法不含左递归;
(2) 对文法中的任一个非终结符A的各个产生式的侯选首终结符集两两不相交;
即:若A->α1|α2|…|αn ,则 First(αi)∩ First(αj) = φ ( i ≠ j );
(3) 对文法中的每个非终结符A,若它的某个首终结符集含有ε ,则First(A)∩Follow(A) = φ。
2、判断文法是否为LL(1)型文法求解方法步骤
第一种判断方法:
对于文法的产生式任一产生式:
(1)文法不存在左递归
(2)假设A->α | β是其中一个产生式, 如果α 或者 β都不能推出 ε,则FIRST(α )∩first( β)=∅
(3)假设A->α | β是其中一个产生式, 如果α 或者 β至多有一个能推出 ε,或者其中一个经过若干步能推出ε,则first(α)∩follow(A)=∅(这里假设β能推出 ε)
文法所有的产生式都要满足以上三种情况才符合LL(1)文法;
第二种判断方法: 【四步走】
3、例题拓展
文法 G(S):
(1)S -> AB
(2)A ->Da|ε
(3)B -> cC
(4)C -> aADC |ε
(5)D -> b|ε
验证文法 G(S)是不是 LL(1)文法?
证明:FIRST(Da) = {b, a}
FIRST(ε) = {ε}
FIRST(aADC) = {a}
FIRST(b) = {b}
FOLLOW(A) = {c, b, a, #}
FOLLOW(C) = {#,}
FOLLOW(D) = {a, #}
SELECT(A -> Da) = FIRST(Da) = {b, a}
SELECT(A -> ε) = FIRST(ε) - {ε}UFOLLOW(A)
= FOLLOW(A) = {c, b, a, #}
因为SELECT(A -> Da) ∩ SELECT(A -> ε) ≠ Ø
所以G(S)不是 LL(1)文法。
Ending!
更多课程知识学习记录随后再来吧!
就酱,嘎啦!
注:
人生在勤,不索何获。