网友您好, 请在下方输入框内输入要搜索的题目:
题目内容
(请给出正确答案)
规范归约和规范推导是互逆的两个过程。
参考答案
更多 “规范归约和规范推导是互逆的两个过程。” 相关考题
考题
净室软件工程(Cleanroom)是软件开发的一种形式化方法,可以开发较高质量的软件。它使用(91)进行分析和建模,并且将(92)作为发现和排除错误的主要机制。使用(93)测试来获取认证软件可靠性所需要的信息。A.产生式归约B.移进归约C.盒结构归约D.规范归约
考题
单选题如果文法是无二义的,那么规范归约是指()A
最左推导的逆过程B
最右推导的逆过程C
规范推导D
最左归约的逆过程
热门标签
最新试卷