首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:Degrees of Lookahead in Context-free Infinite Games
  • 本地全文:下载
  • 作者:Wladimir Fridman ; Christof L{\"o}ding ; Martin Zimmermann
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2011
  • 卷号:12
  • 页码:264-276
  • DOI:10.4230/LIPIcs.CSL.2011.264
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We continue the investigation of delay games, infinite games in which one player may postpone her moves for some time to obtain a lookahead on her opponent's moves. We show that the problem of determining the winner of such a game is undecidable for deterministic context-free winning conditions. Furthermore, we show that the necessary lookahead to win a deterministic context-free delay game cannot be bounded by any elementary function. Both results hold already for restricted classes of deterministic context-free winning conditions.
  • 关键词:infinite games; delay; context-free languages
国家哲学社会科学文献中心版权所有