×
布鲁诺·库塞尔

图的一元二阶逻辑。一： 有限图的可识别集。 （英语） Zbl 0722.03008号

Inf.计算。 85，第1期，12-75页（1990年）.
本文利用泛代数和形式语言理论的技术，开始研究图和图集的一元二阶逻辑。作者在多序代数中引入了一个可识别集，定义了图和图上的运算，得到了一个多序图代数。将图视为逻辑结构，介绍了计数一元二阶逻辑及其相关的可定义图集。本文的主要结果是，每个可定义的图集都是可识别的。因此，对于计数一元二阶逻辑中可表示的每一个图属性，满足该属性且属于给定的无上下文图集的图集构成无上下文集。作者证明了无上下文图集的一元二阶理论是可判定的。最后，作者讨论了无序无界树，证明了一组有限无序无界限树在计数一元二阶逻辑中是可定义的，并且在任意逻辑结构中，计数一元二阶逻辑比“普通”二阶逻辑严格更强大。
审核人：李翔（贵阳）

引用于16评论
引用于559文件

MSC公司：

03B15号机组 高阶逻辑；类型理论（MSC2010）
68兰特 计算机科学中的图论（包括图形绘制）
05C75号 图族的结构特征
05C65号 Hypergraphs（Hypergraph）
03B25号 理论和句子集的可决定性
65年第68季度 形式语言和自动机
08A70号 泛代数在计算机科学中的应用

关键词：

可定义性;识别;可判定性;图的一元二阶逻辑;泛代数;形式语言;多门图代数;无上下文集
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}，信息计算。85，编号1，12-75（1990；兹bl 0722.03008）
全文： 内政部

参考文献：

