问题
单项选择题
给定文法G[S]及其非终结符A，FIRST(A)定义为：从A出发能推导出的终结符号的集合(S是文法的起始符号，为非终结符)。对于文法G[S]：
S→[L]|a
L→L，S|S
其中，G[S]包含的4个终结符号分别为：
a ， [ ]
则FIRST(S)的成员包括（）。
A．a
B．a、[
C．a、[和]
D．a、[、]和，
答案
参考答案：B
解析：
[分析]： 本题考查程序语言基础知识。
程序语言的语法可由上下文无关文法表示，合法的程序可看作是由该文法推导得到。
对于文法G[S]，从S出发推导出[a,a]和a的过程可表示为：
S＝＞[L]＝＞[L，S]＝＞[S，S]＝＞[a,S]＝＞[a,a]
S＝＞a
从S出发可推导出以a或[开始的符号串，因此FIRST(S)的成员包括a、[。