给定文法G[S]及其非终结符A,FIRST(A)定义为:从A出发能推导出的终结符号的集合(S是文法的起始符号

Question

给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]： S→[L]|a L→L，S|S 其中，G[S]包含的4个终结符号分别为： a ， [ ] 则FIRST(S)的成员包括(48)。

A．a

B．a、[

C．a、[和]

D．a、[、]和，

Answer 1

正确答案：B
解析：本题考查程序语言基础知识。
  程序语言的语法可由上下文无关文法表示，合法的程序可看作是由该文法推导得到。
  对于文法G[S]，从S出发推导出[a,a]和a的过程可表示为：
  S＝＞[L]＝＞[L，S]＝＞[S，S]＝＞[a,S]＝＞[a,a]
  S＝＞a
  从S出发可推导出以a或[开始的符号串，因此FIRST(S)的成员包括a、[。