一个语义子程序描述了一个文法所对应的翻译工作。

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

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

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

一个算符优先文法可能不存在算符优先函数与之对应。

编译程序是一种把高级语言程序翻译成机器语言程序的翻译程序。

以下说法错误的是A．高级语言都是用接近人们习惯的自然语言和数学语言作为语言的表达形式B．计算机只能处理由0和1的代码构成的二进制指令或数据C．C语言源程序经过C语言编译程序编译之后生成一个后缀为.EXE的二进制文件D．每一种高级语言都有它对应的编译程序

编译程序将高级语言程序翻译成与之等价的机器语言程序，编译前的程序如何称呼？（）

计算机采用了“存储程序”的工作原理，这一原理是1946年由冯•诺依曼提出的。

()一个语义规则描述了一个文法所对应的翻译工作。( )

一个语义规则描述了一个文法所对应的翻译工作。( )