名词解释 局部优化

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

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