计算机科学 ›› 2012, Vol. 39 ›› Issue (10): 272-277.
朱云,曾晓勤,朱宁
摘要: EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EC}C}形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。
No related articles found! |
|