×
沃尔特·福格勒

关于超边替换和BNLC图文法。 （英语） Zbl 0789.68087号

离散应用程序。数学。 46，第3期，253-273（1993）.
作者比较了无上下文图文法可能采用的两种类型的图重写：超边替换（每一步替换一个超边）和边界标签控制文法（根据相邻节点的标签替换每一步的一个节点）。为了便于比较，这两种方法都做了一些修改：在BLNC语法中引入了边缘标签，在HR语法中引入节点标签，这样它们就不会影响替换机制。此外，尽管超图可能作为中间派生步骤出现，但作者将讨论限制在仅生成图的HR文法上。由修改的HR语法生成的每个图形语言也可以由修改的BLNC语法生成，对于该语法，非终端标记节点可能具有的邻域数有界。如果我们忽略节点标记，则反之亦然，并且无法避免这种限制。所有的证明都很简单：非终结超边对应于非终结节点，其邻居对应于超边访问的节点。论文写得很清楚，读者可以很容易地阅读校样。
审核人：H.J.施耐德（爱尔兰根）

引用于三文件

理学硕士：

2012年第68季度 语法和重写系统
68兰特 计算机科学中的图论（包括图形绘制）
05C65号 Hypergraphs（Hypergraph）

关键词：

节点标签控制文法;图的重写;图建模;超边缘替换;超图
PDF格式BibTeX公司 XML格式引用
\textit{W.Vogler}，离散应用程序。数学。46，第3号，253--273（1993；Zbl 0789.68087）
全文： 内政部

参考文献：

[1] 阿恩堡，S。；科内尔·D·G。；Proskurowski，A.，在（k）树中寻找嵌入的复杂性，SIAM J.代数离散方法，8277-284（1987）·Zbl 0611.05022号
[2] Arnborg，S。；Lagergreen，J。；Seese，D.，《树分解图的容易问题》（Lepistö，T.，《自动机，语言与编程》，第15届ICALP会议论文集，坦佩雷，1988（1988），施普林格：施普林格-柏林），38-51，计算机科学讲义317·Zbl 0662.03030号
[3] Bauderon，M。；Courcelle，B.，图形表达式和图形重写，数学。系统理论，2083-127（1987）·Zbl 0641.68115号
[4] 克劳斯，V。；Ehrig，H。；Rozenberg，G.，《图形语法及其在计算机科学和生物学中的应用》，《计算机科学讲义》73（1979），施普林格出版社：纽约施普林格·Zbl 0398.00019号
[5] Courcelle，B.，《无上下文重写的公理化定义及其在NLC图文法中的应用》，Theoret。计算。科学。，55, 141-181 (1987) ·Zbl 0644.68095号
[6] Courcelle，B.，《图的一元二阶理论I：有限图的可识别集》，Inform。和计算。，85, 12-75 (1990) ·Zbl 0722.03008号
[7] 埃伦菲赫特，A。；Main，M.G。；Rozenberg，G.，《NLC语法的限制》，Theoret。计算。科学。，31, 211-223 (1984) ·Zbl 0566.68062号
[8] Ehrig，H。；Nagl，M。；Rozenberg，G.，《图形语法及其在计算机科学中的应用》，《计算机科学课堂讲稿》153（1983），Springer:Springer New York·Zbl 0512.00027号
[9] Ehrig，H。；Nagl，M。；Rozenberg，G。；罗森菲尔德，A.，《图形语法及其在计算机科学中的应用》，《计算机科学讲义291》（1987年），施普林格出版社：纽约施普林格·Zbl 0636.00013号
[10] Engelfriet，J。；Leih，G。；Rozenberg，G.，《Apex图文法》（计算机科学讲义153（1983），Springer:Springer New York），167-185·Zbl 0643.68112号
[11] Engelfriet，J。；Rozenberg，G.，《边界图文法和无上下文超图文法的比较》，Inform。和计算。，84, 163-206 (1990) ·Zbl 0706.68067号
[12] Habel，A.，《超边缘替换：语法和语言》，《计算机科学讲义643》（1992），施普林格出版社：柏林·Zbl 0787.68066号
[13] 哈贝尔，A。；Kreowski，H.-J.，边缘替换生成的图形语言的特征，Theoret。计算。科学。，51, 81-115 (1987) ·Zbl 0636.68100号
[14] 哈贝尔，A。；Kreowski，H.-J.，超边替换生成的超图语言的一些结构方面，（Brandenburg，F.J.，第四届计算机科学理论方面年度研讨会论文集，Passau，1987（1987），Springer:Springer New York），207-219，计算机科学讲义247·Zbl 0635.68077号
[15] Lautemann，C.，关于分解树表示的图的高效算法，（Dauchet，M.；Nivat，M.，CAAP’88（1988），Springer:Springer New York），28-39，计算机科学讲义299·Zbl 0645.68074号
[16] Lautemann，C.，上下文无关语言的高效算法，（Lepistö，T.，自动机，语言与编程，第15届ICALP会议记录，坦佩雷，1988（1988），施普林格：施普林格纽约），362-378，计算机科学讲义317·Zbl 0649.68075号
[17] Pfaltz，J。；Rosenfeld，A.，网络语法，《国际人工智能联合会议论文集》，华盛顿，609-619（1969）
[18] Robertson，北卡罗来纳州。；Seymour，P.D.，图子类II，树宽度的算法方面，J.算法，7309-322（1986）·Zbl 0611.05017号
[19] Rozenberg，G。；Welzl，E.，《边界NLC图文法基础定义、范式和复杂性》，Inform。和控制，69，136-167（1986）·Zbl 0608.68060号
[20] Rozenberg，G。；Welzl，E.，边界NLC图语言族的图论闭包性质，Acta Inform。，23, 289-309 (1986) ·Zbl 0606.68070号
[21] Rozenberg，G。；Welzl，E.，边界NLC图形语言的组合属性，离散应用。数学。，16, 59-73 (1987) ·Zbl 0619.68063号
[22] Schneider，H.J.，Chomsky-systems for partial orderings，技术报告/MMD-3-（1970），爱尔兰根大学（德语）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。