LL(1)文法判断
2014-12-01 20:23
393 查看
LL(1)文法判断
题型:
1.判断该文法是否是LL(1)文法?
2.若是,给出它的LL(1)分析表,否则说明理由。
概念:
对于产生式 A -> α | β
1.如果α、β均不能推导出ε(空语句),则 FIRST(α) ∩ FIRST(β) = ∅;
2.α 和 β 至多有一个能推导出 ε;
3. 如果 β经过0步或多步可以推导出 ε,则 FIRST(α) ∩ FOLLOW(A) = ∅。
关键:
求出各个候选式的FIRST集,以及各个语法变量的FOLLOW集
例子:
文法:
E -> TE'
E' -> +TE' | ε
T -> FT'
T' -> *FT' | ε
F -> (E) | id
解析:
1.根据定义3,只需考虑多于一个候选式的语法变量
FOLLOW(E') = FOLLOW(E) = { ), # }
FOLLOW(T') = FOLLOW(T) = FIRST(E') ∪FOLLOW(E) ∪ FOLLOW(E') = {+, ), #}
FIRST(+TE') = {+}
FIRST(*FT') = {*}
按照定义3:分析:
FIRST(+TE') ∩ FOLLOW(E') = ∅ 成立
FIRST(*FT') ∩ FOLLOW(T') = ∅ 成立
2.根据定义1,F-> (E) | id
FIRST((E)) = {(}
FIRST(id) = {id}
FIRST((E)) ∩ FIRST(id) = ∅ 成立
3.根据定义2,全部满足
因此,该文法是 LL(1)文法
题型:
1.判断该文法是否是LL(1)文法?
2.若是,给出它的LL(1)分析表,否则说明理由。
概念:
对于产生式 A -> α | β
1.如果α、β均不能推导出ε(空语句),则 FIRST(α) ∩ FIRST(β) = ∅;
2.α 和 β 至多有一个能推导出 ε;
3. 如果 β经过0步或多步可以推导出 ε,则 FIRST(α) ∩ FOLLOW(A) = ∅。
关键:
求出各个候选式的FIRST集,以及各个语法变量的FOLLOW集
例子:
文法:
E -> TE'
E' -> +TE' | ε
T -> FT'
T' -> *FT' | ε
F -> (E) | id
解析:
1.根据定义3,只需考虑多于一个候选式的语法变量
FOLLOW(E') = FOLLOW(E) = { ), # }
FOLLOW(T') = FOLLOW(T) = FIRST(E') ∪FOLLOW(E) ∪ FOLLOW(E') = {+, ), #}
FIRST(+TE') = {+}
FIRST(*FT') = {*}
按照定义3:分析:
FIRST(+TE') ∩ FOLLOW(E') = ∅ 成立
FIRST(*FT') ∩ FOLLOW(T') = ∅ 成立
2.根据定义1,F-> (E) | id
FIRST((E)) = {(}
FIRST(id) = {id}
FIRST((E)) ∩ FIRST(id) = ∅ 成立
3.根据定义2,全部满足
因此,该文法是 LL(1)文法
相关文章推荐
- 判断是不是LL1文法
- 如何判断文法是LL(1)SLR(1)LR(1)LALR(1)的?
- 如何判断文法是否是LL(1)文法
- LL(1)文法判断
- 编译原理之ll(1)文法判断和左递归问题
- LL(1)文法实现(C系语言版)实现
- 从上下文无关文法(CFG)到语法分析树——LL(1)分析法
- 编译原理(五) LL(1)文法分析法(预测分析表的构造算法C++实现)
- LL(1)文法
- LL(1)文法代码(有一定的纠错能力)
- Chomsky文法类型判断
- 编译原理 LL1文法First集算法实现
- 编译原理(六) LL(1)文法分析法(分析过程的C++实现)
- 编译原理实验4——LL(1)文法分析
- 通过ll判断linux文件的类型以及介绍linux的特殊文件
- 编译原理:LL(1)文法 语法分析器(预测分析表法)
- LL(1)文法 JAVA
- 编译原理LL(1)文法实验报告
- LL(1) 文法推导
- LL(1) 文法