×

兹马思-数学第一资源

显示不同类型\(\omega\)-自动机之间的语言包含和等价性的统一方法。(英语) Zbl 0925.68274

理学硕士:
68Q45号 形式语言与自动机
03D05年 自动机与形式文法与逻辑问题
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 阿诺德,A。;解图上不动点方程的线性算法,()·Zbl 0663.68075
[2] 吕奇,J.R.关于限制二阶算法中的一种决策方法,(),1-12
[3] 艾默生,E.A。;雷,C.L.,广义公平约束下的时间推理,()·Zbl 0614.03023
[四] Kurshan,R.P.,测试ω-常规语言,()·Zbl 1345.68220号
[5] Kurshan,R.P.,多项式时间内互补的确定性Büchi自动机,J.comput。系统科学,35,59-71,(1987)·零担0666.68058
[6] 曼娜,Z。;Pnueli,A.,并发程序的规范和验证α-自动机,(),1-12
[7] 《无限序列与有限机器》,第3-16页
[8] Nivat,M.,同步过程系统的行为,()
[9] 尼瓦特,M。;Saoudi,A.,无限对象上的自动机及其在逻辑和编程中的应用。和comput.,83,1,(1989)·Zbl 0691.68068
[10] 拉宾,M.O.,二阶理论与无限树上自动机的可判定性。阿默尔。数学。第141页,第1-35页,(1969年)·Zbl 0221.02031
[11] Safra,S.,关于ω-自动机,程序。IEEE研讨会。计算机科学基础(1988)
[12] 西斯特拉,A.P。;Clarke,E.M.,命题时间逻辑的复杂性,J.ACM,32,2733-749,(1986)·Zbl 0632.68034
[13] 斯特雷特,R.S.,循环和逆向的命题动态逻辑是基本可判定的,通知。与控制,54121-141,(1982)·Zbl 0515.68062
[14] 瓦尔迪,M。;《自动程序验证的自动机理论方法》,(年),波士顿,马萨诸塞州
[15] 沃尔珀,P.,时间逻辑可以更具表现力,信息。与对照,56,72-79,(1983)·Zbl 0534.03009
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。