[1] Arnborg，S。；Lagergren，J。；Seese，D.，《树分解图的容易问题》（Proceedings，ICALP’88）。88年ICALP会议记录，坦佩雷。88年ICALP会议记录。ICALP’88会议录，坦佩雷，计算机科学讲稿，第317卷（1988），施普林格-弗拉格：柏林/纽约施普林格·Zbl 0662.03030号
[2] Bauderon，M。；Courcelle，B.，《图形表达式和图形重写》，数学。系统理论，2083-127（1987）·Zbl 0641.68115号
[3] Bodlaender，H.，《有界树宽图上的动态规划》（Proceedings，ICALP’88）。88年ICALP会议记录，坦佩雷。88年ICALP会议记录。88年ICALP法律程序，莱克托州坦佩雷。注释计算。科学。，第317卷（1988年），105-118·Zbl 0649.68039号
[4] Büchi，J.，弱二阶逻辑与有限自动机，Z.数学。Logik Gründlag公司。数学。，5, 66-92 (1960) ·Zbl 0103.24705号
[5] Courcelle，B.，正则系统的等价与变换。递归程序方案和语法的应用，Theoret。计算。科学。，42, 1-122 (1986) ·Zbl 0636.68104号
[6] Courcelle，B.，上下文无关重写的公理化定义及其在NLC图语法中的应用，定理。计算。科学。，55, 141-181 (1987) ·Zbl 0644.68095号
[7] Courcelle，B.，代数表达式对图的表示及其在图重写系统中的应用，（第三届国际图形语法研讨会论文集，第三届国际图形语法研讨会论文集，Lect.Notes Comput.Sci.，第291卷（1987），Springer Verlag:Springer Verlag Berlin/New York），112-132·Zbl 0643.68104号
[8] Courcelle，B.，《关于无上下文图集及其一元二阶理论》（Lect.Notes Compute.Sci.，Vol.291（1987），Springer-Verlag:Springer-Verlag Berlin/纽约），133-146·Zbl 0643.68105号
[9] Courcelle，B.，《关于使用无上下文图文法分析递归定义》，（Fuchi，K.；Kott，L.，《未来一代计算机编程II》（1988），北荷兰-埃尔塞维尔：北荷兰-埃尔塞维尔-阿姆斯特丹），83-122·Zbl 0675.68042号
[10] Courcelle，B.，《关于可识别集和树自动机》（Ait-Kaci，H.；Nivat，M.，《代数结构中方程的解析》（1989），学术出版社：纽约学术出版社）·Zbl 1109.68521号
[11] 库塞尔，B。在里面;库塞尔，B。在里面
[12] Courcelle，B.，《图的一元二阶逻辑：有限图的可定义集》，（计算机科学中的图理论概念研讨会。计算机科学中图理论概念的研讨会，阿姆斯特丹，1988年6月。计算机科学图形理论概念研讨会。计算机科学图形理论概念研讨会，阿姆斯特丹，1988年6月，Lect。注释计算。科学。，第344卷（1989年），《施普林格·弗拉格：施普林格尔·弗拉格纽约/柏林》，第30-53页
[13] Courcelle，B.，《图的一元二阶逻辑》。二、。有界宽度的无限图，数学。系统理论，21187-221（1989）·Zbl 0694.68043号
[14] Courcelle，B.（《图的一元二阶逻辑》，III.树宽、禁止的未成年人和复杂性问题（1988），Bordeaux-1大学），提交出版
[15] Courcelle，B.，《图的一元二阶逻辑》。四、 每一个等式图都是可定义的（1988），研究报告8830，提交出版·Zbl 0686.68011号
[16] Doner，J.，Tree acceptor及其一些应用，J.Compute。系统科学。，4, 406-451 (1970) ·Zbl 0212.02901号
[17] Ehrig，H。；Mahr，B.（代数规范基础（1985），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0557.68013号
[18] 艾伦伯格，S。；Wright，J.，《一般代数中的自动机》，Inform。和控制，11，52-70（1967）·Zbl 0175.27902号
[19] Gaifmann，H.，《局部和非局部属性》，（Stern，J.，《逻辑学术讨论会（Herbrand研讨会）》（1981年），北荷兰：北荷兰阿姆斯特丹），105-135·Zbl 0518.03008号
[20] Gecseg，F。；Steinby，M.（《树自动机》（1984），阿卡德。基亚多：阿卡德。基亚多·布达佩斯）·兹伯利039.68041
[21] 哈贝尔，A。；Kreowski，H.J.，请允许我们向您介绍Hyperedge替换，（Lect.Notes Compute.Sci.，Vol.291（1987），Springer-Verlag:Springer-Verlag Berlin），15-26·Zbl 0643.68106号
[22] Johnson，D.，《NP完备性专栏：持续指南》（第16期），J.Algorithms，6434-451（1985）·Zbl 0608.68032号
[23] Lautemann，C.，《无上下文图文法的高效算法》（Proceedings，ICALP’88）。ICALP’88法律程序。注释计算。科学。，第317卷（1988年），施普林格出版社：施普林格出版社，柏林/纽约），362-378·Zbl 0649.68075号
[24] Lengauer，T。；Wanke，E.，《无上下文图形语言上图形特性的有效分析》（Proceedings，ICALP’88）。ICALP’88法律程序。注释计算。科学。，第317卷（1988年），379-393·Zbl 0649.68076号
[25] Mezei，J。；Wright，J.，代数自动机和无上下文集，Inform。和控制，11，3-29（1967）·Zbl 0155.34301号
[26] Rozenberg，G。；Salomaa，A.（L系统的数学理论（1980），学术出版社：纽约学术出版社）·Zbl 0365.68072号
[27] Seese，D.，Ein Unentscheidbarkeitskriterium，威斯康星州。洪堡大学柏林数学-自然。《帝国》，24772-780（1975）·Zbl 0331.02026号
[28] D.塞斯。纯苹果年鉴。逻辑;D.塞斯。纯苹果年鉴。逻辑
[29] 托马斯·W·。在里面;托马斯·W·。在里面
[30] Trahtenbrot，B.，有限类上决策问题算法的不可能性，Dokl。瑙克。SSSR，70，569-572（1950）·兹伯利0038.15001
[31] Wirsing，M。在里面;Wirsing，M。在里面
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。