-
题名上下文相关图文法的表达能力分析
被引量：3
- 1
-
-
作者
邹阳
吕建
曹春
胡昊
宋巍
杨启亮
-
机构
计算机软件新技术国家重点实验室(南京大学)
河海大学计算机与信息学院
解放军理工大学工程兵工程学院
-
出处
《软件学报》
EI
CSCD
北大核心
2012年第7期1635-1655,共21页
-
基金
国家自然科学基金(61021062
61170089
+3 种基金
61003019)
国家重点基础研究发展计划(973)(2009CB320702)
核高基重大专项(2009ZX01043-001-06)
河海大学中央高校基本科研业务费(2009B21914)
-
文摘
上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.
-
关键词
可视化语言
上下文相关
图文法
表达能力
转换算法
-
Keywords
visual language
context-sensitive
graph grammar
expressiveness
transforming algorithm
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名并行性挖掘的图文法方法
- 2
-
-
作者
邹阳
吕建
曾晓勤
-
机构
南京大学计算机软件新技术国家重点实验室
河海大学计算机与信息学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2011年第2期271-278,共8页
-
基金
"核高基"科技重大专项(2009ZX01043-001-06)资助
国家"九七三"重点基础研究发展规划项目(2009CB320702)资助
+2 种基金
国家"八六三"高技术研究发展计划项目(2007AA01Z178)资助
河海大学中央高校基本科研业务费(2009B21914)资助
河海大学自然科学基金项目(2009421011)资助
-
文摘
并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制与数据流图,而且设计了相应的并行性分析算法以挖掘GPPL图程序的并行性特征.GPPL图语言可视为并行程序设计与程序代码生成之间的协同语言,从而使并行性挖掘避免了从程序中抽取出相应依赖图的过程.与已有的描述顺序或并行程序的图语言及其分析算法相比,GPPL图程序形式更为简洁和直观,易于设计,描述能力也更强;基于GPPL图的并行性分析算法的分析能力更强,而且具有可扩展性.
-
关键词
并行性挖掘
上下文相关图文法
图语言
并行性分析算法
-
Keywords
parallel exploitation
context-sensitive graph grammar
graph language
parallel analyzing algorithm
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于边的图文法产生式选择无关条件的判断
- 3
-
-
作者
王毅
丁函
-
机构
湖北文理学院数学与计算机科学学院
-
出处
《计算机应用》
CSCD
北大核心
2014年第11期3180-3183,共4页
-
基金
湖北省教育厅科学研究计划项目(Q20142607)
-
文摘
为了降低归约算法的时间复杂度,在基于边的上下文相关图文法(EGG)形式化的基础上,通过对产生式形式的适当约束,提出了EGG的产生式选择无关条件的判断方法。通过此方法可有效判断EGG产生式的选择无关性。对于选择无关的产生式,由于归约过程中产生式的使用顺序不会影响归约的结果,从而避免了回溯,能够有效地降低归约算法的时间复杂度。
-
关键词
选择无关
归约算法
时间复杂度
基于边的上下文相关图文法
-
Keywords
selection-free
parsing algorithm
time-complexity
Edge-based context-sensitive Graph Grammar（EGG）
-
分类号
TP391.4
[自动化与计算机技术]
-
