根据乔姆斯基20世纪50年代建立的形式语言的理论体系，语言的文法被分为四种类型，即：O型(上下文有关文法)、1型(上下文相关文法)、2型(上下文无关文法)和3型(正规文法)。其中2型文法与(66)等价，所以有足够的能力描述多数现今程序设计的语言的句法结构。一个非确定的有限自动机必存在一个与之等价(67)。从文法描述语言的能力来说，(68)最强，(69)最弱，由四类文法的定义可知：(70)必是2型文法。(40)

根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。

乔姆斯基(Chomsky)将文法分为4种类型，程序设计语言的大多数语法现象可用其中的( )描述。

假设某程序语言的文法如下：S→a|b|(T)T→TdS|S其中，VT={a，b，d，(，))；VN={S，T}，S是开始符号。考察该文法，句型(Sd(T)db)是S的一个(28)。其中(29)是最左素短语，(30)是该句型的直接短语。(74)

3型文法是（）是语法分析使用的文法。

语法分析基于（）文法进行，即识别的是该类文法的句子。语法分析的有效工具是（）。

一个上下文无关文法G包括四个组成部分：一组终结符，一组非终结符，一个（），以及一组（）。

设语言L={w|w∈{a,b}+且w中a和b的个数相等}，产生语言L的上下文无关文法是(28)。

设G 是一个给定的文法，S 是文法的开始符号，如果S->x( 其中x∈V*), 则称x 是文法G 的一个（ ）。

● 设某上下文无关文法如下： S→11 | 1001 | S0 |SS，则该文法所产生的所有二进制字符串都具有的特点是 （50） 。（50）

设某上下文无关文法如下：S→11 |1001|S0|SS，则该文法所产生的所有二进制字符串都具有的特点是(50)。

假设某程序语言的文法如下：S→SaT|TT→TbR|RR→PdR|PP→fSg|e其中Vr＝{a，b，d，e，f，g}；Vn＝{S，T，R，P}；S是开始符号，那么，此文法是(43)文法。这种文法的语法分析通常采用优先矩阵。优先矩阵给出了该文法中各个终结符之间的优先关系(大于、小于、等于和无关系)。在上述文法中，某些终结符之间的优先关系如下：b{(44)}a；f{(45)}g；a{(46)}a；d{(47)}d。