在 Baire 空间中博弈
计算机科学与博弈论
2016-08-03 v1 计算机科学中的逻辑
摘要
我们求解了 Church 综合问题的一个广义版本，其中对局由自然数序列而非比特序列给出；因此对局是 Baire 空间的元素而非 Cantor 空间的元素。两名玩家 Input 和 Output 交替选择自然数以生成对局。我们提出了一种配备奇偶接受条件的自然自动机模型（“N-memory automata”），并引入了相应的“N-memory transducers”模型。我们证明了由 N-memory automata 指定的博弈的可解性（即玩家 Output 是否存在获胜策略）是可判定的，并且在这种情况下，可以构造一个实现玩家 Output 获胜策略的 N-memory transducer。
引用
@article{arxiv.1608.00653,
title = {Playing Games in the Baire Space},
author = {Benedikt Brütsch and Wolfgang Thomas},
journal= {arXiv preprint arXiv:1608.00653},
year = {2016}
}
备注
In Proceedings Cassting'16/SynCoP'16, arXiv:1608.00177