例 5.2   　　文法G2[S]: 　　S →Ap|Bq 　　A →a|cA 　　B →b|dB 　　识别输入串w=ccap是否是G2[S]的句子 　　推导过程： 　　SApcApccApccap 推导成功 　　因为：FIRST(S)=FIRST(A)∪FIRST(B) 　　FIRST(A)={a，c} 　　FIRST(B)={b，d} 　　FIRST(Ap)={a，c} 　　FIRST(Bq)={b，d} 　　所以：FIRST(Ap)∩FIRST(Bq)= 　　FIRST(a)∩FIRST(cA)= 　　FIRST(b)∩FIRST(dB)= 　　面临当前输入符号都能唯一确定选择哪个产生式进行推导。