库塞尔，B。;Engelfriet，J。 由超边替换文法定义的超图集的逻辑特征。 （英语） 兹比尔083068098 数学。系统。理论 28，第6期，515-552（1995）. 摘要：给出了由超边替换超图文法生成的有限超图集的文法依赖性刻画。这些集是有限树的可识别集在一元二阶逻辑中定义的某些图变换下的图像。几个结果表明，满足附加条件（有界度、平面度、有界树宽或子图或子图下的闭包）的图的顶点替换集可以通过超边替换生成。 引用于26文件 理学硕士： 68兰特 计算机科学中的图论（包括图形绘制） 2012年第68季度 语法和重写系统 关键词：超边替换超图文法 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet}，数学。系统。理论28，第6号，515--552（1995；Zbl 0830.68098） 参考文献： [1] Bauderon，M.和Courcelle，B.，《图形表达式和图形重写》，数学。系统理论，20（1987），83-127·Zbl 0641.68115号 ·doi:10.1007/BF01692060 [2] Berstel，J.，《转义和上下文无关语言》，Teubner Verlag，斯图加特，1979年·Zbl 0424.68040号 [3] Brandenburg，F.-J.，有界度图语言上边界和合流图文法的等价性，Proc。RTA-91，《计算机科学讲义》，第488卷，施普林格-弗拉格出版社，柏林，1991年，第312-322页。 [4] Büchi，J.，弱二阶逻辑与有限自动机，Z.数学。Logik Gründlag公司。数学。，5 (1960), 66-92. ·Zbl 0103.24705号 ·doi:10.1002/毫克19600060105 [5] Courcelle，B.，正则系统的等价与变换？递归程序方案和语法的应用，Theoret。计算。科学。，42 (1986), 1-122. ·Zbl 0636.68104号 ·doi:10.1016/0304-3975（86）90050-2 [6] Courcelle，B.，上下文无关重写的公理化定义及其在NLC图语法中的应用，定理。计算。科学。，55 (1987), 141-181. ·Zbl 0644.68095号 ·doi:10.1016/0304-3975（87）90102-2 [7] Courcelle，B.，《图形重写：代数和逻辑方法》，收录于《理论计算机科学手册》B卷，J.Van Leeuwen主编，Elsevier，阿姆斯特丹，1990年，第193-242页·Zbl 0900.68282号 [8] Courcelle，B.，图的一元二阶逻辑，I，有限图的可识别集。通知。和计算。，85 (1990), 12-75. ·兹比尔0722.03008 ·doi:10.1016/0890-5401（90）90043-H [9] Courcelle，B.，《图的一元二阶逻辑》，III，《树分解、子项和复杂性问题》，Inform。《Théorique Appl》，26（1992），257-286·Zbl 0754.03006号 [10] Courcelle，B.，《图的一元二阶逻辑》，V：关于缩小可定义性和可识别性之间的差距，理论。计算。科学。，80 (1991), 153-202. ·Zbl 0754.68065号 ·doi:10.1016/0304-3975（91）90387-H [11] Courcelle，B.，《图的一元二阶逻辑》，VI：关于图的几种关系结构表示法，离散应用。数学。，54 (1994), 117-149. ·Zbl 0809.03005号 ·doi:10.1016/0166-218X（94）90019-1 [12] Courcelle，B.，《图的一元二阶逻辑》，VII:图作为关系结构，Theoret。计算。科学。，101 (1992), 3-33. ·Zbl 0809.03006号 ·doi:10.1016/0304-3975（92）90148-9 [13] Courcelle，B.，《一元二阶可定义图的转导：一项调查》，Theoret。计算。科学。，126 (1994), 53-75. ·Zbl 0805.68077号 ·doi:10.1016/0304-3975（94）90268-2 [14] Courcelle，B.顶点替换生成的无上下文图集的结构属性，Inform。和计算。，116（1995），第275-293页·Zbl 0828.68091号 ·doi:10.1006/inco.1995.1020 [15] Courcelle，B.、Engelfriet，J.和Rosenberg，G.，《处理-重写超图语法》，J.Compute。系统科学。，46 (1993), 218-270. ·Zbl 0825.68446号 ·doi:10.1016/0022-0000（93）90004-G [16] Courcelle，B.和Mosbah，M.，树可分解图的Monadic二阶评价，定理。计算。科学。，109 (1993), 49-82. ·Zbl 0789.68083号 ·doi:10.1016/0304-3975（93）90064-Z [17] Doner，J.，Tree acceptor及其一些应用，J.Compute。系统科学。，4 (1970), 406-451. ·Zbl 0212.02901号 ·doi:10.1016/S0022-0000（70）80041-1 [18] Engelfriet，J.，上下文无关NCE图语法，Proc。FCT’89，《计算机科学讲义》，第380卷，施普林格-弗拉格出版社，柏林，1989年，第148-161页·Zbl 0756.68070号 [19] Engelfriet，I，通过树上的一元二阶逻辑对无上下文NCE图语言进行表征，Proc。第四届图形语法国际研讨会，不来梅，1990年，计算机科学讲义，第532卷，1991年，第311-327页·Zbl 0765.68090号 [20] Engelfriet，J.和Heyker，L.，《无上下文超图文法的字符串生成能力》，J.Compute。系统科学。，43 (1991), 328-360. ·Zbl 0776.68075号 ·doi:10.1016/0022-0000（91）90018-Z [21] Engelfriet，J.和Heyker，L.，有界度超图语言，J.计算。系统科学。，48 (1994), 58-89. ·Zbl 0802.68073号 ·doi:10.1016/S0022-0000（05）80022-4 [22] Engelfriet，J.和Rozenberg，G.，《边界图文法和无上下文超图文法的比较》，《信息与计算》。，84 (1990), 163-206. ·Zbl 0706.68067号 ·doi:10.1016/0890-5401（90）90038-J [23] Engelfriet，J.和Rozenberg，G.，《基于节点重写的图文法：NLC图文法简介》，Proc。第四届图形语法国际研讨会，不来梅，1990年，《计算机科学讲义》，第532卷，柏林斯普林格-Verlag，1991年，第12-23页·Zbl 0765.68091号 [24] Gecseg，F.和Steinby，M.，《树自动机》，Akademiai Kiado，布达佩斯，1984年。 [25] Habel，A.，《超边缘替换：语法和语言》，《计算机科学讲义》，第643卷，施普林格-弗拉格出版社，柏林，1992年·Zbl 0787.68066号 [26] Habel，A.和Kreowski，H.J.，边替换生成的图形语言的特征，Theoret。计算。科学。，51 (1987), 81-115. ·Zbl 0636.68100号 ·doi:10.1016/0304-3975（87）90050-8 [27] Habel，A.和Kreowski，H.J.，《超边缘替换生成的超图语言的一些结构方面》，《计算机科学讲义》，第247卷，Springer-Verlag，柏林，1987年，第207-219页·Zbl 0635.68077号 [28] Habel，A.、Kreowski，H.J.和Vogler，W.，超边替换图文法的可判定有界性问题，Proc。CAAP’89，《计算机科学讲义》，第351卷，施普林格-弗拉格出版社，柏林，1989年，第275-289页·兹比尔0674.68047 [29] Janssens，D.和Rozenberg，G.，《NLC语法调查》，《计算机科学课堂讲稿》，第159卷，Springer-Verlag，柏林，1983年，第131-151页·Zbl 0533.68069号 [30] Lautemann，C.，《分解树：结构化图表示和高效算法》，Proc。CAAP’88，《计算机科学讲义》，第299卷，柏林施普林格-弗拉格出版社，1988年，第28-39页·兹比尔0645.68074 [31] Rabin，M.，《不可判定性证明的一种简单方法和一些应用》，《逻辑、方法论和科学哲学》，第二卷，Y.Bar-Hillel主编，阿姆斯特丹北霍兰德，1965年，第58-68页。 [32] Robertson，N.和Seymour，P.，《图的未成年人》，V，《排除平面图》，J.Combin。B、 41（1986），92-114·Zbl 0598.05055号 ·doi:10.1016/0095-8956（86）90030-4 [33] Robertson，N.和Seymour，P.，《未成年人图形》，XIII，《不相交路径问题》，预印本，1986年9月·Zbl 0823.05038号 [34] Rozenberg，G.和Welzl，E.，《边界NLC文法、基本定义、范式和复杂性》，《信息与控制》，69（1986），136-167·Zbl 0608.68060号 ·doi:10.1016/S0019-9958（86）80045-6 [35] Thatcher，J.和Wright，J.，广义有限自动机理论及其在二阶逻辑决策问题中的应用，数学。系统理论，2（1968），57-81·Zbl 0196.01901号 ·doi:10.1007/BF01691346 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。