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

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

判断题 对于任何一个正规式e，都存在一个DFAA，使得L（e）=L（A）。