一种基于边的上下文相关图文法形式化框架-CiteSeerX.PDF

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.8, August 2008, pp.1893− 1901 DOI: 10.3724/SP.J.1001.2008.01893 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 一种基于边的上下文相关图文法形式化框架 + 曾晓勤, 韩秀清, 邹 阳 (河海大学 计算机及信息工程学院,江苏 南京 210098) An Edge-Based Context-Sensitive Graph Grammar Formalism + ZENG Xiao-Qin , HAN Xiu-Qing, ZOU Yang (Computer and Information Engineering College, Hohai University, Nanjing 210098, China) + Corresponding author: E-mail: xzeng@ Zeng XQ, Han XQ, Zou Y. An edge-based context-sensitive graph grammar formalism. Journal of Software, 2008,19(8):1893−1901. /1000-9825/19/1893.htm Abstract : This paper proposes an edge-based context-sensitive graph grammar formalism with a concentration on solving the main graph grammar problem⎯ embedding problem, and discusses the features of the proposed graph grammar and its parsing algorithm. Some comparisons of the proposed graph grammars with other existing grammars are given. Further researches on graph grammars are also reviewed. Key words: visual language; formalism; graph grammar; embedding problem; production 摘 要: 围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对 由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望 了今后值得进一步研究的一些问题和方向. 关键词: 可视化语言;形式化;图文法;嵌入问题;产生式 中图法分类号: TP391 文献标识码: A 可视化语言描述的对象通常可以被抽象地看作是结点和边组成的图.在对这类图语言进行定义和分析时, 图文法[1,2]是一个有效的形式化工具. 图文法是在字符文法的基础上发展起来的,是一维字符串到二维图的自然 扩展,主要用来生成图和对图进行分析. 目前已有多种图文法以及与之相关的形式化方法问世,并在多个领域得 到了应用[3−8],其中最主要的两类是上下文无关图文法和上下文相关图文法.在两类文法中,后者比前者复杂但 表达能力强,更适合对可视化语言的形式化描述.现有的上下文有关图文法主要包括 CMG(constraint multiset grammar)[9],PLC(picture layout