图文法关键技术研究及应用

项目名称： 图文法关键技术研究及应用

项目编号： No.61170089

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 曾晓勤

作者单位： 河海大学

项目金额： 58万元

中文摘要： 图文法是一维字符串文法在二维平面空间对象上的自然扩展，是描述可视化图语言语法的形式化方法，可为图语言的定义、图生成器及图分析器的设计奠定必要的理论基础和技术支持。但是，形式化上下文相关图文法的研究目前在理论上都还不够成熟，仅有的少数几种图文法形式化方法在处理图文法几个关键问题（如嵌入问题、成员判定问题、产生式形式、表达能力、和语法分析复杂性等）上均存在这样或那样的不足。这些理论上的缺陷在很大程度上制约了图文法在信息可视化及软件可视化等相关领域的广泛应用。本课题拟从理论和技术上探索通用且实用的图文法形式化方法。首先，围绕产生式的构造，力图建立一个能有效解决嵌入问题与成员判定问题的形式化框架；然后在此基础上，实现一个能直观便捷定义图文法的软件系统平台，来开展对上下文相关图文法表达能力，和降低语法分析复杂性等课题研究；最后，还将研究图文法在可视化图语言和软件工程等与图密切相关领域中的应用途径。

中文关键词： 图文法；语法分析；图嵌入；成员判定；可视化语言

英文摘要：

英文关键词： graph grammar；parsing；graph embedding；membership decision；visual language