-第六章_自动机.docVIP

§2 句法结构的识别 本节要解决的问题是如何判定给定的句子是否符合文法的问题，即：句子的过程叫句法模式识别。 主要有两种识别方法，一种是通过句法分析来识别，另一种是用自动机理论来识别。 有限自动机 其中为有限状态集； 为输入字符集； 为状态变换规则，它是由到的影射； 为起始状态； 为状态集。 例：为了识别正则语言，构造有限自动机。 解：，， 其状态转移图如下所示： ① 若输入为，有： 分析完毕后，最后状态为,可被自动机识别。 ② 若输入为，有： ，同理，可被自动机识别。 ③ 若输入为，有： 不在终止状态中，拒绝该句子。 ④ 若输入为，有： ，可被自动机识别。 ⑤ 若输入为，有： ，拒绝该句子。 【定理】若一个语言是正规的，则这个语言一定能被一个有限自动机所识别，反过来，有一个有限自动机，则必可找到与之对应的正规文法。 有正规文法，必有有限自动机与之对应。其中： 若共个非终止符，则 共个状态，多了一个终止状态，有。 ② ，终止符集相同。 ③ 若有，在中有。 ④ 若有，在中有。 ⑤ 可能有出错状态在中有(trap)。 例：心电图波形： 不确定的有限自动机 从一个状态出发，接受同一个输入字符，可转移到两个或更多的状态： 对有限自动机而言，一个不确定的有限自动机一定存在一个确定的有限自动机与之对应。 不确定的有限自动机确定的有限自动机 个状态 个状态 例：不确定的有限自动机 有状态： 确定的有限自动机 有状态： 原来： 现在： 3. 有限自动机的最小化 【定理】对于任何确定的有限自动机，有一个等价的确定的有限自动机，它的状态比其它任何等价的自动机少，若不计同构（状态重命名），这个最少状态的自动机是唯一的。 去掉所有多余状态（不可到达的状态） 合并所有等价的状态，等价状态的要求： ① 同在中或同不在中； ② 对任意输入的字符，转移到的新状态同在中或同不在中。 例： 的等价，记为：,化简为： 二、下推自动机 下推自动机与上下文无关文法相对应，在自动机构成中加了一个存储器，称为下推表。 下推自动机是一个七元组： 的含义同有限自动机，为下推表的字符集，为下推表的初始内容，为状态变换规则： 例：上下文无关文法，其中： ，， 生成的语言为。 其几何含义为： 解：其对应的下推自动机为： ， 若输入为： 输 入 状 态 转 换 规 则 下推表内容 初始情况 分析完句子后，下推表正好为空，故自动机接受该句子。 事实上，上下文无关文法和下推自动机之间有一定的互推关系，若把上例文法化为标准型，生成规则为： 相应的状态转换规则： 生成式 状 态 转 换 式 用这个下推自动机识别句子的过程为： 输 入 状 态 转 换 规 则 下推表内容 ① 【定理】有一个上下文无关文法，一定能找到一个不确定的下推自动机（不一定唯一），它识别的语言正好为，反过来也成立。 ② 不能说，有一个不确定的下推自动机，一定能找到一个确定的下推自动机与之对应。 6 只读头 有限状态集Q 只读头 有限状态集Q 下推表 读，写头 堆栈