编译原理：第三章词法分析与DFA化简.pdfVIP

编译原理

COMPILATION

PRINCIPLE

中南大学计算机学院

czg@csu.edu.cn

第三章词法分析

❖一、基本概念

❖二、确定有穷状态自动机（DFA）

❖三、非确定有穷状态自动机（NFA）

❖四、正规式和有限自动机的等价性

❖五、DFA的化简

五、DFA的化简相关概念

n一个确定有限自动机M的化简是指：寻找一个状态数比M少的DFAM’，

使得L(M)=L(M’)

n假定s和t是M的两个不同状态，我们称s和t是等价的：如果从状态s出发

能读出某个字w而停于终态，那么同样，从t出发也能读出同样的字w而

停于终态；反之，若从t出发能读出某个字w而停于终态，则从s出发也能

读出同样的w而停于终态。

n可区别的：如果DFAM的两个状态s和t不等价。

五、DFA的化简

n字符串W把状态s和状态t区别开：

n等价状态：无法区别开的两个状态

n基本思想：把状态集划分成互不相交的子集，使子集中的状态是等价的

n化简DFA的算法步骤：

u划分状态集