3.4 词法分析程序的自动构造 　　对有穷自动机和正规表达式进行了上述讨论之后，我们介绍词法分析程序的自动构造方法，这个方法基于有穷自动机和正规表达式的等价性，即： 　　对于∑上的一个NFA M，可以构造一个∑上的正规式R，使得L(R)=L(M)。对于∑上的一个正规式R，可以构造一个∑上的NFA M，似的L(M)=L(R)。