计算机应用 ›› 2014, Vol. 34 ›› Issue (11): 3180-3183.DOI: 10.11772/j.issn.1001-9081.2014.11.3180

• 2014年全国开放式分布与并行计算学术年会(DPCS 2014)论文 • 上一篇    下一篇

基于边的图文法产生式选择无关条件的判断

王毅,丁函   

  1. 湖北文理学院 数学与计算机科学学院,湖北 襄阳 441053
  • 收稿日期:2014-07-25 修回日期:2014-08-08 出版日期:2014-11-01 发布日期:2014-12-01
  • 通讯作者: 王毅
  • 作者简介:王毅(1980-),男,湖北襄阳人,讲师,博士研究生,主要研究方向:软件可视化、图文法;丁函(1980-),女,湖北随州人,讲师,硕士,主要研究方向:图文法、逻辑程序设计。
  • 基金资助:

    湖北省教育厅科学研究计划资助项目

Selection-free judgment for productions based on edge-based context-sensitive graph grammar

WANG Yi,DING Han   

  1. School of Mathematical and Computer Science, Hubei University of Arts and Science, Xiangyang Hubei 441053, China
  • Received:2014-07-25 Revised:2014-08-08 Online:2014-11-01 Published:2014-12-01
  • Contact: WANG Yi

摘要:

为了降低归约算法的时间复杂度,在基于边的上下文相关图文法(EGG)形式化的基础上,通过对产生式形式的适当约束,提出了EGG的产生式选择无关条件的判断方法。通过此方法可有效判断EGG产生式的选择无关性。对于选择无关的产生式,由于归约过程中产生式的使用顺序不会影响归约的结果,从而避免了回溯,能够有效地降低归约算法的时间复杂度。

Abstract:

In order to reduce the time complexity of parsing algorithm, based on the Edge-based context-sensitive Graph Grammar (EGG), a selection-free judgment method was proposed for the productions of EGG with appropriate constraints. This method can effectively judge the selection independence of the productions of EGG. For the selection-free productions, using the order of the productions will not affect the result of the parsing, thus the parsing process can avoid backtracking and the time complexity of the parsing algorithm can be effectively reduced.

中图分类号: