-
题名图文法综述
被引量: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
[电子电信—通信与信息系统]
-
-
题名一种基于边的上下文相关图文法形式化框架
被引量:8
- 2
-
-
作者
曾晓勤
韩秀清
邹阳
-
机构
河海大学计算机及信息工程学院
-
出处
《软件学报》
EI
CSCD
北大核心
2008年第8期1893-1901,共9页
-
基金
国家自然科学基金Nos.60571048
60673186~~
-
文摘
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.
-
关键词
可视化语言
形式化
图文法
嵌入问题
产生式
-
Keywords
visual language
formalism
graph grammar
embedding problem
production
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-