计算理论-自动机.docVIP

计算理论-自动机 h1?/H1 ．1正则语言/H2 p计算计算理论-自动机 理论的第一个问题是：什么是计算机？/P p现实世界的计算机计算理论-自动机 相当复杂，很难直接对他们建立一个易于处理的数学理论。因此采用称为计算理论-自动机 计算模型的理想计算机来描述。同科学中的其他模型一样，一个计算模型准计算理论-自动机 确地刻画了某些特征，同时忽略一些特征。因此，针对关注的特征，我们采取计算理论-自动机 几个不同的计算模型。最简单的模型：有穷状态机或有穷自动机。计算理论-自动机 /P H3 style=LINE-HEIGHT: norm计算理论-自动机 al; MARGIN: 13pt 0cm?st1:ch计算理论-自动机 sdate w:st=on IsROCDate=False计算理论-自动机 IsLunarDate=False Day=30计算理论-自动机 Month=12 Year=18992.1.1/st计算理论-自动机 1:chsdate有穷自动机/H3 p有穷自动机是描述能计算理论-自动机 力和资源极其有限的计算机的模型。/P p有穷自动机作为计算理论-自动机 一种识别装置，它能准确地识别正规集。即识别正规文法所定义的语计算理论-自动机 言和正规式所表示的集合，引入有穷自动机这个理论正是为词法分析程计算理论-自动机 序的自动构成寻找特殊的方法和工具。/P p有穷自动机分为两计算理论-自动机 类：确定的有穷自动机（DFA）和不确定的有穷自动机（NFA）。计算理论-自动机 /P p从数学的角度考察有穷自动机/P p第一 计算理论-自动机 DFA的每一个状态对于字母表中的每一个符号总是恰好有一个转移箭头射出计算理论-自动机 ，在NFA中，一个状态对于字母表的每一个符号可能有0个、1个或计算理论-自动机 多个射出的箭头。/P p第二NFAnbsp; N计算理论-自动机 1有一个带有标号 ε的箭头/P H3 style=LIN计算理论-自动机 E-HEIGHT: normal; MARGIN: 13pt 0计算理论-自动机 cmst1:chsdate w:st=on IsROCD计算理论-自动机 ate=False IsLunarDate=False Da计算理论-自动机 y=30 Month=12 Year=18992.2计算理论-自动机 .1/st1:chsdatenbsp;nbsp; 非确计算理论-自动机 定型有穷自动机/H3 p“非确定型”有穷自动机（NFA）计算理论-自动机 具有同时处在几个状态的能力。通常把这种能力说成对输入进行“猜测”计算理论-自动机 的能力。例如，当用自动机在长的文本串当中搜索特定的字符串（如关计算理论-自动机 键字）时，“猜测”到正处在某个这种串的开头，并且专门用一个状态序列来计算理论-自动机 逐个字符地验证这样的串的出现，这是很有帮助的。在检查应用之前，需计算理论-自动机 要定义非确定型有穷自动机，证明每个非确定型有穷自动机都接受某个DF计算理论-自动机 A也接受的语言。也就是说，NFA恰好接受正则语言，恰好与DFA计算理论-自动机 一样。然而，讨论NFA是有许多理由的。通常NFA比DFA更紧凑也更容计算理论-自动机 易设计。而且，总是可以把NFA转换成DFA，但DFA可能比N计算理论-自动机 FA要多指数多个状态。幸运的是，这种情况很少见。/P 计 算理论-自动机 H3 style=LINE-HEIGHT: normal; MA计算理论-自动机 RGIN: 13pt 0cmst1:chsdate w:s计算理论-自动机 t=on IsROCDate=False IsLuna计算理论-自动机 rDate=False Day=30 Month=计算理论-自动机 12 Year=18992.2.2/st1:chsda计算理论-自动机 tenbsp;nbsp; 非确定型有穷自动机的非形式化观计算理论-自动机 点/H3 p与DFA一样，NFA也有一个有穷的状态集合计算理论-自动机 、一个有穷的输入符号集合、一个初始状态和一个接受状态的集合。也有一计算理论-自动机 个通常称为d的转移函数。DFA与NFA的区别在于δ的类型。对于N计算理论-自动机 FA，δ是一个以状态和输入符号为变量的函数（与DFA转移函数一样），但是返回0个、1个或多个状态的集合（而不是像DFA那样必须恰好返回一个状态）。首先看一个NFA的例子，然后给出精确的定义。 /P H3 style=LINE-HEIGHT: normal; MARGIN: 13pt 0cmst1:chsdate w:st=on IsROCDate=False IsLunarDate=False Day=30 Month=12 Year=18992.2.3