F.J.布兰登堡。;斯科迪斯，K。 用于线性和边界图语言的有限图自动机。 （英语） Zbl 1070.68064号 西奥。计算。科学。 332，编号1-3，199-232（2005）。 摘要：图形语法可以被视为上下文无关语法从字符串到图形的推广。在过去的30年里，发展了丰富的图文法及其语言理论。然而，没有图自动机。生成设备和识别设备之间不存在二元性，因为形式语言的乔姆斯基层次结构是众所周知的。在这里，我们引入图自动机作为识别无向节点标记图集的设备。图自动机由一个有限状态控制、一组有限指令和一组头部或保护组成。它以系统的方式读取输入图形，并根据指令执行图形搜索。作为我们的主要结果，我们证明了有限图自动机能够准确地识别线性NCE图文法生成的图语言集，而交替有限图自自动机能够正确地识别边界图文法的语言。最后，我们将自动机的一些理论性质从字符串推广到图自动机，将图的连通性集成到图自变量中，并解释了为什么不能将图自动机推广到处理动态边重标记和eNCE图语言。 引用于4文件 MSC公司： 65年第68季度 形式语言和自动机 2012年第68季度 语法和重写系统 关键词：节点标记图;图形语法;有限图自动机;交替图自动机;图形搜索 PDF格式BibTeX公司 XML格式引用 \textit{F.J.Brandenburg}和\textit{K.Skodinis}，Theor。计算。科学。332，编号1-3199-232（2005年；兹bl 1070.68064） 全文： 内政部 参考文献： [1] 艾伯斯伯格，I.J。；Rozenbyerg，G.，迹，依赖图和DNLC语法，离散应用。数学。，11, 299-306 (1985) ·Zbl 0601.68045号 [2] Beame，P。；硼蛋白，A。；Raghavan，P。；Ruzzo，W.L。；Tompa，M.，图自动机无向图遍历的时空权衡，Inform。计算。，130, 101-129 (1996) ·Zbl 0872.68067号 [3] D.Bienstock，图搜索，路径宽度，树宽度和相关问题（调查），DIMACS系列离散数学和理论计算机科学，第5卷，1991年，第33-49页。；D.Bienstock，图搜索，路径宽度，树宽度和相关问题（调查），DIMACS系列离散数学和理论计算机科学，第5卷，1991年，第33-49页·Zbl 0777.05090号 [4] Bienstock，D。；Seymour，P.，图搜索中的单调性，J.算法，12，239-245（1991）·兹比尔0760.05081 [5] F.J.Brandenburg，《关于多项式时间图文法》，R.Cori，M.Wirsing（编辑），Proc。STACS 88，《计算机科学讲义》，第294卷，施普林格，柏林，1988年，第227-236页。；F.J.Brandenburg，《关于多项式时间图文法》，R.Cori，M.Wirsing（编辑），Proc。STACS 88，《计算机科学讲义》，第294卷，柏林斯普林格出版社，1988年，第227-236页·Zbl 0644.68097号 [6] F.J.Brandenburg，K.Skodinis，线性图语言的图自动机，收录于：J.Cuny等人（编辑），Proc。图文法及其在计算机科学中的应用，计算机科学讲义，第1073卷，施普林格，柏林，1996年，第336-350页。；F.J.Brandenburg，K.Skodinis，线性图语言的图自动机，收录于：J.Cuny等人（编辑），Proc。图语法及其在计算机科学中的应用，《计算机科学讲义》，第1073卷，施普林格，柏林，1996年，第336-350页·Zbl 1412.68123号 [7] Chandra，A.K。；Kozen，D。；Stockmeyer，L.J.，Alternation，J.Assoc.计算。机器。，28, 114-131 (1981) ·Zbl 0473.68043号 [8] 库克，S.H。；Rackoff，C.W.，受限机器上迷宫线程化的空间下限，SIAM J.Compute。，9, 636-652 (1980) ·Zbl 0445.68038号 [9] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L.，《算法导论》（1990），麻省理工学院出版社：麻省理学院出版社剑桥·兹比尔1158.68538 [10] 库塞尔，B。；Engelfriet，J。；Rozenberg，G.，《处理重写超图语法》，J.Comput。系统科学。，46, 218-246 (1993) ·Zbl 0825.68446号 [11] Courcelle，B.，无上下文重写的公理化定义及其在NLC图文法中的应用，Theor。计算。科学。，55, 141-181 (1987) ·Zbl 0644.68095号 [12] Courcelle，B.，Monadic二阶可定义图转导调查，Theor。计算。科学。，126, 53-75 (1994) ·Zbl 0805.68077号 [13] Courcelle，B.，《一元二阶逻辑中图形特性和图形变换的表达》（Rozenberg，G.，《图形语法和图形变换计算手册》，第1卷（1997），《世界科学：世界科学新加坡》，313-400·Zbl 0908.68095号 [14] 埃伦菲赫特，A。；Main，M.G。；Rozenberg，G.，《NLC图文法的限制》，Theor。计算。科学。，31, 211-223 (1984) ·兹伯利0566.68062 [15] 埃利斯，J。；萨德伯勒，I。；Turner，J.，图的顶点分离和搜索数，Inform。计算。，113, 50-79 (1994) ·Zbl 0942.68641号 [16] J.Engelfriet，无上下文NCE图文法，收录于：J.Csirik，J.Demetrovics，F.Gécseg（编辑），计算理论基础，计算机科学讲义，第380卷，柏林斯普林格，1989年，第148-161页。；J.Engelfriet，无上下文NCE图文法，收录于：J.Csirik，J.Demetrovics，F.Gécseg（编辑），计算理论基础，计算机科学讲义，第380卷，柏林斯普林格，1989年，第148-161页·Zbl 0756.68070号 [17] J.Engelfriet，无上下文图文法，收录于：G.Rozenberg，A.Salomaa（编辑），形式语言手册，第3卷，Springer，柏林，1997年，第125-213页。；J.Engelfriet，无上下文图文法，收录于：G.Rozenberg，A.Salomaa（编辑），《形式语言手册》，第3卷，施普林格，柏林，1997年，第125-213页。 [18] Engelfriet，J。；海克，L。；Leih，G.，有界度的无上下文图语言是由顶点图文法生成的，Acta Inform。，31, 341-378 (1994) ·Zbl 0818.68102号 [19] Engelfriet，J。；Leih，G.，线性图语法能力和复杂性，Inform。计算。，81, 88-121 (1989) ·Zbl 0684.68088号 [20] Engelfriet，J。；Leih，G.，边界图语言的复杂性，RAIRO理论。通知。申请。，24, 267-274 (1990) ·Zbl 0701.68062号 [21] 恩格尔弗里特，J。；Leih，G。；Rozenberg，G.，Apex图语法和属性语法，Acta Inform。，25, 537-571 (1988) ·Zbl 0659.68096号 [22] Engelfriet，J。；Leih，G。；Welzl，E.，《具有动态边重新标记的边界图文法》，J.Compute。系统科学。，40, 307-345 (1990) ·Zbl 0694.68049号 [23] Engelfriet，J。；Rozenberg，G.，《边界图文法和无上下文超图文法的比较》，Inform。计算。，84, 163-206 (1990) ·Zbl 0706.68067号 [24] J.Engelfriet，G.Rozenberg，基于节点重写的图语法：NLC图语法简介，载于：H.Ehrig，H.-J.Kreowski，G.Rozenberg（编辑），Proc。图语法及其在计算机科学中的应用，计算机科学讲义，第532卷，施普林格，柏林，1991年，第12-23页。；J.Engelfriet，G.Rozenberg，《基于节点重写的图文法：NLC图文法简介》，收录于：H.Ehrig，H.-J.Kreowski，G.罗森伯格（编辑），Proc。图文法及其在计算机科学中的应用，计算机科学讲义，第532卷，施普林格，柏林，1991年，第12-23页·Zbl 0765.68091号 [25] J.Engelfriet，G.Rozenberg，节点替换图文法，收录于：G.Rozenberg（编辑），《图文法和图变换计算手册》，第1卷，《世界科学》，新加坡，1997年，第1-94页。；J.Engelfriet，G.Rozenberg，节点替换图文法，收录于：G.Rozenberg（编辑），《图文法和图变换计算手册》，第1卷，世界科学，新加坡，1997年，第1-94页·Zbl 0908.68095号 [26] Garey，M。；Johnson，D.S.，《计算机与不可恢复性：NP-完全性理论指南》（1979），弗里曼：弗里曼旧金山·Zbl 0411.68039号 [27] Gécseg，F。；Steinby，M.，《树自动化》（1984），阿卡德米亚基亚多：阿卡德米亚基亚多布达佩斯·Zbl 0396.68041号 [28] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0196.01701号 [29] Janssens，D。；Rozenberg，G.，《关于节点标签控制图形语言的结构》，Inform。科学。，20, 191-216 (1980) ·Zbl 0452.68073号 [30] Janssens，D。；Rozenberg，G.，《NLC语法的限制、扩展和变化》，Inform。科学。，20, 217-244 (1980) ·兹比尔0452.68074 [31] Janssens，D。；Rozenberg，G.，《节点标签控制图文法的决策问题》，J.Compute。系统科学。，22144-177（1981年）·Zbl 0466.68067号 [32] Janssens，D。；Rozenberg，G.，《邻域控制嵌入的图文法》，Theor。计算。科学。，21, 55-74 (1982) ·Zbl 0486.68075号 [33] 图的顶点分离数等于它的路径宽度，Inform。程序。莱特。，42, 345-350 (1992) ·Zbl 0764.68121号 [34] 基鲁西斯，L。；Papadimitriou，C.，区间图和搜索，离散数学。，55, 181-184 (1985) ·Zbl 0566.05056号 [35] 基鲁西斯，L。；Papadimitriou，C.，《搜索和运球》，Theor。计算。科学。，47, 205-218 (1986) ·Zbl 0616.68064号 [36] LaPaugh，A.，《再污染无助于搜索图表》，J.Assoc.Compute。机器。，40, 224-245 (1993) ·Zbl 0768.68048号 [37] Lengauer，T。；Wanke，E.，分层定义图上连通性问题的有效解决方案，SIAM J.Compute。，17, 1063-1080 (1988) ·Zbl 0673.05085号 [38] 刘易斯；Papadimitriou，C.，《对称空边界计算》，理论。计算。科学。，19, 161-187 (1982) ·Zbl 0491.68045号 [39] 北米吉多。；Hakimi，S.L。；Garey，M.R。；约翰逊，D.S。；Papadimitriou，C.H.，《搜索图形的复杂性》，J.Assoc.Compute。机器。，35, 18-44 (1988) ·Zbl 0637.68081号 [40] Nagl，M.，标记图的形式语言，计算，16，113-137（1976）·Zbl 0333.68054号 [41] Papadimitriou，C.，计算复杂性（1994），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0833.68049号 [42] 帕森斯，T.，图中的追求逃避，（Alavi，Y.；Lick，D.，图的理论和应用（1976），施普林格：施普林格纽约/柏林），426-441·Zbl 0379.05026号 [43] Remila，E.，《自动机识别图形的基础研究》，Theor。计算。科学。，136291-332（1994年）·Zbl 0874.68230号 [44] 罗森菲尔德，A。；Milgram，D.，网络自动机和网络语法，Mach。智力。，7, 307-324 (1972) ·Zbl 0259.68037号 [45] G.Rozenberg（编辑），《图形语法和图形转换计算手册》，第1卷，世界科学，新加坡，1997年。；G.Rozenberg（编辑），《图形语法和图形转换计算手册》，第1卷，世界科学，新加坡，1997年·Zbl 0908.68095号 [46] Rozenberg，G。；Welzl，E.，《边界NLC图文法基础定义、范式和复杂性》，Inform。控制，69，136-167（1986）·Zbl 0608.68060号 [47] Rozenberg，G。；Welzl，E.，边界NLC图语言族的图论闭包性质，Acta Inform。，23, 289-309 (1986) ·Zbl 0606.68070号 [48] Ruzzo，W.L.，《树大小有界交替》，J.Compute。系统科学。，21, 218-235 (1980) ·Zbl 0445.68034号 [49] Skodinis，K。；Wanke，E.，eNCE图形语言的空问题，J.Compute。系统科学。，51, 472-485 (1995) ·Zbl 0839.68057号 [50] Skodinis，K。；Wanke，E.，eNCE图文法的有界度问题，Inform。计算。，135, 15-35 (1997) ·Zbl 0879.68069号 [51] Wank，E.，E BNLC结构图上图问题的算法，Inform。计算。，94, 93-122 (1991) ·Zbl 0751.68034号 [52] Wu，A。；Rosenfeld，R.，细胞图自动机I，Inform。控制，42，305-329（1979）·Zbl 0424.68029号 [53] 吴，A。；Rosenfeld，R.，细胞图自动机II，Inform。控制，42330-353（1979）·兹比尔0424.68030 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。