形式语言与自动机第04讲-有穷自动机2.pptx

形式语言与自动机 Formal Languages and Automata Theory;第三章 有穷状态自动机;例 3：求接受语言 L（M）= { x | x∈ { 0,1 }*，且 x 含有子串 00 或 11 } 的 FA。;例 3：求接受语言 L（M）= { x | x∈ { 0,1 }*，且 x 含有子串 00 或 11 } 的 FA。;?;非确定有穷自动机 NFA;几个相关的基本概念： 1、引入基于字符串的状态转移函数δ’； 2、 NFA 接受句子及语言的条件 3、两个 NFA 的等价;?;?;对于任意的 q ∈ Q, w ∈∑? , a ∈∑，有： δ’( q, wa ) = δ( δ’( q, w ), a ) =δ( δ’( q, a1 a2 a3… an）， a ) = δ( … δ( δ( q, a1 ), a2 ),…, an ), a ) ;说明 2： 由于 Q×∑是 Q×∑* 的真子集；对于任意的 q ∈Q，a ∈∑ ，有 δ ? ( q，a ) = δ’ ( q，εa ) ε是单位元素 = { p｜ヨr ∈δ ? ( q，ε)，使得 p ∈δ( r, a