题目内容：
根据下列题干，回答题：程序设计语言包括（ 41 ）等几个方面，它的基本成分包括（ 42 ）。Chomsky（ 乔姆斯基 ）提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=（ ∑,V,S,P ）表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S（ ∈V ）是开始符号，P是生成式的有限非空集。在短语文法中，P中的生成式都是α→β的形式，其中a∈（ 43 ），β∈（ ∑∪V ）*。在上下文有关文法中，P中的生成式都是α1Aα2→α1βα2的形式，其中A∈（ 44 ），β∈（ ∑∪V* ）,β≠ε。在上下文无关文法中，P中的生成式的左部∈（ 45 ）。
请选择（ 41 ）处最佳答案
参考答案：
答案解析：