程序設計語言包括(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、數(shù)據(jù)、傳輸、運算
B、數(shù)據(jù)、運算、控制
C、數(shù)據(jù)、運算、控制、傳輸
D、順序、分支、循環(huán)
（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)*