净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用(91)进行分析和建模，并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。
A．产生式归约
B．移进归约
C．盒结构归约
D．规范归约
同心集合并可能会产生的冲突为()。A.二义B.移进-移进C.移进-归约D.归约-归约
点击查看答案
LL(1)文法中第一个L表示()。A.最左推导B.最左归约C.从左到右识别输入串D.规范归约
在编译程序中，语法分析的方法有自底向上分析和自顶向下分析。自底向上分析方法自左向右扫描输入符号串，通过(46)分析其语法是否正确。例如，(47)就是一种自底向上的分析方法，与其他自底向上分析方法不同，它是根据(48)来进行归约的。自顶向下分析方法从文法的开始符号出发，判断其能否(49)出输入符号串。采用自顶向下分析方法时，要求文法不含有(50)。A．归约-移进B．归约-归约C．移进-归约D．移进-移进
净室软件工程是软件开发的一种 (24) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (25) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。（24）A．形式化B．迭代式C．瀑布式D．交互式
算符优先分析与规范归约相比的优点是（）A、归约速度快B、对文法限制少
同心集的合并有可能产生新的“移进”/“归约”冲突。
一个LR（1）文法合并同心集后若不是LALR（1）文法（）A、则可能存在移进/归约冲突B、则可能存在归约/归约冲突C、则可能存在移进/归约冲突和归约/归约冲突
