[发明专利]一种从LGG图文法到RGG图文法的转换方法

权利要求书

1.一种从LGG图文法到RGG图文法的转换方法，其特征在于，先将LGG图文法转换为基于同构映射定义图柄的LGG变种形式VLGG；然后将VLGG图文法的产生式逐个转换为RGG产生式，转换时根据产生式是否满足通配符单连接特征分别采用通配符约简转换方式与直接转换方式，并对转换后产生式结点的顶点集进行收集和统一分配；最后根据所得RGG产生式集将VLGG初始图转换成RGG形式的初始图。

2.如权利要求1所述从LGG图文法到RGG图文法的转换方法，其特征在于，具体包含以下步骤：

1) 输入一个LGG文法实例                                                ，将其转换为对应的VLGG文法实例；VLGG是LGG的一种变种形式，它与LGG的不同之处仅在于VLGG将LGG图柄定义中的态射及鉴别条件改为双射；

2) 置P₂为空；

3) 令为(A₁, P₁)中所有终结点与非终结点的标号集；

4) 对于P₁中的每一个产生式p=(L, R), 对p进行形式变换，具体为：

4.1) 判断对于p中的任一标号为通配符的结点是否都存在唯一结点与之相连且该节点的标号不是通配符，是则转4.2，否则转4.3；

4.2) 生成不包含通配符的产生式p，转5；

4.3) 生成包含通配符的产生式p，转5；

5) 将p并入P₂中；

6) 对于P₂中的每一个结点n，收集n的顶点，具体为：

6.1) 置结点n的最终顶点集vts(n)为空；

6.2) 对于结点n在中的每一次出现，将n中所有顶点并入集合vts(n)；

7) 对于P₂中的每一个结点n，统一分配n的顶点集合，具体为：

7.1) 对于结点n在中的每一次出现，置集合vts(n)为n中的顶点集合；

8) 将P₂中结点标号中包含通配符的产生式实例化成若干不含通配符的产生式；

9) 依据P₂变换A₁中的结点以及顶点与边的连接关系得A₂，输出一个相应的RGG文法实例。

3.如权利要求2所述从LGG图文法到RGG图文法的转换方法，其特征在于，步骤4.2具体包括以下步骤：

4.2.1) 置i的值为1；

4.2.2) 令C为L和R的公共子图，为L和R中的公共子图之间从L到R的同构映射，对于任一L与C中的共有结点n，对n与f同构下n在R中的象n′，及其相关子图进行变换，具体为： 

4.2.2.1) 判断共有结点n的标号是否为通配符，如果是，转4.2.2.2，否则转4.2.2.3；

4.2.2.2) 处理非上下文结点及与之相连的边，具体为：

a) 在L中结点n上附加2个顶点v₁、v₂，在R中结点n′上也附加2个顶点v₁、v₂；

b) 令为连接到顶点的边的方向，标识进边，out标识出边，再令mark(v)为顶点v的标记；置d(v₁)为in，d(v₂)为out，l(v₁)和l(v₂)均为ALL?，mark(v₁)和mark(v₂)分别为i和i+1；

c) 置i的值为i +2；

d) 对于L中的任一边e，如果n是的e起点，则置n中的v₁顶点为e的起点；如果n是的e终点，则置n中的v₂顶点为e的终点；

e) 对于R中的任一边e，如果n′是的e起点，则置n′中的v₁顶点为e的起点；如果n′是的e终点，则置n′中的v₂顶点为e的终点；

4.2.2.3) 处理上下文结点及与之相连的边，具体为：

a) 如果存在L中的边e其起点为n且存在R中的边e′其起点为n′，则在e的终点上附加一个新顶点，在e′的终点上附加一个新顶点v₄，置d(v₃)和d(v₄)为in，l(v₃)和l(v₄)为l(n)，mark(v₃)和mark(v₄)为i；

b) 如果存在L中的边e其终点为n且存在R中的边e′其终点为n′，则在e的起点上附加一个新顶点，在e′的起点上附加一个新顶点v₄，置d(v₃)和d(v₄)为out，l(v₃)和l(v₄)为l(n)，mark(v₃)和mark(v₄)为i；

c) 从p中删除结点n、 n′和有向边e、e′；

d) 置i的值为i +1；

步骤4.3具体包括以下步骤：

4.3.1) 置i的值为1；

4.3.2) 对于任一L与C中的共有结点n，对n与与f同构下n在R中的象n′，及其相关子图执行4.2.2.2的变换。