程序设计语言包括（)等几个方面，它的基本成分包括（)。Chomsky（乔姆斯基)提出了形式语言的分层理论，他定义了

程序设计语言包括()等几个方面，它的基本成分包括()。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了4类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V，S，P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。

在短语文法中，P中的生成式都是α→β的形式，其中α∈(C)，β∈(∑∪V)*。在上下文有关文法中，P中的生成式都是α₁A_α→α₂βα₂的形式，其中A∈()，β∈(∑∪V)*，β≠ε。在上下文无关文法中，P中的生成式的左部∈()。

供选择的答案：