首页
期刊浏览
2024年08月31日 星期六
登录
注册
高级检索
专家检索
文章基本信息
标题:
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...
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有