一种基于边的图语法形式体系及其支持系统

J. Vis. Lang. Sentient Syst. Pub Date : 2018-07-01 DOI:10.18293/SEKE2018-015

Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang, Xiaoqin Zeng

{"title":"一种基于边的图语法形式体系及其支持系统","authors":"Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang, Xiaoqin Zeng","doi":"10.18293/SEKE2018-015","DOIUrl":null,"url":null,"abstract":"As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language. Then, a new parsing algorithm is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule","PeriodicalId":297195,"journal":{"name":"J. Vis. Lang. Sentient Syst.","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"An Edge-based Graph Grammar Formalism and its Support System\",\"authors\":\"Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang, Xiaoqin Zeng\",\"doi\":\"10.18293/SEKE2018-015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language. Then, a new parsing algorithm is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule\",\"PeriodicalId\":297195,\"journal\":{\"name\":\"J. Vis. Lang. Sentient Syst.\",\"volume\":\"51 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"J. Vis. Lang. Sentient Syst.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18293/SEKE2018-015\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"J. Vis. Lang. Sentient Syst.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18293/SEKE2018-015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

作为一种有用的形式化工具，图语法为定义图形语言和分析图提供了一种严格但直观的方法。本文提出了一种新的上下文敏感的图语法形式，即基于边缘的图语法(EGG)，它提出了一种新的方法来解决嵌入问题、隶属关系问题和解析算法等问题。给出了EGG及其语言的正式定义。然后，给出了一种新的分析算法，用于检查给定主机图的结构正确性或有效性。本文最后介绍了一个具有友好GUI的EGG支持系统的开发。Keywords-component;图语法;图形语言;嵌入问题;解析;产生式规则

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An Edge-based Graph Grammar Formalism and its Support System

As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language. Then, a new parsing algorithm is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

J. Vis. Lang. Sentient Syst.

自引率

0.00%

发文量