第二章2.2 有限自动机FA（Finite Automata ).pptVIP

2.2 有限自动机FA（Finite Automata )  自动机:表示无穷字符串集合的工具。 自动机 字符串集合。 有限自动机的描述能力与乔姆斯基体系中的3型文法是等价的。 描述程序设计语言中的单词，进一步为词法分析程序的自动构造寻找特殊的方法和工具。它不能用来描述表达式、语句等复杂的语法结构。 主要内容： 确定有限自动机DFA 确定有限自动机DFA的实现 非确定有限自动机NFA NFA到DFA的转换 DFA的化简 2.2.1 确定有限自动机 （DFA： Deterministic Finite Automata )  一.确定有限自动机的定义 确定有限自动机M为一个五元组: M = ( S ,? , s0 ,f ,Z )，其中： S是一个有穷状态集，它的每个元素称为一个状态； ?是一个有穷字母表，它的每个元素称为一个输入 字符； s0?S，是唯一的一个初始状态(开始状态)； f是状态转换函数:S??? S，且单值函数。f(Si,a)=Sk 表示：当前状态为Si，遇输入字符a 时，自动机将唯一地转换到状态 Sk，称Sk为 Si的一个后继状态; Z?S，是终止状态集（可接受状态集、结束状态集），其中的每个元素称为终止状态（可接受状态、结束状态）,Z可空。 二、一个DFA的例子 DFA M=({S,U,V,Q} , {a,b}, f , S , {Q}), 其中f 定义为： f ( S, a )=U f ( V, a )=U f ( S, b )=V f ( V, b )=Q f ( U, a )=Q f ( Q, a )=Q f ( U, b )=V f ( Q, 1 )=Q 三.DFA的两种表示方式 状态转换图 ：用有向图表示自动机 1. 结点表示状态： 1.1 非终止状态由单圆圈围住的状态标识来表示; 1.2 终止状态由双圆圈围住的状态标识来表示（或由单圆圈围住的状态标识并标识以“-” 来表示）； 1.3 开始状态由一个箭头指向的状态结点来表示(或标识以“+”来表示)。 2.状态转换函数用有向边来表示，若 f(Si,a)=Sk，则由表示Si的状态节点到表示Sk的状态节点发出一条标识为a的有向边。 DFA M=( {S,U,V,Q}, {a,b}, f, S, {Q}),其中 f 定义为： f ( S, a )=U f ( V, a )=U f ( S, b )=V f ( V, b )=Q f ( U, a )=Q f ( Q, a )=Q f ( U, b )=V f ( Q, b )=Q 状态转换图 U S V Q a a b a b a b ,b 三、DFA接受的字符串 对于?*中的任何字符串t,若存在一条从初始结点到某一终止结点的路径，且这条路上所有弧上的标记符连接成的字符串等于t,则称t可为DFA M所接受（识别）。 若DFA M的初始状态同时又是终止状态，则空字符串可为DFA M所接受（识别）。 DFA M 所能接受的字符串的全体记为L(M).  例1： L( M1 )={ aba, abaa, abab, abaab,…} DFA M1 0 1 2 3 a b a a, b aba CurrentChar CurrentState CurrentState CurrentChar CurrentState CurrentChar CurrentState CurrentChar  例2：L( M2 )={a, ab, abb, abbb,…} DFA M2 0 1 a b  例3：L( M3 )={?, b, bb, bbb,…} DFA M3 1 b 状态转换矩阵：用二维数组描述DFA 转换矩阵的行表示确定有限自动机的状态; 标识初始状态和终止状态：一般约定，第一行表示开始状态S0 ，或在右上角标注“+”；右上角标有“*”或“-”的状态为终止状态 ； 转换矩阵的列表示确定有限自动机的输入字符； 矩阵元素表示确定