单项选择题 （）和代码优化部分不是每个编译程序都必需的。

单项选择题 若文法G定义的语言是无限集，则文法必然是（）。

单项选择题 文法G产生的（）的全体是该文法描述的语言。