×
亚克尼斯，亚历山大;弗拉基米尔·亚克尼斯

Gurevich Harrington的游戏是由有限自动机定义的。 （英语） Zbl 0778.03010号

Ann.纯粹应用。逻辑 62，第3期，265-294（1993）.
本文考虑了由可能的动作字母表和玩家获胜游戏的子集描述的扩展形式的两层游戏（其中游戏是玩家交替选择的动作序列——有限或无限）。用于分析此类游戏的有限自动机模型允许研究其属性并有效地找到赢家。游戏的组成部分在表示游戏的自动机的转换表中进行转换，并且处理该传输表导致确定获胜者的一般条件的推导。
审核人：马雷什（普拉哈）

引用于5文件

MSC公司：

05年3月 与逻辑问题相关的自动机和形式文法
91A05型 2人游戏
68T05型 人工智能中的学习和自适应系统

关键词：

并发程序;可能的动作字母表;有限自动机模型
PDF格式BibTeX公司 XML格式引用
\textit{A.Yakhnis}和\textit{V.Yakhnis}，Ann.纯粹应用。逻辑62，No.3，265--294（1993；Zbl 0778.03010）
全文： 内政部

参考文献：

[1] Ben-Ari，M.，《并发编程原理》（1982），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0534.68005号
[2] Büchi，J.R.，使用游戏的确定性来消除量词，（计算理论基础，56（1977），施普林格：施普林格-柏林），367-378，计算机科学讲义·Zbl 0367.02005
[3] Büchi，J.R.，布尔-（F_σ）博弈的获胜国家战略，手稿（1981）
[4] Büchi，J.R.，《（F{σδ}）和（G{δσ}）中游戏的状态策略》，J.Symbolic，48，4（1983）·Zbl 0565.03009号
[5] Büchi，J.R。；Landweber，L.H.，用有限状态策略求解序列条件，Trans。阿默尔。数学。《社会学杂志》，138295-311（1969）·Zbl 0182.02302号
[6] Davis，M.，《完美信息的无限游戏》（数学研究年鉴（1964），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），85-102·Zbl 0133.13104号
[7] 加尔，D。；Stewart，F.M.，《完美信息的无限游戏》，（对游戏理论的贡献，28（1953），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿），245-266，《数学年鉴》。研究·Zbl 0050.14305号
[8] 古雷维奇，Y。；哈灵顿，L.，树木，自动机和游戏，Proc。第14届ACM计算理论年会，60-65（1982）
[9] 霍普克罗夫特，J。；Ullman，J.，《自动机理论导论》（语言与计算（1979），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0155.34303号
[10] Lachlan，A.H.，《关于与递归可数集理论相关的一些游戏》，《数学年鉴》。，91, 2, 291-310 (1970) ·兹伯利0276.02023
[11] Landweber，L.H.，第II.9节和第II.10节，（Trakhtenbrot，B.A.；M.Barzdin，Ya.，有限自动机（1973），北荷兰：北荷兰阿姆斯特丹），115-126
[12] Martin，D.A.，《Borel确定性的纯归纳证明》，Proc。交响乐团。在纯数学中。，42, 303-308 (1985) ·兹伯利0614.03048
[13] McNaughton，R.，有限图上的无限游戏，（技术报告第92-14号（1992年5月），伦斯勒理工学院计算机科学系：纽约特洛伊伦斯勒理工学院计算机系），12180-3590
[14] Morris，J.M.，《互斥问题的无饥饿解决方案》，Inform。过程。莱特。，8, 76-80 (1979) ·Zbl 0397.68036号
[15] Moschovakis，Y.N.，抽象结构的基本归纳法（1974），北荷兰：北荷兰阿姆斯特丹·Zbl 0307.02003年
[16] Nerode，A。；Yakhnis，A。；Yakhnis，V.，《作为游戏的并发计算》，《与计算机科学和编程语言理论相关的逻辑研讨会》（1989年11月），由Anil Nerode发表的Talk，以下论文的初步摘要
[17] Nerode，A。；Yakhnis，A。；Yakhnis，V.，《并行程序作为游戏策略》（Moschovakis，Y.N.，《计算机科学的逻辑》（1992），施普林格出版社：施普林格-柏林）。（技术报告90-78（1990年10月），康奈尔大学数学科学研究所），405-479，也可作为·Zbl 0746.68046号
[18] A.Nerode、A.Yakhnis和V.Yakhnis.《作为游戏策略的分布式并发程序的准备》。；A.Nerode、A.Yakhnis和V.Yakhnis，《作为游戏策略的分布式并发程序的准备》。
[19] Nerode，A。；Yakhnis，A.，《将混合系统建模为游戏》（技术报告第92-36号（1992年10月），康奈尔大学数学科学研究所），将在CDC92会议论文集上发表
[20] 彼得森，J.L。；Silberschatz，A.，《操作系统概念》（1985），Addison-Wesley:Addison-Wesley Reading，MA
[21] Wolfe，P.，某些无限对策的严格确定性，太平洋数学杂志。，5（1955），补编一·Zbl 0066.38003号
[22] Yakhnis，A.，《并发规范及其Gurevich-Harrington游戏和作为策略的程序表示》，第七届陆军应用数学会议。和计算（1989年6月）
[23] Yakhnis，A.，并发程序的博弈论语义及其规范，（康奈尔大学博士论文（1990年8月））
[24] Yakhnis，A.，《混合游戏》（技术报告第92-38号（1992年10月），康奈尔大学数学科学研究所）
[25] Yakhnis，A。；Yakhnis，V.，Gurevich-Harrington有限记忆确定性定理的推广：获胜球员的标准和一类明确的获胜策略，Ann.Pure Appl。逻辑，48，277-297（1990）·Zbl 0716.03036号
[26] Yakhnis，V.，《从Gurevich-Harrington游戏中提取并发程序》，第七届陆军应用数学会议。和计算（1989年6月）
[27] Yakhnis，V.，并行程序、国家战略微积分和Gurevich-Harrington博弈，（博士论文（1990年8月），康奈尔大学）·Zbl 0687.68004号
[28] 《难以忘怀的健忘确定性》，《逻辑与计算》即将出版。；S.Zeitman，《难忘的遗忘确定性》，《逻辑与计算》，即将出版·Zbl 0860.03012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。