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

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

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