当前位置: X-MOL 学术ACM Trans. Comput. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Collapsible Pushdown Parity Games
ACM Transactions on Computational Logic ( IF 0.7 ) Pub Date : 2021-06-28 , DOI: 10.1145/3457214
Christopher H. Broadbent 1 , Arnaud Carayol 2 , Matthew Hague 3 , Andrzej S. Murawski 1 , C.-H. Luke Ong 1 , Olivier Serre 4
Affiliation  

This article studies a large class of two-player perfect-information turn-based parity games on infinite graphs, namely, those generated by collapsible pushdown automata. The main motivation for studying these games comes from the connections from collapsible pushdown automata and higher-order recursion schemes, both models being equi-expressive for generating infinite trees. Our main result is to establish the decidability of such games and to provide an effective representation of the winning region as well as of a winning strategy. Thus, the results obtained here provide all necessary tools for an in-depth study of logical properties of trees generated by collapsible pushdown automata/recursion schemes.

中文翻译:

可折叠下推奇偶校验游戏

本文研究了无限图上的一大类两人完美信息回合制奇偶博弈,即由可折叠下推自动机生成的博弈。研究这些游戏的主要动机来自可折叠下推自动机和高阶递归方案的联系,这两种模型对于生成无限树都是等价的。我们的主要结果是建立此类游戏的可判定性,并提供获胜区域和获胜策略的有效表示。因此,这里获得的结果为深入研究由可折叠下推自动机/递归方案生成的树的逻辑属性提供了所有必要的工具。
更新日期:2021-06-28
down
wechat
bug