×
乌迪·博克；奥尔纳·库普弗曼

寻求将Büchi严格翻译为co-Bu chi automata。 （英语） Zbl 1287.68092号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学课堂讲稿6300，147-164（2010）。
摘要：Büchi接受条件指定了一组状态，如果运行无限频繁地访问\（\alpha\），则运行是接受的。co-Büchi接受条件是双重的，因此，如果一次跑步只访问有限的次数，那么它就是接受跑步。词上的非确定性Büchi自动机（NBWs）比词上的不确定性co-Büchi-自动机（NCWs）更具表现力。几十年来，将NBW转换为NCW（如果可能）所涉及的放大问题一直存在。
直到最近，最著名的上界是（2^{O（n\logn）}），而最好的下界是（n）。我们描述了对紧束缚的追求。
关于整个系列，请参见[Zbl 1194.03003号].

引用于2文件

MSC公司：

65年第68季度 形式语言和自动机
05年3月 与逻辑问题相关的自动机和形式文法

关键词：

Büchi自动机；co-Büchi自动机；不确定性；自动翻译
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{O.Kupferman}，莱克特。注释计算。科学。6300、147--164（2010年；Zbl 1287.68092）
全文： 内政部

参考文献：

[1] Accellera:Accellera organization inc.（2006），http://www.accellera.org
[2] Aminof，B.，Kupferman，O.，Lev，O.：关于非确定性Büchi和co-Büchi-词自动机的相对简洁性。收录人：Cervesato，I.、Veith，H.、Voronkov，A.（编辑）LPAR 2008。LNCS（LNAI），第5330卷，第183-197页。斯普林格，海德堡（2008）·兹比尔1182.68098 ·doi:10.1007/978-3-540-89439-1_14
[3] Boker，U.，Kupferman，O.：Co-ing Büchi做得紧密而有用。In：程序。第24届IEEE研讨会。《计算机科学中的逻辑》（2009）·Zbl 1351.68135号
[4] Boker，U.，Kupferman，O.，Rosenberg，A.：Büchi自动机中的交替删除。In：程序。第37届国际自动机、语言和编程学院（2010年）·Zbl 1288.68148号 ·doi:10.1007/978-3-642-14162-17
[5] Büchi，J.R.：关于限制二阶算法中的一种决策方法。In：程序。国际逻辑、方法和科学哲学大会，第1-12页。斯坦福大学出版社，斯坦福（1962）·Zbl 0147.25103号
[6] Emerson，E.，Jutla，C.：树自动机的复杂性和程序逻辑。In：程序。第29届IEEE交响乐。《计算机科学基础》，第328–337页（1988年）·doi:10.1109/SFCS.1988.21949
[7] Gentilini，R.，Piazza，C.，Policriti，A.：在线性符号步数中计算强连接组件。收录：第14届ACM-SIAM交响乐团。《离散算法》，第573–582页（2003年）·兹比尔1092.68716
[8] Krishnan，S.、Puri，A.、Brayton，R.：确定性{\（\omega\）}自动机与确定性Büchi自动机的比较。收录人：Du，D.-Z.，Zhang，X.-S.（编辑）ISAAC 1994。LNCS，第834卷，第378–386页。斯普林格，海德堡（1994）·Zbl 0953.68563号 ·doi:10.1007/3-540-58325-4_202
[9] 库普夫曼：收紧自动机之间的汇率。收录人：Duparc，J.，Henzinger，T.A.（编辑）CSL 2007。LNCS，第4646卷，第7-22页。斯普林格，海德堡（2007）·Zbl 1179.68072号 ·doi:10.1007/978-3-540-74915-8_5
[10] Kupferman，O.，Lustig，Y.，Vardi，M.：关于局部可检查属性。摘自：Hermann，M.，Voronkov，A.（编辑）LPAR 2006。LNCS（LNAI），第4246卷，第302-316页。斯普林格，海德堡（2006）·Zbl 1165.68408号 ·doi:10.1007/11916277_21
[11] Kupferman，O.，Morgenstern，G.，Murano，A.：{\（\omega\）}-正则自动机的类型。国际计算机科学基础杂志17，869–884（2006）·Zbl 1098.68073号 ·doi:10.1142/S0129054106004157
[12] Kupferman，O.，Vardi，M.：从线性时间到分支时间。ACM计算逻辑汇刊6273–294（2005）·兹比尔1367.68195 ·数字对象标识代码：10.1145/1055686.1055689
[13] Kurshan，R.：协调过程的计算机辅助验证。普林斯顿大学出版社，普林斯顿（1994）·Zbl 0822.68116号
[14] Landweber，L.：{\（\omega\）}–自动机的决策问题。数学系统理论3376–384（1969）·Zbl 0182.02402号 ·doi:10.1007/BF01691063
[15] McNaughton，R.：用有限自动机测试和生成无限序列。信息与控制9521–530（1966）·Zbl 0212.33902号 ·doi:10.1016/S0019-9958（66）80013-X
[16] Miyano，S.，Hayashi，T.：单词上的交替有限自动机。理论计算机科学32，321-330（1984）·Zbl 0544.68042号 ·doi:10.1016/0304-3975（84）90049-5
[17] Morgenstern，A.，Schneider，K.：从LTL到符号表示的确定性自动机。收录人：Logozzo，F.、Peled，D.A.、Zuck，L.D.（编辑）VMCAI 2008。LNCS，第4905卷，第279-293页。斯普林格，海德堡（2008）·Zbl 1138.68454号 ·doi:10.1007/978-3-540-78163-9_24
[18] Piterman，N.：从非确定性Büchi和Streett自动机到确定性奇偶自动机。In：程序。第21届IEEE交响乐。《计算机科学中的逻辑》，第255-264页。IEEE出版社，Los Alamitos（2006）
[19] Pnueli，A.，Rosner，R.：关于反应模的合成。In：程序。第16届ACM交响乐团。《程序设计语言原理》，第179-190页（1989年）·兹伯利0686.68015 ·doi:10.1145/75277.75293
[20] 拉宾，M.：无限树上二阶理论和自动机的可判定性。AMS 141、1–35的交易（1969年）·兹比尔0221.02031
[21] Ravi，K.，Bloem，R.，Somenzi，F.：公平循环计算符号算法的比较研究。收录：Johnson，S.D.，Hunt Jr.，W.A.（编辑）FMCAD 2000。LNCS，第1954卷，第143-160页。斯普林格，海德堡（2000）·doi:10.1007/3-540-40922-X_10
[22] Safra，S.：关于{\（\omega\）}-自动机的复杂性。In：程序。第29届IEEE交响乐。《计算机科学基础》，第319-327页（1988年）·doi:10.1109/SFCS.1988.21948
[23] Safra，S.，Vardi，M.：关于{\（\omega\）}自动机和时序逻辑。In：程序。第21届ACM交响乐团。《计算理论》，第127-137页（1989年）·数字对象标识代码：10.1145/73007.73019
[24] Street，R.，Emerson，E.：{\（\mu\）}-演算的基本决策过程。收录：Paredaens，J.（编辑）ICALP 1984。LNCS，第172卷，第465-472页。斯普林格，海德堡（1984）·doi:10.1007/3-540-13345-343
[25] Vardi，M.，Wolper，P.：程序模态逻辑的自动机理论技术。《计算机与系统科学杂志》32，182-221（1986）·Zbl 0622.03017号 ·doi:10.1016/0022-0000（86）90026-7
[26] Vardi，M.，Wolper，P.：关于无限计算的推理。信息与计算115，1–37（1994）·Zbl 0827.03009 ·doi:10.1006/inco.1994.1092文件
[27] Wolper，P.，Vardi，M.，Sistla，A.：关于无限计算路径的推理。In：程序。第24届IEEE研讨会。《计算机科学基础》，第185-194页（1983年）·doi:10.1109/SFCS.1983.51
[28] Yan，Q.：通过全自动机技术实现{\（\omega\）}-自动机互补的下限。收录：Bugliesi，M.、Preneel，B.、Sassone，V.、Wegener，I.（编辑）ICALP 2006。LNCS，第4052卷，第589-600页。斯普林格，海德堡（2006）·Zbl 1134.68031号 ·doi:10.1007/11787006_50
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。