第三章 词法分.pptVIP

DFA确定化的方法（P56） 指导思想：将DFA的状态分为互不相交的子集，使得任何不同的两子集中的状态是可区别的，而同一子集中的任何两个状态是等价的。 等价—自动机的两个不同状态s和t，如果从s出发能识别某个字w而停于终态，从t出发也能识别字w而停于终态，就认为状态s和t 等价。 可区别—自动机的两个不同状态s和t不等价，就认为它们是可区别的。 DFA化简（划分法） 步骤1：初始分划：终止状态U和非终止状态V（得到划分1）。 步骤2：重复对U、 V进行下列细分，直到不能再细分为止： 对于U（或V），计算其中的状态经过a,b后的到的新的状态集合，看该集合是否是划分1中某个集合的子集，如果是，说明U（或V）不能再划分，如果不是划分1中任何一个集合的子集，则对U（或V）再次进行划分，分割的依据是：把到达属于同一个集合的子集的状态归在一起。（得到划分2） 步骤3：重复步骤2（注意依据的划分是最近一次得到的那个划分），直到所有集合不能再分为止。 注意：前面发现的不能细分的小组后来可能还可以细分。所以重复步骤2的时候，需要检验所有的组。 1）终态集合U={3，4，5，6}，非终态集合V={0,1,2}； 2）对于U而言，Ua={3，4，5，6}，所以不能再划分了； 3）对于V而言，Va={1，3}，该集合既不属于U，也不属于V，所以要再次划分，因1经a到达3，而0，2经a到达1，所以V被划分为