一个语义子程序描述了一个文法所对应的翻译工作。

两个正规集相等的必要条件是他们对应的正规式等价。

判断题两个正规集相等的必要条件是他们对应的正规式等价。

进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。

判断题进行代码优化时应着重考虑循环的代码优化，这对提高目标代码的效率将起更大作用。

静态数组的存储空间可以在编译时确定。

判断题静态数组的存储空间可以在编译时确定。