主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
邹阳,吕建,曹春,胡昊,宋巍,杨启亮.上下文相关图文法的表达能力分析.软件学报,2012,23(7):1635-1655
上下文相关图文法的表达能力分析
On the Expressiveness of Context-Sensitive Graph Grammars
投稿时间:2010-06-26  修订日期:2011-03-29
DOI:10.3724/SP.J.1001.2012.04085
中文关键词:  可视化语言  上下文相关  图文法  表达能力  转换算法
英文关键词:visual language  context-sensitive  graph grammar  expressiveness  transforming algorithm
基金项目:国家自然科学基金(61021062, 61170089, 61003019); 国家重点基础研究发展计划(973)(2009CB320702); 核高基重大专项(2009ZX01043-001-06); 河海大学中央高校基本科研业务费(2009B21914)
作者单位E-mail
邹阳 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
河海大学 计算机与信息学院,江苏 南京 210098 
yzou08@gmail.com 
吕建 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093  
曹春 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093  
胡昊 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093  
宋巍 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093  
杨启亮 计算机软件新技术国家重点实验室(南京大学),江苏 南京 210093
解放军理工大学 工程兵工程学院,江苏 南京 210007 
 
摘要点击次数: 3454
全文下载次数: 3502
中文摘要:
      上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析和归纳的基础上,通过构造不同形式框架之间的转换算法,揭示并形式化证明了它们表达能力之间的关系.而且,转换算法在不同形式框架之间建立了关联,使图文法的应用不必再局限于一个框架,而是可以选择不同框架分别进行图的描述和分析,从而提高了上下文相关图文法的易用性.
英文摘要:
      Context-Sensitive graph grammars are formal tools used for specifying visual languages. In order to intuitively describe and parse visual languages, current research has stressed the formalisms and algorithms of graph grammars, but has neglected the comparison of their expressiveness. Based on the analysis and induction of the key characteristics of context-sensitive graph grammar, the relationships between their expressiveness are uncovered and proved in this paper by constructing formalism-transforming algorithms. Moreover, the proposed algorithms correlate with these formalisms; thus, facilitating the usage of context-sensitive graph grammars, as alternative formalisms rather than merely one can be chosen to separately specify and parse visual objects in applications.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利