当前位置: X-MOL 学术arXiv.cs.GT › 论文详情
Good-for-games $ω$-Pushdown Automata
arXiv - CS - Computer Science and Game Theory Pub Date : 2020-01-13 , DOI: arxiv-2001.04392
Karoliina Lehtinen; Martin Zimmermann

We introduce good-for-games $\omega$-pushdown automata ($\omega$-GFG-PDA). These are automata whose nondeterminism can be resolved based on the run constructed thus far. Good-for-gameness enables automata to be composed with games, trees, and other automata, applications which otherwise require deterministic automata. Our main results show that $\omega$-GFG-PDA are more expressive than deterministic $\omega$-pushdown automata and that solving infinite games with winning conditions specified by $\omega$-GFG-PDA is EXPTIME-complete, i.e., we have identified a new class of $\omega$-contextfree winning conditions for which solving games is decidable. This means in particular that the universality problem is in EXPTIME as well. Moreover, we study closure properties of the class of languages recognized by $\omega$-GFG-PDA and decidability of good-for-gameness of $\omega$-pushdown automata and languages.
更新日期:2020-01-14

 

全部期刊列表>>
2020新春特辑
限时免费阅读临床医学内容
ACS材料视界
科学报告最新纳米科学与技术研究
清华大学化学系段昊泓
自然科研论文编辑服务
加州大学洛杉矶分校
上海纽约大学William Glover
南开大学化学院周其林
课题组网站
X-MOL
北京大学分子工程苏南研究院
华东师范大学分子机器及功能材料
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug