-
题名图文法综述
被引量:9
- 1
-
-
作者
韩秀清
曾晓勤
邹阳
张康
-
机构
河海大学计算机与信息工程学院
德克萨斯大学达拉斯分校计算机科学系
-
出处
《计算机科学》
CSCD
北大核心
2008年第8期10-16,共7页
-
基金
国家自然科学基金(60571048
60673186)的资助
-
文摘
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。
-
关键词
形式语言
图文法
嵌入问题
文法类型
成员问题
-
Keywords
Formal language, Graph grammar, Embedding problem, Grammar classfication, Membership problem
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TN912.34
[电子电信—通信与信息系统]
-