需要文法转换的原因
问题1
例如:
文法G:
S → a A d ∣ a B e S \rightarrow{aAd | aBe} S→aAd∣aBe
A → c A \rightarrow{c} A→c
B → b B \rightarrow{b} B→b
输入:
a b c
当同一非终结符的多个候选式存在共同前缀,将导致回溯现象。
问题2
例如:
文法G:
E → E + T ∣ E − T ∣ T E \rightarrow{E+T | E-T | T} E→E+T∣E−T∣T
T → T ∗ F ∣ T / F ∣ F T \rightarrow{T * F | T/F | F} T→T∗F∣T/F∣F
F → ( E ) ∣ i d F \rightarrow{(E) | id} F→(E)∣id
输入:
i d + i d ∗ i d id + id * id id+id∗id
推导过程:
E ⇒ E + T ⇒ E + T + T ⇒ E + T + T + T ⇒ . . . E \Rightarrow{E + T \Rightarrow{E + T + T \Rightarrow{E + T + T + T \Rightarrow{...}}}} E⇒E+T⇒E+T+T⇒E+T+T+T⇒...
因为文法开始符号的候选式没有以 i d id id开头的,所以选择第一个候选式。而因为输入的符号并没有被匹配,所以在相同的条件下依然还是要选择第一个候选式。由此导致了死循环。
注:
- 含有 A → A α A \rightarrow{A\alpha} A→Aα形式产生式的文法称为是直接左递归(immediate left recursive)的(一步推导)。
- 如果一个文法中有一个非终结符A使得对某个串 α \alpha α存在一个推导 A ⇒ + A α A \Rightarrow ^+{A\alpha} A⇒<