patternrecognitionc模式识别.ppt

遥感信息工程学院 * 例：G = (VN,VT, P, S) VT =（a,b）VN =（S,A, B,C） P: ① S→AB ② S→AC ③ A→a ④ B→b ⑤ C→SB 输入串：X=aabb=a1a2a3a4 所有产生式符合Chomsky范式 ①令j=1,计算ti1，1≤i≤4 i=1,a1=a, ∵P中有A→a ∴有t11=(A) i=2,a2=a, ∵P中有A→a ∴有t21=(A) i=3,a3=b, ∵P中有B→b ∴有t31=(B) i=4,a4=b, ∵P中有B→b ∴有t41=(B) ②第一次迭代，令j=2,计算ti2，1≤i≤3 对于a1a2=aa, ∵不能产生aa ∴有t21=φ 对于a2a3=ab, ∵S→AB, A→a, B→b ∴有t22=(s) 对于a3a4=bb, ∵P中产生式不能产生bb ∴有t32=(φ) 1 2 3 4 i j 4 3 2 1 A A B B φ S φ 遥感信息工程学院 * ③ 第二次迭代，令j=3,计算ti3，1≤i≤2 对于a1a2a3=aab, ∵不能产生aab ∴有t13=φ 对于a2a3a4=abb, ∵C→SB, S→ab, B→b ∴有t23=(C) ④ 第三次迭代，令j=4,计算ti4， 对于a1a2a3a4=aabb, ∵S→AC, A→a, C→abb ∴有t14=(S) ∵ t14=S ∴X=aabb在L(G)中， ∴此串被识别。 4 3 2 1 A A B B φ S φ 1 2 3 4 i φ S C 剖析表 a a b b ↓ ↓ ↓ ↓ A A B B S S C 导出树 + + 此算法实际上是一个由底向顶剖析算法。 遥感信息工程学院 * 引言： x 当给出某类文法后，可根据它设计一种相应的称为自动机 的硬件模型。它由控制装置、输入带和某些类型的存储器 组成，这种硬件模型是一种识别器称自动机。不同的自动 机可以识别不同的文法形成的语言。 0型文法：图灵机识别 上下文有关型：线性约束自动机 上下文无关型：下推自动机 有限状态型：有限状态自动机 识别器 X∈L{G} G §7-5 自动机识别 遥感信息工程学院 * 一、有限状态自动机 可以识别由有限状态文法所构成的语言 1、基本定义：五元式M系统 M=(∑,Q,δ,q0,F ) 其中： ∑：输入符号的有限集合 Q：状态的有限集合 δ ：状态转换函数是QΧ∑到Q的一种映射 q0：初始状态 q0 ∈Q F ：终止状态集合 2、有限自动机的结构 转换函数： δ(q,a)=p 表示有限控制器处于q状态，而输入头读入符号a，则有限控制 器转换到下一状态p。 ∑ 输入带 0 1 1 0 输入头 有限状态控制器Q q0→ q1→ ...F §7-5 自动机识别 遥感信息工程学院 * 3、自动机识别输入字符串的方式 L(M) = {x| δ(q0,x)在F中} δ(q,x)＝Φ 拒识，停机 4、自动机的状态转换图:表示自动机识别过程 例： M=(∑,Q,δ,q0,F ) Q ＝{q0, q1, q2, q3} ∑＝{0,1} F ={q0} δ(q0,0)= q2, δ(q0,1)= q1, δ(q1,0)= q3,,δ(q1,1)= q0, δ(q2,0)= q0, δ(q2,1)= q3, δ(q3,0)= q1, δ(q3,1)= q2 q0 q1 q2 q3 1 1 1 1 0 0 0 0 §7-5 自动机识别 遥感信息工程学院 * 输入：x=110101 q0 q1 q0 q2 q3 q1 q0∈F ∴ X可以识别 ∴ δ(q0,110101)= q0 例：已知自动机状态转换图如下 x1=aab 可以识别 x2=abb 不可以识别 1 1 0 1 1 0 a b b a a b q0 qA qB qΦ a,b 可以识别的语言：L(G)=anb qB状态，只有出没有进，为不可到达状态 qΦ状态，只有进没有出，为陷阱 §7-5 自动机识别 遥感信息工程学院 * 4、不确定的有限状态自动机 即： δ(q,a)= {q1, q2,… qk}当输入a时，下一个状态可 能为多个状态之一。 例：M=(∑,Q,δ