预测分析法的工作过程
从文法开始符号触发,在每一步推导过程中根据当前句型的最左非终结符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∈