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

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

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

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

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

NFA的确定化算法具有消除ε边的功能。

判断题NFA的确定化算法具有消除ε边的功能。