给定文法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]包含的四个终结符号分别为： 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或【开始的符号串，因此FIRSTS）的成员包括a,[。