原创力文档形式语言与自动机
Formal Languages and Automata Theory;几种语言模型之间的关系：;问题：是否能够构造一个有穷自动机，识别语言：;第五章 正则语言的性质;分析：;正则语言的泵引理;正则语言的泵引理 ;正则语言的泵引理 ;正则语言的泵引理 ;正则语言的泵引理;正则语言的泵引理;正则语言的泵引理;正则语言的泵引理;正则语言的泵引理;正则语言的泵引理
正则语言运算的封闭性
自动机的极小化
正则语言的判定算法*
;定义5-2：
如果对某类语言进行某种运算后，所得的结果仍为该类语言的句子???则称该类语言对此运算是封闭的，或称该类语言对运算具有封闭性。;定义5-3：
称某语言类对某运算满足有效封闭性，是指给定该类语言中任意两个语言 L1、L2 的形式化表示，对二语言进行运算后所得语言仍然具有形式化表示算法。;定理5-1：
正则语言 RL 对“并”、“乘积”和“闭包”运算封闭。;定义4-1：设字母表为 ∑ ，正则表达式递归定义如下：;正则语言运算的封闭性;定理5-2：
正则语言 RL 在“补” 运算下是封闭的。;设 L（ r）= L（Mr），构造与 ～r 等价的 FA M～r 算法：
Mr 的始态作为 M～r 的始态；
Mr 与 M～r 的状态转移函数不变；
将 Mr 所有非终态 ( 包括陷阱态 qt ) 作为 M～r 的终态；
将 Mr 所有终态作为 M～r 的非终态。;例3：设表达式 r = 00 *11* 等价 FA Mr 如图所示，求与 ～r 等价的 FA M～r 。;定理5-3：
正则语言 RL 在“交” 运算下是封闭的。;给定 r1, r2 等价的 DFA M1 = Q1, ∑, δ1, q01, F1 ，DFA M2 = Q2, ∑, δ2, q02, F2 ，构造 DFA M，使得 L( M ) = L( M1 )∩ L( M2 )。;设 L( M1 ) = L( r1 )、L( M2 ) = L( r2 ) ，构造接受 L( r1∩r2 ) 的 DFA M = Q, ∑, δ, q, F 算法：;2、根据 NFA 求 DFA M 算法：
[ q1, q3 ] 为始态；
[ q2, q3 ] 为终态。
2、 M 的状态表。 ;正则代换（Substitution）：;29;自动机的极小化;给定正则语言 L，描述 L 的正则文法 RG 和有穷自动机 FA 的描述本质相同：;例：L = { x000 | x ∈{0,1}* } ∪ { x001 | x ∈{ 0,1 }*}
set (q0) = { x | x ∈ ∑*, x =ε 或者 x 以 1 结尾但不以 001 结尾 };
set (q1) = { x | x ∈ ∑*, x = 0 或者 x 以 10 结尾 }
set (q2) = { x | x ∈ ∑*, x = 00 或者 x 以 100 结尾 }
set (q3) = { x | x ∈ ∑*, x 以 000 结尾 }
set (q4) = { x | x ∈ ∑*, x 以 001 结尾 };可知：
1）DFA M 的每个可达状态存储一个输入字符子串的等价类，记为 set ( q );自动机极小化思路;自动机的极小化;最简自动机求解的相关概念;1、 DFA M 对 ∑* 的等价划分;定义 5-4：
设 DFA M = Q, ∑, δ, q0, F ，M 确定的 ∑* 上的关系 RM 定
义为： 对于? x, y ∈ ∑*，满足以下等式：
x RM y ? δ( q0, x ) = δ( q0, y ) = q。;最简自动机求解的相关概念;定义5-5：
设 L ? ∑*，对于 ? x, y ∈ ∑ *，由 L 确定的 ∑ *上的关系 RL 定义为：
x RL y ? 对于 ? z ∈∑*，x z ∈L ? y z ∈L 。;定义5-6：
设 R 是∑*上的等价关系，对于? x, y ∈ ∑*，如果 x R y，对于? z ∈ ∑ * ，必有 x z R y z 成立，则称 R 是右不变等价关系。;定理 5-3：
对于任意 DFA M = Q, ∑, δ, q0, F ，M 确定的 ∑* 上的关系 RM 为右不变等价关系。;证明：
1、RM 是等价关系： ? x, y ? ∑? ，
自反性： x RM x |=| δ( q0, x ) =δ( q0, x ) ；
对称性： x RM y |=| δ( q0, x ) =δ( q0, y ) |=| δ( q0, y ) =δ( q0, x ) = y RM x
文档评论（0）