2 自动机.docVIP

自动机 维基百科，自由的百科全书 跳转到： 导航、 搜索 在理论计算机科学中，自动机理论是对抽象机和它们能解决的问题的研究。自动机理论密切关联于形式语言理论，因为自动机经常按它们所能识别的形式语言类来分类。 目录 [隐藏] 1 基本描述 2 术语 3 形式描述 4 有限自动机的分类 4.1 有限自动机的扩展 5 有限状态自动机的最小化 6 计算能力与判定问题 7 外部链接 8 引用 9 参见 编辑] 基本描述 自动机是有限状态机(FSM)的数学模型。FSM 是给定符号输入，依据(可表达为一个表格的)转移函数“跳转”过一系列状态的一种机器。在常见的 FSM 的“Mealy”变体中，这个转移函数告诉自动机给定当前状态和当前字符的时候下一个状态是什么。 逐个读取输入中的符号，直到被完全耗尽(把它当作有一个字写在其上的磁带，通过自动机的读磁头来读取它；磁头在磁带上前行移动，一次读一个符号)。一旦输入被耗尽，自动机被称为“停止”了。 依赖自动机停止时的状态，称呼这个自动机要么是“接受”要么“拒绝”这个输入。如果停止于“接受状态”，则自动机“接受”了这个字。在另一方面，如果它停止于“拒绝状态”，则这个字被“拒绝”。自动机接受的所有字的集合被称为“这个自动机接受的语言”。 但要注意，自动机一般不必须有有限数目甚至可数个状态。比如，量子有限自动机有不可数无限个状态，因为所有可能状态的集合是在复投影空间中所有点的集合。所以，量子有限自动机和有限状态机一样，都是更一般想法拓扑自动机的特殊情况，它的状态的集合是拓扑空间，而状态转移函数取自在这个空间上的所有可能函数。拓扑自动机经常叫做 M-自动机，简单是半自动机加上接受状态集合的补充，这里的集合交集确定初始状态是被接受还是被拒绝。 一般的说，自动机不需要严格的接受或拒绝一个输入；它可以按某个在零和一之间的概率接受它。还是用量子有限自动机作为展示例子，它只按某个概率接受输入。这个想法也是更一般情况几何自动机或度量自动机的特殊情况，它的状态的集合是度量空间，一个语言被这个自动机接受如果在初始点和接受状态的集合之间的距离关于这个度量是足够的小。 [编辑] 术语 自动机有如下基本概念： 符号 有某种意义或在这个机器上有效的任意数据(datum)。符号有时就叫做“字母”。 字 通过一些符号串接而形成的有限字符串。 字母表 符号的有限集合。字母表经常指示为 ，它是在字母表中所有字母的集合。 语言 字的集合，由给顶字母表中的符号形成。可以是也可以不是无限的。 Kleene闭包 一个语言可以被认为是所有可能字的子集。所有可能字的集合可以被认为是所有可能的字符串串接的集合。形式上说，所有可能字符串的集合叫做自由幺半群。它被指示为 ，上标 * 被称为 Kleene星号。 [编辑] 形式描述 自动机可以表示为5-元组 ，这里的: Q 是状态的集合。 ∑ 是符号的有限集合，我们称为这个自动机接受的语言的字母表。 δ 是转移函数，就是 。 (对于非确定自动机，空串是允许的输入)。 q0 是开始状态，就是说自动机在还未处理输入的时候的状态(明显的 q0∈ Q)。 F 是叫做终止状态的 Q 中的状态的集合(就是 F?Q)。 给定一个输入字母 ，可以使用简单的 currying 技巧写转移函数为 ，就是说，写 对于所有。这种方式下转移可以被更简单的看待: 它就是“动作”于 Q 中一个状态上的生成另一个状态的某种东西。你可以接着考虑重复的应用函数复合于各种函数 , 等等的结果。重复的函数复合形成一个幺半群。对于转移函数，这个幺半群叫做转移幺半群，有时也叫做“变换半群”。 给定一对字母 ，可以通过坚持 定义一个新函数 ，这里的 指示函数复合。明显的，可以递归的继续这个过程，这样就有了为所有字 定义的函数 的递归定义，因此有了映射 这个构造也可以反过来: 给定 ，可以重新构造一个 ，因此两个描述是等价的。 三元组 被称为半自动机。半自动机位于自动机底下，它们就是忽略了开始状态和接受状态的自动机。开始状态和接受状态的补充概念允许自动机做半自动机不能做的事情: 它们可以识别形式语言。确定有限自动机 接受的语言 是: 就是说，一个自动机所接受的语言是在字母表 之上所有字 w 的集合，当给定为自动机的输入的时候，将导致它停止于 中的某个状态。被自动机接受的语言叫做可识别语言。 当状态集合 Q 是有限的时候，自动机被称为有限状态自动机，而所有可识别的语言是正则语言。事实上，有一个强等价: 对于所有正则语言，都有一个有限状态自动机，反之亦然。 如上所述，集合 Q 不必须是有限或可数的；它可以采用一般的拓扑空间；这就得到了一般的拓扑自动机。另一种可能的推广是度量自动机或“几何自动机”。在这种情况下，改变了对语言的接受: 替代在 中的最终状