单项选择题
A.字母表必须是有穷集合B.初始状态集合不能为空C.终止状态集合不能为空D.状态集合须是有穷集合
A.合并已知量B.代码外提C.强度消弱D.删除归纳变量
A.删除公共子表达式B.删除无用赋值C.合并已知量D.代码外提