乔姆斯基（Chomsky）将文法分为4种类型，程序设计语言的大多数语法现象可用其中的（49）描述。
(49)A.上下文有关文法 B.上下文无关文法 C.正规文法 D.短语结构文法
解析：上下文无关文法：形式语言理论中一种重要的变换文法，用来描述上下文无关语言，在乔姆斯基分层中称为2型文法。由于程序设计语言的语法基本上都是上下文无关文法，因此应用十分广泛。
