发明名称 | 一种从非合流图文法到合流图文法的转换方法 | ||
摘要 | 本发明公开了一种从非合流图文法实例到合流图文法实例的转换方法。该方法包含两个主要步骤:首先判断图文法实例是否合流,如果非合流,则找出所有非合流的产生式对以及相应的导致非合流的产生式合并图的集合;然后依据非合流的产生式合并图在非合流的产生式对中引入变量构造约束将非合流的产生式集合转换成合流的产生式集合。本发明提出的方法将一个隐式上下文相关图文法的非合流图文法实例转换成为合流图文法实例,使受限于合流约束的高效规约算法可以适用于转换后的合流图文法实例,从而大幅度地提高了基于隐式上下文相关图文法的图分析效率,使相应的图文法软件工具具有更强的实用性。 | ||
申请公布号 | CN102289377A | 申请公布日期 | 2011.12.21 |
申请号 | CN201110298346.0 | 申请日期 | 2011.09.28 |
申请人 | 河海大学 | 发明人 | 邹阳;曾晓勤 |
分类号 | G06F9/44(2006.01)I | 主分类号 | G06F9/44(2006.01)I |
代理机构 | 南京经纬专利商标代理有限公司 32200 | 代理人 | 许方 |
主权项 | 一种从非合流图文法到合流图文法的转换方法,用于隐式上下文相关图文法,其特征在于,首先判断图文法实例是否合流,如果非合流,则找出所有非合流的产生式对以及相应的导致非合流的产生式合并图的集合;然后依据非合流的产生式合并图在非合流的产生式对中引入变量构造约束将非合流的产生式集合转换成合流的产生式集合。 | ||
地址 | 211000 江苏省南京市江宁开发区佛城西路8号 |