迈克尔·霍尔特曼;卢卡斯·凯撒;沃尔夫冈·托马斯-规则无限对策中的前瞻度

lmcs:922-计算机科学中的逻辑方法,2012年9月27日,第8卷第3期-https://doi.org/10.2168/LMCS-8(3:24)2012
规则无限对策中的前瞻度第条

作者:迈克尔·霍尔特曼;卢卡斯·凯撒;沃尔夫冈·托马斯

    我们研究正则无限对策的变体,其中两名球员之间的动作可能会有所修改。第二个玩家可能会将移动延迟有限的步骤,或者换句话说,利用在他的策略中,有些人着眼于对手的动向。这捕获了分布式系统中的情况,例如缓冲区出现在通信或延迟组件之间的信号传输时。我们区分具有不同前瞻性的策略,其中包括连续和有界前瞻策略。在第一种情况下前瞻性是有限的,可能是无限的,而在第二种情况下大小有限。我们证明了正则无限对策的可解性持续战略是可以决定的,而持续战略总是可以被简化为有界向前看。此外,这种展望最多是给定奇偶自动机大小的双指数识别获胜条件。我们还证明了非正则表达式的结果是失败的游戏x中的获胜条件由无上下文的欧米茄语言给出。


    资料来源:arXiv.org:1209.0800
    卷:第8卷第3期
    发布日期:2012年9月27日
    进口日期:2010年12月10日
    关键词:计算机科学-形式语言和自动机理论,D.2.4

    14引用本条的文件

    咨询统计

    这个页面已经被浏览了1165次。
    本文的PDF已下载679次。