根据乔姆斯基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型文法。

对于文法G，仅含终结符号的句型称为（）。

在面向对象模型中，对象由一组变量、一组消息和一组方法组成，实体的每个属性用一个变量和两个消息表示， ( )用来更新属性值。

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

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

采用渐进的方式对公共政策进行终结，以消除公共政策终结所带来的负面影响。这种公共政策终结的形式是（）

工作终结即工作票终结。

电缆吊线在终端杆及角深大于15m的角杆上，应做终结。终结方法有卡子法终结、另缠法终结、夹板法终结。

导致破产程序终结的法定事由有三类，一是因（）而终结，二是因（）而终结，三是（）.

假设某程序语言的文法如下：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。

构件可以由一个零件组成，也可以由一组零件组成。