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

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

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

用高级语言编写的源程序必须经过编译，产生目标程序后才能运行。

判断题用高级语言编写的源程序必须经过编译，产生目标程序后才能运行。

四元式的编号具有双重含义，既代表此四元式，又代表四元式存放的结果。

判断题四元式的编号具有双重含义，既代表此四元式，又代表四元式存放的结果。