程序设计语言包括(1)等几个方面，它的基本成分包括(2)。Chomsky(乔姆斯基)提出了形式语言的分层理论，他定义了四类文法：短语结构文法、上下文有关文法、上下文无关文法和正则文法。一个文法可以用一个四元组G=(∑，V，S，P)表示，其中，∑是终结符的有限字符表，V是非终结符的有限字母表，S(∈V)是开始符号，P是生成式的有限非空集。
在短语文法中，P中的生成式都是α→β的形式，其中α∈(3)，β∈(Σ∪V)*。在上下文有关文法中，P中的生成式都是α1Aα2→α1βα2的形式，其中A∈(4)，β∈(Σ∪V)*，β≠ε。在上下文无关文法中，P中的生成式的左部∈(5)。
（1）A、语法、语义
B、语法、语用
C、语义、语用
D、语法、语义、语用
（2）A、数据、传输、运算
B、数据、运算、控制
C、数据、运算、控制、传输
D、顺序、分支、循环
（3）A、V+
B、(∑∪V)
C、(∑∪V)*
D、(∑∪V)*V(∑∪V)*
（4）A、V
B、V+
C、∑∪V
D、(∑∪V)*
（5）A、V
B、V+
C、∑∪V
D、(∑∪V)*