×
西斯特拉·A·普拉萨德；莫舍·瓦尔迪。；皮埃尔·沃尔珀

Büchi自动机的互补问题及其在时序逻辑中的应用。 （英语） Zbl 0613.03015号

西奥。计算。科学。 49, 217-237 (1987).
参考初步版本的审查【Lect.Notes Compute.Sci.194，465-474（1985）】Zbl 0577.03019号.

引用于81文件

MSC公司：

05年3月 与逻辑问题相关的自动机和形式文法
03B70号 计算机科学中的逻辑
03B25号 理论和句子集的可决定性
68问题65 抽象数据类型；代数规范
2015年3月1日 计算复杂性（包括隐式计算复杂性）
03B45 模态逻辑（包括规范逻辑）

关键词：

欧米伽正则性；无限单词；补Büchi自动机；决策程序；扩展时序逻辑；可满足性问题；重复承兑

引文：

兹伯利0577.03019
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Sistla}等人，Theor。计算。科学。49、217--237（1987；Zbl 0613.03015）
全文： 内政部

参考文献：

[1] Alaiwan，H.，有限自动机无限行为的等价性，理论。计算。科学。，31, 297-306 (1984) ·Zbl 0568.68036号
[2] Büchi，J.R.，《受限二阶算术中的决策方法》，（Proc.Internat.Congr.Logic，Methodology and Philosophy of Science 1960（1962），斯坦福大学出版社），1-12·Zbl 0147.25103号
[3] Büchi，J.R.，（ω_1）的一元理论，（可判定理论II.可判定理论II，数学课堂讲稿，328（1973），施普林格：施普林格-柏林），1-127·Zbl 0298.02050
[4] Choueka，Y.，《ω带上的自动机理论：简化方法》，J.Compute。系统科学。，8, 117-141 (1974) ·Zbl 0292.02033号
[5] 艾伦伯格，S.，《自动化，语言和机器》，A卷（1974年），学术出版社：纽约学术出版社·Zbl 0317.94045号
[6] 加巴伊，D。；普努利，A。；谢拉，S。；Stavi，J.，《公平的时间分析》，拉斯维加斯。拉斯维加斯，Proc。第七交响乐团。《程序设计语言原理》，163-173（1980）
[7] Harel，D。；Kozen，D。；Parikh，R.，《过程逻辑：表达性、可判定性、完整性》，J.Compute。系统科学。，25, 144-170 (1982) ·Zbl 0494.03016号
[8] Manna，Z。；Pnuelli，A.，《并发程序的验证：时间框架》（Boyer，R.S.；Moore，J.S.，《计算机科学中的正确性问题》（1981），学术出版社：纽约/伦敦学术出版社），215-273
[9] McNaughton，R.，通过有限自动化测试和生成无限序列，Inform。和控制，9521-530（1966）·Zbl 0212.33902号
[10] Meyer，A.R.，《后继的弱一元二阶理论不是初等递归》（Proc.Logic Colloquium.Proc.Logic Colloquium，数学课堂讲稿，453（1975），Springer:Springer-Berlin），132-154·Zbl 0326.02036号
[11] Meyer，A.R。；Stockmeyer，L.J.，正则表达式的平方等价问题需要指数时间，长滩。长滩，Proc。第13届IEEE交响乐团。关于交换和自动机理论，125-129（1972）
[12] Nishimura，H.，描述完整过程逻辑，Acta Inform。，14, 359-369 (1980) ·Zbl 0423.68005号
[13] Owicki，S。；Lamport，L.，证明并发程序的活性属性，Trans。《美国医学会杂志》，第455-495页（1982年）·Zbl 0483.68013号
[14] Pnueli，A.，并发程序的时间逻辑，定理。计算。科学。，13，45-60（1981年）·Zbl 0441.68010号
[15] 拉宾，M.O.，无限树上二阶理论和自动机的可判定性，Trans。AMS，141，1-35（1969）·兹比尔0221.02031
[16] Rabin，M.O.，《弱可定义关系与特殊自动机》（Bar-Hillel，Y.，Proc.Symp.数学逻辑与集合论基础（1970），北荷兰：北荷兰阿姆斯特丹），1-23·Zbl 0214.02208号
[17] M.O.拉宾。；Scott，D.，《有限自动机及其决策问题》，IBM J.Res.&Dev.，3114-125（1959）·Zbl 0158.25404号
[18] Robertson，E.L.，自然数的弱一元二阶理论中的复杂性结构，西雅图。西雅图，Proc。第六交响乐团。计算理论，161-171（1974）·Zbl 0361.68071号
[19] Siefkes，D.（可判定理论I-Büchi’s Monadic Second-Order Successor Arithmetics.可判定理论I-Büch’s Monadac Second-ord Successor-Arthmetics，数学课堂讲稿，120（1970），施普林格：施普林格-柏林）·Zbl 0213.01901号
[20] Sistla，A.P.，分布式系统设计和验证中的理论问题，（哈佛大学博士论文（1983年））
[21] Sistla，A.P。；Clarke，E.M.，命题线性时间逻辑的复杂性，J.ACM，32，733-749（1985）·兹比尔0632.68034
[22] Stockmeyer，L.J.，《自动机理论和逻辑中决策问题的复杂性》（博士论文，博士论文，技术代表MAC MIT TR-133（1974），麻省理工学院）·Zbl 0444.94037号
[23] Trakhtenbrot，B.A。；Barzdin，Y.M.，《有限自动机行为与合成》（1973），北荷兰：北荷兰阿姆斯特丹·Zbl 0271.94032号
[24] 瓦尔迪，M.Y。；Stockmeyer，L.，《改进程序模态逻辑的上下限》，普罗维登斯。普罗维登斯，Proc。第17届ACM交响乐团。计算理论，240-251（1985）
[25] 瓦尔迪，M.Y。；Wolper，P.，《另一个过程逻辑》（《程序逻辑》，《程序逻辑，计算机科学讲义》，164（1983），施普林格：施普林格柏林），501-512·Zbl 0549.68020号
[26] 瓦尔迪，M.Y。；Wolper，P.，《程序模态逻辑的自动机理论技术》，J.Compute。系统科学。，32, 183-221 (1986) ·Zbl 0622.03017号
[27] M.Y.Vardi和P.Wolper，《关于无限计算路径的推理》即将出版。；M.Y.Vardi和P.Wolper，《关于无限计算路径的推理》即将出版·Zbl 0827.03009
[28] Wolper，P。；瓦尔迪，M.Y。；Sistla，A.P.，《关于无限计算路径的推理》，图森。Tucson，程序。第24届IEEE研讨会。《计算机科学基础》，185-194（1983）
[29] Wolper，P.，从时序逻辑规范合成通信过程，（斯坦福大学博士论文（1982））·Zbl 0487.68027号
[30] Wolper，P.，时间逻辑更具表现力，Inform。和控制，56，72-99（1983）·Zbl 0534.03009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。