判断题 一个语言（如C语言）的句子是有穷的。

判断题 一个非确定的有限自动机NFA可以通过多条路径识别同一个符号串。

判断题 源程序和目标程序是等价关系。