您的位置: 专家智库 > >

韩秀清

作品数:5 被引量:17H指数:2
供职机构:河海大学计算机及信息工程学院更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 4篇期刊文章
  • 1篇学位论文

领域

  • 5篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇图文法
  • 2篇形式语言
  • 2篇可视化
  • 2篇可视化语言
  • 1篇形式化
  • 1篇设计模式
  • 1篇计算机
  • 1篇计算机科学
  • 1篇EGG
  • 1篇FRAMEW...
  • 1篇产生式
  • 1篇PARSIN...
  • 1篇CONTEX...
  • 1篇CONFLU...

机构

  • 5篇河海大学
  • 2篇德克萨斯大学

作者

  • 5篇韩秀清
  • 4篇曾晓勤
  • 4篇邹阳
  • 2篇张康

传媒

  • 1篇计算机工程与...
  • 1篇软件学报
  • 1篇计算机科学
  • 1篇Journa...

年份

  • 1篇2010
  • 4篇2008
5 条 记 录,以下是 1-5
排序方式:
一种基于边的上下文相关图文法形式化框架
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。图文法研究中最主要的几个问题包括:嵌入问题的解决、文法类型的划分、成员问题的判定和语法分析计算复杂性的降低...
韩秀清
关键词:形式语言计算机科学图文法
文献传递
Context-attributed graph grammar framework for specifying visual languages
2008年
Since the specifications of most of the existing context-sensitive graph grammars tend to be either too intricate or not intuitive, a novel context-sensitive graph grammar formalism, called context-attributed graph grammar(CAGG), is proposed. In order to resolve the embedding problem, context information of a graph production in the CAGG is represented in the form of context attributes of the nodes involved. Moreover, several properties of a set of confluent CAGG productions are characterized, and then an algorithm based on them is developed to decide whether or not a set of productions is confluent, which provides the foundation for the design of efficient parsing algorithms. It can also be shown through the comparison of CAGG with several typical context-sensitive graph grammars that CAGG is more succinct and, at the same time, more intuitive than the others, making it more suitably and effortlessly applicable to the specification of visual languages.
邹阳曾晓勤韩秀清张康
关键词:PARSINGCONFLUENCE
图文法EGG在设计模式中的应用被引量:1
2010年
对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。
韩秀清曾晓勤邹阳
关键词:可视化语言图文法EGG设计模式
一种基于边的上下文相关图文法形式化框架被引量:8
2008年
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.
曾晓勤韩秀清邹阳
关键词:可视化语言形式化图文法产生式
图文法综述被引量:10
2008年
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。
韩秀清曾晓勤邹阳张康
关键词:形式语言图文法
共1页<1>
聚类工具0