文章基本信息
- 标题：Beyond omega-Regular Languages
- 作者：Mikolaj Bojanczyk
- 期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
- 电子版ISSN：1868-8969
- 出版年度：2010
- 卷号：5
- 页码：11-16
- DOI：10.4230/LIPIcs.STACS.2010.2440
- 出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
- 摘要：The paper presents some automata and logics on $\omega$-words, which capture all $\omega$-regular languages, and yet still have good closure and decidability properties.
- 关键词：Automata; monadic second-order logic
Loading...
