萨迪亚·阿尔巴内;哈切姆·斯利马尼;哈马马切·卡杜奇 根据输入和操作数据的类型绘制语法：一项调查。 （英语） Zbl 1387.68140号 计算。科学。版次。 28, 178-203 (2018). 摘要：生成图形的图形语法是生成字符串的乔姆斯基语法的泛化。在过去的几十年里，图文法有了显著的发展。由于其广泛的应用，图文法受到了许多科学家和研究人员的特别关注。图文法在几个领域都有应用，例如模式识别、数据库系统、生物体的生物发展、编程语言的语义、编译器构造、软件开发环境等。在文献中，在一些调查中，图文法是根据规则的并行或顺序适用性、嵌入机制、生成图的类型等标准进行研究和分类的。此外，由于数据在不同领域中发挥着越来越重要的作用，在本文中，我们根据三个标准对图文法的广阔领域进行了调查：操作数据的数量（单个或多个类型）、数据的性质（结构化或非结构化），最后是数据的类型（图像、图形、模式等）。特别地，我们认为一个图文法是由五个组件而不是四个组件定义的，即：生成图的类型\（T_G）\，开始图\（Z）\，产生式规则集\（P）\，规则的附加规范集\（a）\，以及我们额外考虑的标准，即输入和操作数据的类型（T_D）。这种提出的形式主义，特别是添加了第五个组件，可能有助于克服与大数据和云计算领域相关的一些问题。 MSC公司： 2012年第68季度 语法和重写系统 68个P01 数据理论的一般主题 68-02 与计算机科学有关的研究博览会（专著、调查文章） 关键词：图形语法;输入和操作数据的类型;生成图形的类型;大数据;云计算 PDF格式BibTeX公司 XML格式引用 \textit｛S.Albane｝等人，计算机。科学。第28版，178--203（2018；Zbl 1387.68140） 全文： 内政部 参考文献： [1] J.Pfaltz，A.Rosenfeld，《网络语法》，载《1969年第一届国际人工智能联合会议论文集》，第609-619页。；J.Pfaltz，A.Rosenfeld，《网络文法》，载《第一届国际人工智能联合会议论文集》，1969年，第609-619页。 [2] 塞利克，M。；Yanikoglu，B.，《使用二维无上下文图文法进行概率数学公式识别》，（国际文档分析和识别会议，国际文档分析与识别会议，ICDAR（2011），IEEE），161-166 [3] Drewes，F。；霍夫曼，B。；米纳斯，M.，图模型的自适应星语法，（图变换（2008），施普林格：施普林格柏林，海德堡），442-457·Zbl 1175.68219号 [4] 福措，B.M。；Dulmet，M。；Bonjour，E.，《现代语法》，《欧洲体系杂志》。自动。，43, 103-132 (2009) [5] 弗莱斯卡，S。；Furfaro，F。；Greco，S.，一个基于图形语法的查询类图形数据的框架，data Knowl。工程，59，652-680（2006） [6] Goto，T。；Kirishima，T。；西野，T。；Yaku，T。；Tsuchida，K.，基于属性图语法的UML包图生成，J.Compute。科学。，5, 606-615 (2014) [7] 哈贝尔，A。；赫克尔，R。；Taentzer，G.，《负应用条件下的图形文法》，Fundam。通知。，26, 287-313 (1996) ·Zbl 0854.68055号 [8] Lobo，D。；维科，F。；Dassow，J.，《带字符串调节重写的图形语法》，Theoret。计算。科学。，412, 6101-6111 (2011) ·Zbl 1253.68198号 [9] 马查多·R。；里贝罗，L。；Heckel，R.，《基于规则的图形重写规则转换：向高阶图形语法发展》，Theoret。计算。科学。，594，1-23（2015）·Zbl 1328.68103号 [10] 桑切斯，G。；Lladós，J.，《识别纹理符号的图形语法》，（第六届国际文件分析和识别会议，第六届文件分析与识别国际会议，ICDAR（2001），IEEE），465-469 [11] A.L.Mamuye，E.Merelli，L.Tesei，《模拟RNA折叠的图形语法》，2016年。arXiv预打印arXiv:1612.01639；A.L.Mamuye，E.Merelli，L.Tesei，《模拟RNA折叠的图形语法》，2016年。arXiv预打印arXiv:1612.01639 [12] 马克西莫娃，M。；Giese，H。；Krause，C.，概率时间图变换系统，（图变换国际会议（2017），Springer:Springer-Cham），159-175·兹比尔1425.68170 [13] 施，Z。；曾，X。；张，T。；黄，S。；齐，Z。；李，H。；胡，B。；姚，Y。；钟，S.，bpmn和bpel之间的双向转换，图文法，计算。选举人。工程，51，304-319（2016） [14] Fahmy，H。；Blostein，D.，一种用于识别音乐符号的图形语法编程风格，Mach。视觉。申请。，6, 83-99 (1993) [15] Bunke，H.，属性编程图文法及其在原理图解释中的应用，IEEE Trans。模式分析。机器。智力。，4, 574-582 (1982) ·Zbl 0491.68086号 [16] S.Baumann，《高级音乐识别的简化属性图文法》，载《第三届国际文献分析与识别会议论文集》，1995年第2卷，第1080-1083页。；S.Baumann，《高级音乐识别的简化属性图文法》，载《第三届国际文档分析与识别会议论文集》，第2卷，1995年，第1080-1083页。 [17] 德拉帕拉，F。；Dean，T.，《应用于模型转换的图形重写调查》，（2014年第二届模型驱动工程和软件开发国际会议，2014年第2届模型驱动工程学和软件开发会议，MODELSWARD（2014），IEEE），431-441 [18] 出生，K。；Lambers，L。；斯特吕贝尔，D。；Taentzer，G.，图变换系统中冲突和依赖的粒度，（图变换国际会议（2017），Springer:Springer-Cham），125-141·Zbl 1425.68155号 [19] D.Laney，3D数据管理：控制数据量、速度和变化，收录于：META Group Research Note，第6卷，2001年，第70页。；D.Laney，《3D数据管理：控制数据量、速度和多样性》，载于：META Group Research Note，2001年第6卷，第70页。 [20] 李，J。；陶，F。；Cheng，Y。；Zhao，L.，产品生命周期管理中的大数据，Int.J.Adv.Manuf.Technol。，81, 667-684 (2015) [21] Jain，A。；巴特纳加，V。；Sharma，P.，《大数据中基于协作和集群的战略》（Collaborative Filtering Using data Mining and Analysis，2017），140-158 [22] Nagl，M.，《图形语法教程和文献调查》（graph-grammars及其在计算机科学和生物学中的应用（1979），Springer:Springer Berlin，Heidelberg），70-126·Zbl 0414.68040号 [23] 法赫米，H。；Blostein，D.，《图形文法概览：理论与应用》，（第11届IAPR模式识别国际会议，1992年第二卷，会议B：模式识别方法与系统，论文集（1992），IEEE），294-298 [24] 希尔德布兰特，S。；Lambers，L。；Giese，H。；Rieke，J。；Greenyer，J。；Schafer，W。；兰黛，M。；Anjorin，A。；Schürr，A.，《三重图形语法工具概览》，Electron。共产主义。EASST，57（2013） [25] Janssens，D。；Rozenberg，G.，《NLC语法调查》，114-128（1983），施普林格：施普林格柏林，海德堡·Zbl 0533.68069号 [26] Drewes，F。；Kreowski，H.J。；Habel，A.，超边缘替换，图语法，图语法手册，第1卷，95-162（1997） [27] 肖琴，H.X.Q.Z。；Kang，Z.Y.Z.，图文法综述，计算机。科学。，8, 002 (2008) [28] Habel，A.，Hyperedge Replacement:Grammars and Languages，643（1992），Springer Science&Business Media出版社·Zbl 0787.68066号 [29] 普拉特·T·W。；语法、配对、图形语言和字符串到图形的翻译，J.Compute。系统科学。，5, 560-595 (1971) ·Zbl 0229.68029号 [30] 安德烈，M。；恩格斯，G。；哈贝尔，A。；霍夫曼，B。；Kreowski，H.J.等人。；库斯克，S。；普拉普，D。；Schürr，A。；Taentzer，G.，《规范和编程的图形转换》，科学。计算。程序。，34, 1-54 (1999) ·Zbl 0933.68022号 [31] 杨森博士。；Rozenberg，G.，《关于节点标签控制图语言的结构》，Inform。科学。，20, 191-216 (1980) ·Zbl 0452.68073号 [32] Janssens，D。；Rozenberg，G.，《NLC语法的限制、扩展和变体》，Inform。科学。，20, 217-244 (1980) ·Zbl 0452.68074号 [33] Janssens，D。；Rozenberg，G.，《节点标签控制图文法的决策问题》，J.Compute。系统科学。，22, 144-177 (1981) ·兹伯利0466.68067 [34] Mahfoudh，M.，《本体论与语法的适应：进化与融合》（2015），阿尔萨斯大学（博士论文） [35] Rozenberg，G.，《图形语法和图形变换计算手册》，第1卷（1999年），《世界科学》·Zbl 0998.68001号 [36] Montanari，U.，《可分离图、平面图和网络语法》，《Inf.Control》，第16期，第243-267页（1970年）·Zbl 0215.56103号 [37] Abe，N。；Mizumoto，M。；丰田章男。；Tanaka，K.，《网络语法和几个图形》，J.Compute。系统科学。，7, 37-65 (1973) ·Zbl 0253.68013号 [38] Chuang，S.H。；Henderson，M.R.，通过web语法解析进行复合特征识别，Res.Eng.Des。，2, 147-158 (1991) [39] 弗莱斯卡，S。；Furfaro，F。；Greco，S.，《查询类图形数据的图形语法》，Electron。注释Theor。计算。科学。，50, 247-256 (2001) ·Zbl 1262.68077号 [40] Engelfriet，J.，上下文无关图语法，（形式语言手册，3：超越单词（1997），施普林格：施普林格柏林），125-213 [41] Bunke，H.，《图形语法作为图像理解中的生成工具》（Graph-grammars and Their Application to Computer Science，1983），施普林格：施普林格柏林，海德堡），8-19·Zbl 0522.68086号 [42] Pavlidis，T.，《线性和无上下文图文法》，J.Assoc.Compute。机器。，19, 11-22 (1972) ·Zbl 0229.68027号 [43] Della Vigna，P。；Ghezzi，C.，无上下文图文法，Inf.Control，37，207-233（1978）·Zbl 0377.68042号 [44] Courcelle，B.，《无上下文重写的公理化定义及其在NLC图文法中的应用》，Theoret。计算。科学。，55, 141-181 (1987) ·Zbl 0644.68095号 [45] Janssens，D。；Rozenberg，G。；Verraedt，R.，关于顺序和并行节点重写图，计算。图表。图像处理。，18, 279-304 (1982) ·Zbl 0531.68030号 [46] Janssens，D。；Rozenberg，G.，有向节点标签控制图语法对上下文无关字符串语言的表征，Acta Inform。，16, 63-85 (1981) ·Zbl 0464.68077号 [47] Engelfriet，J。；Leih，G。；Rozenberg，G.，Apex图语法和属性语法，Acta Inform。，25, 537-571 (1988) ·Zbl 0659.68096号 [48] Brijder，R。；Blockeel，H.，《关于非流畅NLC图文法的推理》，J.Logic Compute。（2011），之前046·Zbl 1284.68307号 [49] Engelfriet，J。；Leih，G.，《线性图文法：能力和复杂性》，Inform。和计算。，81, 88-121 (1989) ·Zbl 0684.68088号 [50] Janssens，D。；Rozenberg，G.，《邻域控制嵌入的图文法》，Theoret。计算。科学。，21, 55-74 (1982) ·Zbl 0486.68075号 [51] 恩格尔弗里特，J。；Leih，G。；Welzel，E.，《动态边重新标记的边界图文法》，J.Compute。系统科学。，40, 307-345 (1990) ·Zbl 0694.68049号 [52] Kim，C。；Ando，M.，《动态节点重新标记的节点替换图文法》，Theoret。计算。科学。，583, 40-50 (2015) ·兹比尔1309.68109 [53] 罗森菲尔德，A。；Milgram，D.，网络自动机和网络语法，Mach。智力。，7, 307-324 (1972) ·Zbl 0259.68037号 [54] Glikson，A。；Makowsky，J.A.，NCE图文法和团宽，（计算机科学中的图论概念（2003），施普林格：施普林格柏林，海德堡），237-248·Zbl 1255.68088号 [55] Aizawa，K。；Nakamura，A.，《带路径控制嵌入的图形语法》，Theoret。计算。科学。，88, 151-170 (1991) ·兹比尔0742.68036 [56] Aizawa，K。；Nakamura，A.，《关于图L系统和图像语言之间的关系：第二部分》（Lindenmayer systems（1992），Springer:Springer Berlin，Heidelberg），305-318·Zbl 0774.68075号 [57] Engelfriet，J。；Rozenberg，G.，《边界图文法和无上下文超图文法的比较》，Inform。和计算。，84, 163-206 (1990) ·Zbl 0706.68067号 [58] 库塞尔，B。；Engelfriet，J。；Rozenberg，G.，《处理重写超图文法》，J.Compute。系统科学。，46, 218-246 (1993) ·Zbl 0825.68446号 [59] Engelfriet，J。；Rozenberg，G.，节点替换图文法，（图文法手册（1997）），1-94 [60] https://www.maisonsbouny.com/s/cc_images/teaserbo_18886470.JPG？t=1449157578/; https://www.maisonsbouny.com/s/cc_images/teaserbo_18886470.JPG？t=1449157578/ [61] Joshi，A.K。；利维，L.S。；Takahashi，M.，树附加语法，J.Compute。系统科学。，10, 136-163 (1975) ·兹伯利0326.68053 [62] Joshi，A.K.，《描述无结构描述的相邻语法需要多少上下文敏感性》（Dowty，D.；Karttunen，L.；Zwicky，A.，《自然语言处理——理论、计算和心理观点》（1985），剑桥大学出版社：剑桥大学出版社，纽约），最初于1983年5月在俄亥俄州哥伦布俄亥俄州立大学自然语言分析研讨会上提出 [63] Joshi，A.K。；Schabes，Y.，Tree-connected grammars，（形式语言手册（1997），Springer:Springer Berlin，Heidelberg），69-123 [64] Drewes，F。；霍夫曼，B。；杨森博士。；Minas，M.，《自适应星语法及其语言》，Theoret。计算。科学。，411, 3090-3109 (2010) ·Zbl 1196.68110号 [65] 霍夫曼，B.，条件自适应星文法，电子。Commun公司。EASST，26（2010） [66] Engelfriet，J.，《无上下文图文法》，（Rozenberg，G.；Salomaa，A.，《形式语言手册：超越文字》，第3卷（1999），Springer），125-213，第3章 [67] Celik，M.，《使用图形语法识别手写数学表达式》（2010年），萨班奇大学（硕士论文） [68] Feder，J.，Plex语言，Inform。科学。，3, 225-241 (1971) ·Zbl 0222.68029号 [69] 恩格尔弗里特，J。；海克，L。；Leih，G.，有界度的无上下文图语言是由顶点图文法生成的，Acta Inform。，31, 341-378 (1994) ·Zbl 0818.68102号 [70] Drewes，F。；霍夫曼，B。；Minas，M.，超边缘替换文法的预测性移位减少分析，（国际图形转换会议（2017），Springer:Springer-Cham），106-122·Zbl 1425.68159号 [71] Kreowski，H.J。；库斯克，S。；Lye，A.，《融合文法：图形语言生成的新方法》，（国际图形转换会议（2017），施普林格：施普林格-查姆），90-105·Zbl 1425.68167号 [72] Schürr，A.，《具有三重图形文法的图形翻译器规范》，（计算机科学中的图形理论概念（1995），施普林格：施普林格柏林，海德堡），151-163 [73] Giese，H。；希尔德布兰特，S。；Lambers，L.，《架起形式语义和三图文法实现之间的桥梁》，Softw。系统。建模，13，273-299（2014） [74] Ehrig，H。；Habel，A.，《带应用条件的图形语法》（Rozenberg，G.；Salomaa，A.，L书（1986），Springer-Verlag:Springer-Verlag Berlin），87-100·兹比尔0611.68045 [75] http://ascenser-ascensoriste.e-monsite.com/pages/ascenseurs-exterieurs.html/; http://ascenser-ascensoriste.e-monsite.com/pages/ascenseurs-exterieurs.html/ [76] Andersen，J.L。；弗拉姆，C。；Merkle，D。；Stadler，P.F.，《立体信息的化学图形变换》，（国际图形变换会议（2017），施普林格：施普林格商学院），54-69 [77] 国际电联国际电信联盟。ITU-T建议Z.100：规范和描述语言（SDL），2002年。；国际电联国际电信联盟。ITU-T建议Z.100：规范和描述语言（SDL），2002年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。