您的位置: 专家智库 > >

张康

作品数:2 被引量:10H指数:1
供职机构:德克萨斯大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇形式语言
  • 1篇图文法
  • 1篇FRAMEW...
  • 1篇PARSIN...
  • 1篇CONTEX...
  • 1篇CONFLU...

机构

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

作者

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

传媒

  • 1篇计算机科学
  • 1篇Journa...

年份

  • 2篇2008
2 条 记 录,以下是 1-2
排序方式:
图文法综述被引量:10
2008年
形式语言理论对计算机科学的发展起了重大的作用,作为对传统字符文法扩展的图文法的形式化研究,其重要意义是不言而喻的。本文在概述图文法的产生、发展和现状的基础上,着重介绍了从一维字符文法扩展到二维图文法所出现的新问题,以及在形式化处理上引出的新方法,其中最主要的是嵌入问题的解决、文法类型的划分和成员问题的判定。文中以目前较为流行的图文法为例,特别是一些典型的上下文无关和上下文相关的图文法,对上述的问题进行了深入的讨论,指出了现有方法中的一些不足之处,并展望了图文法今后值得研究的问题和方向。
韩秀清曾晓勤邹阳张康
关键词:形式语言图文法
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
共1页<1>
聚类工具0