[工学]模式识别讲义第三章.ppt

新型文法 程序文法 阵列文法 矩阵文法 程序文法定义 一个程序文法Gp是一个五元式： Gp=（VN，VT，J，P，S） 其中VN，VT和P分别为非终极符，终极符和产生式有穷集,S是起始符，S∈VN, J 是产生式的标号集，P中的产生式有形式： （r） α→β S(U) F(W) 其中α→β称为产生式的核，α∈V*VNV* ，β∈V+，r是产生式标号，r ∈ J，S(U)是成功去向域．F(W)是失败去向域，U，W∈J。 程序文法工作流程 产生式（l）首先被使用。 如果某次试图采用产生式（r）去改写于链α，而原先的链η中含有子链α，则产生式： （r） α→β S(U) F(W)可以应用，下一步就从（r）的成功去向域S(U)中选择产生式标号。 如果原先的链η中不含有子链a，则产生式不适用，于是链η不变，下一步就从（r）的失败去向域F(W)中选择产生式标号。如果在应用的去向域中有φ，则派生停止进行 举 例 例：给定前后文无关程序文法Gp=（VN，VT，J，P，S），其中VN =｛S，B，C｝，VT =｛a，b，c｝和产生式集P： 阵列文法 阵列文法G是一个五元式： 阵列文法的基元是阵列元素，基元之间的关系是二维的连接关系。每个产生式把一个子阵列改写为另一个子阵列。 举 例 给定阵列文法 Gp=（VN，VT，＃，P，S），其中：VN =｛S，T｝，VT =｛a｝和 P： 二维前后文有关阵列文法，由文法G所产生的语言是在背景符号＃场中由终极符a所组成的等腰直角三角形的集合。 一个句子的导出过程 矩阵文法 矩阵文法是一个（k ＋l）元式： G=(G1,G21,G22,…,G2k) 式中G1是一个短语结构文法： G1=(V N 1,V T1,P 1,S )， V N 1则为行非终极符有穷集， V T1为行终极符有穷集，其元素称为中间起始符， V T1=｛S 1,S 2,…，Sk｝, V N 1∩V T1=Φ, P1为行产生式有穷集,S为起始符，S∈V N 1。 矩阵文法（2） G2i=(VN2i,VT2,P2i,Si )， i=1，2，… k 其中 ：VN2i为第i列非终极符有穷集， VT2为全部文法G2i所共有的终级符有穷集， VN2i∩VT2=Φ， P2i为第i列产生式有穷集， Si为第 i列起始符，Si∈V T1，i=l，2，…，k。 全部文法G2i；都是正规文法。 矩阵文法推导过程 首先由文法G1，产生一个有K个符号的链。这可由G1的起始符开始，应用G1的产生式集派生出来。 然后以派生出来的K个符号的链的每一个符号作为起始符，应用K个正规文法G21，G22，…，G2k的文法规则去产生矩阵的列。它的派生应是各列并行完成的。 矩阵文法举例 给定矩阵文法G=（G1，G21，G22），其中：G1=(V N 1,V T1,P ,S ) 式中V N 1 =｛S｝，V T1={S1，S2}， 产生式集 P：S→S1SS1 S→S2 G21=(VN21,VT2,P21,S1 ) VN21={S1，A}，VT2={. ，a} P21 ：S1→aA A→.A A→a G22= (VN22,VT2,P22,S2 ) VN22 =｛S2｝，VT2=｛·，a｝， P22：S2→aS2 S2→a PDL连接基元规则 习 题 寻找由串（（（b1+a）*（（（/b1）+d）+（/b2）））*（（a+b2）*c））所代表的模式， 习题解答 求解PDL表达式规则 在求解PDL表达式所代表的模式时规则 （i）对平衡括号内的子模式赋值，按照从最里面的括号向外的次序，对在相同号码的括号里的子模式赋值，按从左到右的次序。 (ii）对连接基元组成的基元结构，必须规定合适数目的连接点。。 （iii）当同一个基元必须是相互联结前各自独立发展的几个子模式的一个部件时，要使用/算子和标志命名算子。 PDL表达式的文法 G=（N，Σ，P，S），其中 N:｛S，SL｝ Σ:｛＋，－，×，*，~，/，（，）｝∪｛a|a 是基元｝∪｛l|l是标志命名算子｝， P:S→（S＋S） S→（S－S） S→（S×S） S→（S*S） S→（~S） S→SL S→（/SL） SL→（SL＋SL） SL→（SL－SL）SL→（SL×SL） SL→（SL*SL） SL→（~SL） SL→（/SL） 对每个基元a，S→a， 对每个