问答题文法等价的定义是什么？

一个正规语言可以由正规文法定义,也可以由正规式定义。() 此题为判断题(对，错)。

查看答案

Chomsky 定义的四种形式语言文法中,1 型文法又称为( )文法。 A. 短语文法B. 上下文无关文法C. 上下文有关文法D. 正规文法

查看答案

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

查看答案

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

查看答案

已知文法G[S]:S→A0|Bl,A→S1|1,B→S0|0;该文法属于乔姆斯基定义的哪类文法()。 A.0型B.1型C.2型D.3型

查看答案

由等价关系的定义知代数系统间的同构关系是等价关系。()

查看答案

Chomsky定义的四种形式语言文法中，2型语言可由()识别。A、短语结构文法B、前后文无关文法C、前后文有关文法D、正规文法E、图灵机F、有限自动机G、下推自动机

查看答案

Chomsky定义的四种形式语言文法中，0型文法又称为什么文法()。A、短语结构B、前后文无关C、前后文有关D、正规

查看答案

若消除文法中的ε-产生式，将会改变文法所定义的语言，故不能消除ε-产生式。()

查看答案

文法的等价性是不可判定的。() 此题为判断题(对，错)。

查看答案

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

查看答案

等价类划分测试技术的测试准则(即等价类划分覆盖率)可定义为总共描述的等价类数量与已执行的等价类数量之比。() 此题为判断题(对，错)。

查看答案

在Chomsky定义的4种形式语言文法中，0型文法又称为(51)文法；1型文法又称为(52)文法；2型语言可由(53)识别。A．短语结构文法B．上下文无关文法C．上下文有关文法D．正规文法

查看答案

若文法 G 定义的语言是无限集，则文法必然是（）。A、递归的B、前后文无关的C、二义性的D、无二义性的

查看答案

一个文法能用有穷多个规则描述无穷的符号串集合（语言）是因为文法中存在有（）定义的规则。

查看答案

文法等价的定义是什么？

查看答案

健壮等价类测试与标准等价类测试的主要区别是什么？

查看答案

古罗马的第一部成文法是什么？

查看答案

等价类划分方法中，划分好等价类后设计测试用例的步骤是什么？

查看答案

等价形成的特点是什么？

查看答案

文法G所描述的语言是什么的集合？

查看答案

文法S→aaS|abc定义的语言是（）。A、｛a2kbcB、｛akbcC、｛a2k-1bcD、｛akakbc

查看答案

问答题说明等价关系、等价类以及划分的定义。

查看答案