编译原理知识点
第四章作业及相关知识点
一、第一题知识点
1、消除左递归
\(P → Pα｜β\)等价于\(P→βP’（P’\)为新增加的非终结符\(）, P'→αP'｜ε\)
2、判断一个上下文无关文法是\(LL(1)\)文法
一个上下文无关文法是LL(1)文法的充分必要条件是，对每个非终结符的两个不同的产生式，\(A→α，A→β\)，满足：\(SELECT(A→α)∩SELECT(A→β)= φ\)
3、求\(select\)集
设$G=(Ｖ_T，Ｖ_N，S，P） α∈Ｖ* $
$FIRST(α)={a|α==*> aβ，a∈Ｖ_T}
若\(α==*>ε\)，则\(SELECT(A→α)= FIRST(α)\)
若\(α==*>ε\)，则\(SELECT(A→α) = (FIRST(α)-{ε})∪FOLLOW(A)\)
4、求\(first\)集
设$G=(Ｖ_T，Ｖ_N，S，P） α∈Ｖ* $
$FIRST(α)={a|α==*> aβ，a∈Ｖ_T}
若\(α==*>ε，则ε∈FIRST(α)\)
\(FIRST(α)\)是\(α\)的所有可能推导的首遇终结符号或ε，是选择产生式的依据。
5、求\(follow\)集
\(A∈Ｖ_N\)
\(FOLLOW(A)={ a｜S==*>…Aa…，a∈Ｖ_T }\)
若\(S==*>…A\)，则#\(∈FOLLOW（A）\)
'#'—输入串的结束符 也可看作是句子的括号 #S#
\(FOLLOW(A)\)表示了句型中可能紧跟在\(A\)后面的终结符号
6、构造预测分析表
设有文法\(G\)，预测分析表构造过程：
- 计算所有候选式\(α\)的首符集 \(FIRST（α）\)
- 计算所有非终结符A的后继符集\(FOLLOW（A）\)
- 计算所有产生式的\(SELECT(A→α)\)集合
- 构造预测分析表 \(M\)
