判断题 仅考虑一个基本块，不能确定一个赋值是否真是无用的。

判断题 每个过程的活动记录的体积在编译时可静态确定。

判断题 在规范规约中用最左素短语来刻画可规约串。