有限自动机原理与应用.pdfVIP

编译原

COMPILATION

PRINCIPLE

理

中南大学计算机学院

czg@csu.edu.cn

第三章词法分析

❖一、基本概念

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

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

❖

NFA）

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

❖

性

❖五、DFA的化简

p一个确定的有穷自动机（DFA）D是一个五元组：

D（K，Σ，M，S，F）其中

nK：有穷非空的状态集合；

nΣ：有穷非空的输入符号字母表；

nM：转换函数，是在K×Σ→K上的映像，即，如M(k,a)=k,(k∈K,k∈K)就意味着，

ijij

当前状态为k，输入符为a时，将转换为下一个状态k，我们把k称作k的一个后继

i