LL(1)文法是一种编译原理中的预测分析法，确保分析过程的确定性。它要求每个产生式的右部或者以终结符开始，或者为ϵ。文法中的非终结符后继符号集、产生式可选集和首终结符集是关键概念。LL(1)文法的条件包括：相同左部的产生式不共享首终结符，且如果能推导出ϵ，其首终结符集与后续符号集无交集。
预测分析法的工作过程
从文法开始符号触发，在每一步推导过程中根据当前句型的最左非终结符A和当前输入符号a，选择正确的A-产生式。为保证分析的确定性，选出的候选式必须是唯一的。
S_文法（简单的确定性文法）
特点：
- 每个产生式的右部都以终结符开始。
- 同一非终结符的各个候选式的首终结符都不同。
- S_文法不包含 ϵ \epsilon ϵ产生式
什么时候使用 ϵ \epsilon ϵ产生式？
如果当前某非终结符A与当前输入符a不匹配时，若存在 A → ϵ A \rightarrow{\epsilon} A→ϵ，可通过检查a是否可以出现在A的后面，来决定是否使用产生式 A → ϵ A \rightarrow{\epsilon} A→ϵ。（若文法中无 A → ϵ A \rightarrow{\epsilon} A→ϵ，则应报错）。
例：
文法：
- S → a B C S\rightarrow{aBC} S→aBC
- B → b C B \rightarrow{bC} B→bC
- B → d B B\rightarrow{dB} B→dB
- B → ϵ B \rightarrow{\epsilon} B→ϵ
- C → c C\rightarrow{c} C→c
- C → a C \rightarrow{a} C→a
- D → e D \rightarrow{e} D→e
输入：
a d a
推导：
a B C ⇒ a d B C ⇒ a d C ⇒ a d a aBC \Rightarrow{adBC \Rightarrow{adC \Rightarrow{ada}}} aBC⇒adBC⇒adC⇒ada
可以看到在第三步推导中，B转成了空串。而上述文字的意思就是，由于此时输入的字符是a，而B没有候选式能够匹配，因此检查a能否出现在B的后面。换句话说，看看B后面的C能不能匹配a。 如果可以匹配则可以使用B的 ϵ \epsilon ϵ产生式，没有则报错。
非终结符的后继符号集
可能在某个句型中紧跟在A后边的终结符a的集合，即为FOLLOW(A)， F O L L O W ( A ) = { a ∣ ⇒ ∗ α A a β , a ∈ V T , a , β ∈ ( V T ∪ V N ) ∗ } FOLLOW(A) = \{a | \Rightarrow^*{\alpha A a \beta}, a \in V_T, a,\beta \in (V_T \cup V_N)^*\} FOLLOW(A)={
a∣⇒∗αAaβ,a∈
最低0.47元/天 解锁文章
3079
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
