Chomsky定义的四种形式语言文法中，2型文法可由（）识别。
A: 图灵机
B: 确定性有限自动机
C: 下推自动机
D: 非确定性有限自动机
A: 图灵机
B: 确定性有限自动机
C: 下推自动机
D: 非确定性有限自动机
举一反三
- 在Chomsky定义的4种形式的文法中,0型文法又称为①文法；1型文法又称为②文法；2型语言可由③识别。1.A.短语结构文法B.上下文无关文法C.上下文有关文法D.正规文法E.图灵机F.有穷自动机G.下推自动机
- 根据乔姆斯基于20世纪50年代建立的形式语言的理论体系，文法被分为4种类型，即0型(短语文法)、1型(上下文有关文法)、2型(上下文无关文法)和3型(正规文法)。其中，2型文法与(1)等价，所以有足够的能力描述多数现今程序设计的语言的语法结构。一个非确定的有穷自动机必存在一个与之等价的(2)。从文法描述语言的能力来说，(3)最强，(4)最弱，由4类文法的定义可知(5)必是2型文法。 A: 确定的有穷自动机 B: 图灵机 C: 非确定的下推自动机 D: 非确定的有穷自动机 E: 有穷自动机
- 有限自动机分为（ ）。 A: 确定有限自动机 B: 非确定有限自动机 C: 确定有限自动机和非确定有限自动机 D: 状态转图、语法树、状态矩阵
- 关于有限自动机叙述正确的是： A: 有限自动机分为确定的有限自动机和不确定的有限自动机 B: 有限自动机可由状态转换图表达 C: 有限自动机可由状态转换矩阵表达 D: 有限自动机可以识别正规集
- 语法规则的描述工具通常为（ ） A: 上下文无关文法 B: 正规式 C: 非确定的有限自动机 D: 确定的有限自动机