编译原理第七讲.ppt

关于有穷自动机我们将讨论如下题目 确定的有穷自动机DFA 不确定的有穷自动机NFA NFA的确定化 DFA的最小化 1.确定的有穷自动机DFA DFA定义： 一个确定的有穷自动机（DFA）M是一个五元组：M=（K，Σ，f，S，Z）其中 1.K是一个有穷集，它的每个元素称为一个状态； 2.Σ是一个有穷字母表，它的每个元素称为一个输入符号，所以也称Σ为输入符号表； DFA定义 3.f是转换函数，是在K×Σ→K上的单值映射，即，如 f（ki，a）=kj，（ki∈K，kj∈K）就意味着，当前状态为ki，输入符为a时，将转换为下一个状态kj，我们把kj称作ki的一个后继状态； 4.S∈K是唯一的一个初态； 5.Z? K是一个终态集，终态也称可接受状态或结束状态。 一个DFA 的例子： DFA M=（{S，U，V，Q}，{a，b}，f，S，{Q}）其中f定义为： f（S，a）=U f（V，a）=U f（S，b）=V f（V，b）=Q f（U，a）=Q f（Q，a）=Q f（U，b）=V f（Q，b）=Q DFA 的状态图表示 DFA 的矩阵表示 练习 设ＤＦＡ　Ｍ＝（ ｛０，１，２， ３｝ ， ｛ａ，ｂ｝， δ ，０，｛３｝）其中 δ（０，ａ）＝１，δ（１，ａ）＝3 δ（２，ａ）＝１，δ（３，ａ）＝３ δ（０，ｂ）＝２，δ（１，ｂ）＝２ δ（２，ｂ）＝３，δ