×
克里斯托夫·舒尔特·阿尔托夫;沃尔夫冈·托马斯;尼科·沃尔迈耶

关于Büchi自动机确定的观察。 （英语） Zbl 1153.68399号

西奥。计算。科学。 363，第2期，224-233（2006）.
摘要：基于OmegaDet程序中的一个实现，比较了Büchi自动机的Safra和Muller-Schupp两种判定方法。

引用于5文件

理学硕士：

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

关键词：

确定;拉宾;穆勒·舒普

软件：

睫毛
PDF格式BibTeX公司 XML格式引用
\textit{C.S.Althoff}等人，Theor。计算。科学。363，第2号，224--233（2006；Zbl 1153.68399）
全文： 内政部

参考文献：

[1] B.Boigelot，S.Jodogne，P.Wolper，整数和实数变量线性算法的有效决策程序，ACM Trans。计算。逻辑6（3）（2005）614-633。；B.Boigelot，S.Jodogne，P.Wolper，整数和实数变量线性算法的有效决策程序，ACM Trans。计算。逻辑6（3）（2005）614-633·Zbl 1407.03052号
[2] K.Etessami，T.Wilke，R.A.Schuller，《公平模拟关系、奇偶博弈和Büchi自动机的状态空间约简》，摘自：Proc。ICALP 2001，《计算机科学讲义》，第2076卷，施普林格，柏林，2001年，第694-707页。；K.Etessami，T.Wilke，R.A.Schuller，《公平模拟关系、奇偶博弈和Büchi自动机的状态空间约简》，摘自：Proc。ICALP 2001，计算机科学讲义，第2076卷，施普林格，柏林，2001，第694-707页·Zbl 0986.68049号
[3] D.Kähler，Determinisierung von（\ operatorname｛\Omega；｝\）-autoten，Diplomarbeit，基尔阿尔布雷支大学，2001年6月。；D.Kähler，Determinisierung von（\ operatorname｛\Omega；｝\）-autoten，Diplomarbeit，基尔阿尔布雷支大学，2001年6月。
[4] J.Klein，C.Baier，《线性时序逻辑公式的确定性自动机实验》，in：Proc。第十届国际。自动机的实现和应用会议，CIAA 2005，《计算机科学讲义》，第3845卷，施普林格，柏林，2005年。；J.Klein，C.Baier，《线性时序逻辑公式的确定性自动机实验》，in：Proc。第十届国际。自动化实现与应用大会，CIAA 2005，计算机科学讲稿，第3845卷，柏林斯普林格，2005年·Zbl 1172.68514号
[5] C.Löding，欧米伽-自动机转化的最优界，in：Proc。第19届软件技术和理论计算机科学基础大会，计算机科学讲稿，第1738卷，柏林斯普林格，1999年，第97-109页。；C.Löding，欧米伽-自动机转化的最优界，in：Proc。第19届软件技术和理论计算机科学基础大会，《计算机科学讲义》，第1738卷，柏林斯普林格出版社，1999年，第97-109页·Zbl 0961.68074号
[6] McNaughton，R.，《用有限自动机测试和生成无限序列》，Inform。和控制，9，5，521-530（1966）·Zbl 0212.33902号
[7] Michel，M.，《用自动机对无限单词进行补足更困难》（1988），cNET:cNET巴黎
[8] 宫野，S。；Hayashi，T.，《（ω）单词上的交替有限自动机》，Theoret。计算。科学。，32, 321-330 (1984) ·Zbl 0544.68042号
[9] 穆勒，D.E。；Schupp，P.E.，用非确定性自动机模拟交替树自动机：Rabin，McNaughton和Safra定理的新结果和新证明，Theoret。计算。科学。，141, 1&2, 69-107 (1995) ·Zbl 0873.68135号
[10] D.Perrin，J.-E.Pin，《无限词：自动机，半群，逻辑与游戏，纯粹与应用数学》，第141卷，爱思唯尔出版社，阿姆斯特丹，2004年。；D.Perrin，J.-E.Pin，《无限单词：自动机，半群，逻辑和游戏，纯粹和应用数学》，第141卷，爱思唯尔，阿姆斯特丹，2004年·Zbl 1094.68052号
[11] S.Safra，关于\（operatorname{\Omega；}\）-自动机的复杂性，in：Proc。第29交响曲。《计算机科学基础》，IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，1988年，第319-327页。；S.Safra，关于\（operatorname{\Omega；}\）-自动机的复杂性，in：Proc。第29交响曲。《计算机科学基础》，IEEE计算机社会出版社，加利福尼亚州洛斯阿拉米托斯，1988年，第319-327页。
[12] C.Schulte-Althoff，《确定性自动机的构造：safra和muller/schupp算法的比较分析》，Diplarbeit，亚琛RWTH，2005年4月。；C.Schulte-Althoff，《确定性自动机的构造：safra和muller/schupp算法的比较分析》，Diplarbeit，亚琛工业大学，2005年4月。
[13] 基于Liège Automata的符号处理程序（LASH），位于\（\langle；\）http://www.montefiore.ulg.ac.be网站/沸点/研究/冲击/（\rangle；\）。；基于Liège自动机的符号处理程序（LASH），位于\（\langle；\）网址：http://www.fontefiore.ulg.ac.be/沸点/研究/冲击/（\rangle；\）。
[14] W.Thomas，无限对象上的自动机，J.van Leeuwen（编辑），《理论计算机科学手册》，B卷，形式模型和语义，Elsevier，阿姆斯特丹，1990年，第133-191页（第4章）。；W.Thomas，关于无限对象的自动机，载于：J.vanLeeuwen（编辑），理论计算机科学手册，B卷，形式模型和语义，爱思唯尔，阿姆斯特丹，1990年，第133-191页（第4章）·Zbl 0900.68316号
[15] W.托马斯，《语言、自动机和逻辑》，收录于：《形式语言理论手册》，第三卷，施普林格出版社，柏林，1997年，第389-455页。；W.托马斯，《语言、自动机和逻辑》，收录于：《形式语言理论手册》，第三卷，施普林格出版社，柏林，1997年，第389-455页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。