| 图文法综述 |
| |
| 引用本文： | 韩秀清,曾晓勤,邹阳,张康.图文法综述[J].计算机科学,2008,35(8):10-16. |
| |
| 作者姓名： | 韩秀清 曾晓勤 邹阳 张康 |
| |
| 作者单位： | 1. 河海大学计算机与信息工程学院,南京,210098
2. 德克萨斯大学达拉斯分校计算机科学系,德克萨斯75080—3021 |
| |
| 摘 要： | 形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的.本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定.文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向.
|
| 关 键 词： | 形式语言 图文法 嵌入问题 文法类型 成员问题 |
Survey of Graph Grammars |
| |
| HAN Xiu-qing,ZENG Xiao-qin,ZOU Yang,ZHANG Kang.Survey of Graph Grammars[J].Computer Science,2008,35(8):10-16. |
| |
| Authors: | HAN Xiu-qing ZENG Xiao-qin ZOU Yang ZHANG Kang |
| |
| Affiliation: | HAN Xiu-qing1 ZENG Xiao-qin1 ZOU Yang1 ZHANG Kang2(Dept.of Computer Science & Engineering,Hohai University,Nanjing 210098,China)1(Dept.of Computer Science,The University of Texas at Dallas,Texas 75080-3021,USA)2 |
| |
| Abstract: | It is well known that formal language theory plays an important role in the development of computer science,and so will be the research on two dimensional graph grammar formalisms,which is an extension of one dimensional string grammars.Based on a summary of the generation,development and current status of graph grammars,this paper mainly introduces the newly emerging problems caused by the dimension extension and some new approaches,such as the solution to embedding problem,the classification of graph gram... |
| |
| Keywords: | Formal language Graph grammar Embedding problem Grammar classification Membership problem |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
