如果结果不匹配，请 
更多“语言的词法规则一般用Chomsky的（)型文法来描述：A、0…”相关的问题
第2题
（)是指源程序中不符合语法或词法规则的错误，这些错误一般在词法分析或语法分析时能检测出来。A
()是指源程序中不符合语法或词法规则的错误，这些错误一般在词法分析或语法分析时能检测出来。
A语义错误
B语法错误
C短语错误
D短句错误
第4题
（)的方法通过将程序转换并表示为逻辑公式，然后使用公理和规则证明的方法，验证程序是否为一个合法的定理，从而发现其中无法证明的部分，从中发现安全缺陷。
A.定理证明
B.模型检验
C.符号执行
D.词法分析
第9题
Chomsky定义的四种形式语言文法中，0型文法又称为()文法。
Chomsky定义的四种形式语言文法中，0型文法又称为（)文法。
点击查看答案
A.短语结构文法
B.前后文无关文法
C.前后文有关文法
D.正规文法
E.图灵机
F.有限自动机
G.下推自动机
第10题
程序设计语言一般可划分为低级语言和高级语言两大类，与高级语言相比，用低级语言开发的程序具有（) 等特点。
A.开发效率高，运行效率高
B.开发效率高，运行效率低
C.开发效丰低，运行效率高
D.开发效率低，运行效率低
第11题
Chomsky argues that LAD probably consists of three elements, that is a______, linguistic u
niversal, and an evaluation procedure.
点击查看答案
