北京邮电大学形式语言与自动机 有限自动机与右线性文法，自动机（DFA与NFA）.pptVIP

fall 2001 第三章 有限自动机与右线性文法 本章主要内容 确定有限自动机 非确定有限自动机 确定与非确定有限自动机的等价性 右线性文法和有限自动机的等价性， 右线性文法的性质(泵浦定理) 使用归纳法进行证明的方法。 第一节 有限自动机 一、有限状态系统的概念 状态:状态是可以将事物区分开的一种标识。 具有离散状态的系统:如数字电路(0,1), 十字路口的红绿灯。离散状态系统的状态数是有限的. 具有连续状态的系统:比如水库的水位,室内温度等可以连续变化,即有无穷个状态. 有限状态系统必然是离散状态系统（而且状态数有限）,因为只有有限个状态. 第一节 有限自动机 实例 一个人带着一头狼，一头羊，以及一棵青菜，处于河的左岸。有一条小船,每次只能携带人和其余的三者之一。人和他的伴随品都希望渡到河的右岸，而每摆渡一次，人仅能带其中之一。然而如果人留下狼和羊不论在左岸还是在右岸，狼肯定会吃掉羊。类似地，如果单独留下羊和菜，羊也肯定会吃掉菜。如何才能既渡过河而羊和菜又不被吃掉呢? 二、有限自动机的概念 有限自动机的概念 具有离散 输入 输出系统的一种数学模型 (可以没有输出，比较特殊的也可以没有输入). 有限的状态 状态+输入?状态转移 每次转换的后继状态都唯一 ? DFA 每次转换的后继状态不唯一 ? NFA FA 的模型 FA可以理解成一个控制器,它读一条输入