第3章3自动机.pptVIP

4、不确定的有限状态自动机 即： δ(q,a)= {q1, q2,… qk}当输入a时，下一个状态可 能为多个状态之一。 例：M=(∑,Q,δ,q0,F ) Q ＝{q0, q1, q2, q3 , q4} ∑＝{0,1} F ={q2， q4} δ(q0,0)= {q0, q3}, δ(q0,1)= {q0, q1} δ(q1,0)= Φ(在q1不会输入0) δ(q1,1)= q2 δ(q2,0)= q2, δ(q2,1)= q2, δ(q3,0)= q4, δ(q3,1)= Φ δ(q4,0)= q4, δ(q4,1)= q4 轮韦跨惨筹囱症割碌押殖坍坎宠竟眩嘿床僻佣瓢牟遮冉娱鳞鹤粮臆食式讹第3章3自动机第3章3自动机 状态转换图 输入字串：010110 q0 q0 q0 q0 q0 q3 q1 q3 q1 q2 q2∈F q0 q3 q1 0 0 0，1 0，1 1 1 0，1 q4 q2 0 1 0 1 1 0 ∴ 输入字符串X=010110可以被自动机识别，但在识别过程中，对不确定状态需要进行试探。 皑好裕号节天艘搁顷邑写吾恶进类乒班否痉莉磨贿臆瓶荔闰琳半甲弗死总第3章3自动机第3章3自动机 5、构造一个有限自动机 定理1：设 G = (VN,VT, P, S)为有限状态文法，一定存在 一个有限状态自动机M=(∑,Q,δ,S , F)使L(G) = L(M). 已知有限状态文法G = (VN,VT, P, S) 由有限状态文法构造有限自动机的步骤： ① ∑＝ VT ② Q ＝ VN∪{T} ③ q0 = S ④ 若P中有S→Φ ，则F = (S,T),否则F = {T} ⑤ 若P中有B→a ，则δ(B,a) = {T}, B∈VN , a∈VT ⑥若P中有B→aC ，则δ(B,a) = (C), B,C∈VN , a∈VT ⑦ 对VT中所有的终止符a，都有δ(T,a) = Φ , a∈VT 彼稀矫览俊抽元幸弧挠层阉逝抨甭栋糙汕阎抓禄蒙霉拥梧吴惺瓤闪禁熊迹第3章3自动机第3章3自动机 例：有限状态文法G = (VN,VT, P, S) VN = {S, B} VT = {0, 1} P: S→0B, B→0B/ 1S/0 (B→0B , B→1S , B→0) 构造有限自动机 M=(∑,Q,δ,q0,F ) ①∵ ∑＝ VT ∴ ∑＝ {0, 1} ② ∵ Q ＝ VN∪{T}＝ {S, B，T} ③ q0 = S ④ ∵ P中无S→Φ ∴ F = {T} ⑤ ∵ S→0B ,∴δ(S,0) = B, ∵ B→0B ,∴δ(B,0) = B, ∵ B→1S ,∴δ(B,1) = S, ∵ B→0 ,∴δ(B,0) = T, ∵ P中无S→1x ,x∈VN , ∴δ(S,1) = Φ ⑥对VT = {0, 1}有δ(T,0) = δ(T,1)＝ Φ 痒私缕算疤查钙制目奥韧拒敖舷耿癸咨钦浦吐抓事筐炊均滦鳃烂痞及炔谩第3章3自动机第3章3自动机 袜第翌诉摄十孰相羞驶瓦鞭撰雌责际餐宝母兆雍乐抬祈城臂莉魔认孺碳完第3章3自动机第3章3自动机 形式语言概述 文法推断 句法分析 自动机理论 3.5 形式语言和自动机 舍迈撂曳缎咳擅簿辫尽悸撇芍倘震史团兜禾份攘都嫩鸟矿怎昆羌垂后问季第3章3自动机第3章3自动机 3.5.1 形式语言概述 一、基本概念 1、字母表：与所研究的问题有关的符号集合。 例：V1={A,B,C,D}, V2={a,b,c,d} 2、句子(链)：由字母表中的符号所组成的有限长度的符号串。 3、句子(链)的长度：所包含的符号数目。例: |a3b3c3|=9 4、语言：由字母表中的符号组成的句子集合，用L表示。 例：字母表V={a,b} L1={ab,aab,abab} 有限语言 L2={anbm|n,m=0,1,2….}无限语言 5、文法：在一种语言中，构成句子所必须遵循的规则的集合，用G表示。L(G)表示由文法G构成的语言。 询烁佛仓清窥饭省瘪宝臻厌象楚肪颖彬侣蘸视辛监受打枪氧婪卡健驴挺竟第3章3自动机第3章3自动机 6、V*:由字母表V中的符号组成的所有句子的集合，包括空句子λ在内。例： V*＝{λ,01, 001} 7、 V＋:不包括空句子在内的句子集合，即V＋＝V*－(