第3章 自动机基础.pptVIP

3.1 正规语言及其描述方法 ※ 正规语言判定示例: 3.1.1 正规语言的另外两种表示方法 3.1.1 正规语言的另外两种表示方法 ※有限自动机表示法说明： ※ 正规语言的三种表示法综合示例： 【例3.5】 L ={ abnc, bn| n≥0 },∑= {a,b,c}； 【注】凡是能由上述三种方法中的一种表示的语言， 一定是正规语言；反之，凡是不能由上述三种方法表示 的语言，一定不是正规语言。 3.2 有限自动机的定义和分类 3.2.1 有限自动机的定义 ? 变换(二元函数) ; 令L(FA)为自动机FA所描述的正规语言；则 ※ L(FA)的生成(或识别)过程示例： 【例3.6】有限自动机 ：FA=( Q,∑,S,F,? ) 其中: Q={1,2,3,4},∑={a,b,c}, S={1,2}, F={3,4} 3.3 有限自动机的等价转换 3.3.2 有限自动机的确定化算法 ※ 消除?边算法示例： 3.3.2 有限自动机的确定化算法(续1) ※ 确定化示例： 3.3.3 有限自动机的最小化算法 3.3.3 有限自动机的最小化算法(续1) 3.3.3 有限自动机的最小化算法(续2) ※ 有限自动机化简示例 ※ 有限自动机化简示例(续1) ※ 有限自动机化简示例(续2) ※ 有限自动机化简练习 3.4 有限自动机的实现 用计算机完成有限自动机的功能，其核心是“变换”的实现技术。这里介绍的是把变换表按某种方式存储起来，作为知识源来识别单词，实现机制是： ※ 有限自动机实现示例 3.5 正规语言描述方法间的相互转换 ※ 正规文法与DFA间转换示例： 3.5 正规语言描述方法间的相互转换 ※ 正规式与DFA间转换示例： ※ 正规式与DFA间转换练习(1) ※ 正规式与DFA间转换练习(1)答案 ※ 正规式与DFA间转换练习(2) Ⅱ. 合并等价状态算法 (1) 初始，把状态集Q划分成两个不等价子集: Q1(结束状态集)， Q2(非结束状态集)； (2) 把每个Qi再划分成不同的子集，条件是： 对同一Qi中两个状态 i 和 j ，若对字母表中的某个符号，变换到已划分的不同的状态集中，则 i 和 j 应分离: (3) 重复步骤(2)，直到再不能划分为止； (4) 合并最终划分的每个子集中的各状态(合而为一)。 如 ?(i,a)∈Qm , ?(j,a)∈Qn 且 m≠n --- 划分不等价状态集 【例3.10】 化简下述 DFA: (1) 删除无用状态： 动态构造DFA变换表，即从开始状态 1 出发， 把变换后的状态填入表项，并同时作为新行标记；如此下去，直到再不出现新状态为止。未出现的状态，就是无用的状态。 【注】 DFA 中的状态 2，8 被删除! 4 6 4 7 3 7 5 6 4 4 5 1 3 3 6 1 b a + - - - ② ③ ① + ⑦ - ⑥ - ⑤ - b a b a b a b ④ a ⑧ b a a a b a DFA的变换表： 4 6 4 7 3 7 5 6 4 4 5 1 3 3 6 1 b a + - - - DFA: (2) 合并等价状态: ① 令 QNE= { {1,3,4}, {5,6,7} } ② 取 {1,3,4} ： 即 QNE= { {1},{3,4}, {5,6,7} } ③ 取 {3,4}： ∵ ?(3,a)=1 ,?(4,a)=4 ∴ 划分 Q1={3}, Q2={4} 即 QNE= { {1},{3},{4}, {5,6,7} } ④ 取 {5,6,7}: 同理，可划分成 Q1={5}, Q2={6,7}； 最后： QNE= { {1},{3},{4}, {5},{6,7} } 不等价集 ∵ ?(1,a)=6 ,?({3,4},a)={1,4} ∴ 划分成 Q1={1}, Q2={3,4} 4 6 4 7 3 7 5 6 4 4 5 1 3 3 6 1 b a + - - - DFA: 合并等价状态: {6 , 7} 4 6 3 6 5 6 4 4 5 1 3 3 6 1 b a + - - ③ ① + ⑥ - ⑤ - b a b b ④ a b a a a 6替换7 最小的 DFA ! 删除无用状态 合并等价状态 (3) 令 getchar(ch) 为读符号函数。 控制程序 变换表 + 【三点说明】 (1) 假定自动机只作为识别器，即对待识别的符号串： 仅回答 是(接受) 或 否(拒绝)。 (2) 为便于处理，可令 # 作为待识别的符号串的后继符。 为此，扩展自动机如下： ③ ①