蒂埃里·卡查特 求解下推游戏的双向树自动机。 （英语） 兹比尔1021.68044 Grädel，Erich（编辑）等人，《自动机、逻辑和无限游戏》。当前研究指南。柏林：斯普林格。莱克特。注释计算。科学。2500, 303-317, 365-376 (2002). 摘要：第二章介绍了奇偶博弈（其中胜利者由经常出现的最大优先级的奇偶决定）[R.马扎拉，相同程序。，23–38 (2002;Zbl 1021.91502号)]以及第7章中有限图情况下奇偶对策的求解算法[H.克劳克，相同程序。，107–129 (2002;Zbl 1021.91500号)]. 本文研究一类简单的无限图：下推（转移）图上的奇偶对策。在莱克特。注释计算。科学。1855, 36–52 (2000;Zbl 0974.68083号),O.库普夫曼和M.Y.瓦尔迪给出了一种非常强大的方法来检查这些图的\（\mu\）-演算模型：双向交替树自动机的形式。下推自动机的转换图定义了竞技场：游戏图和指定奇偶获胜条件所需的顶点集划分。我们从第六章就知道了[R.Küsters公司，相同程序。，95–106 (2002;Zbl 1021.91501号)]这样的比赛是有决心的，而且每一个球员在他的获胜区域都有一个无记忆的获胜策略。本文的目的是展示如何有效地计算玩家0的获胜区域和一种无记忆的获胜策略。Kupferman和Vardi[loc.cit.]的想法是在全（W）树中模拟下推系统，其中（W）是一组有限的方向，并使用交替双向树自动机的表达能力来回答这些问题。最后，有必要将双向树自动机转换为等效的非确定性单向树自动机，其结构如下所示M.Y.瓦尔迪【Lect.Notes Compute.Sci.1443，628–641（1998；Zbl 0909.03019号)]. 在下一节中，我们定义了双向交替自动机和等效单向非确定性自动机的Vardi构造[loc.cit.]。在第17.3节中，我们将这些结果应用于求解下推图上的平价游戏，并计算获胜策略。第17.4节给出了一个示例。第17.5节讨论了一些扩展和修改。关于整个系列，请参见[兹比尔1011.00037]. 引用于1审查引用于6文件 MSC公司： 65年第68季度 形式语言和自动机 91A05型 2人游戏 91A43型 涉及图形的游戏 引文：Zbl 0974.68083号;Zbl 1021.91502号;Zbl 1021.91500号;Zbl 1021.91501号;Zbl 0909.03019号 PDF格式BibTeX公司 XML格式引用 \textit{T.Cachat}，莱克特。注释计算。科学。2500、303--317、365-376（2002；Zbl 1021.68044） 全文： 内政部 哈尔