交互式计算的拓扑解释
计算机科学中的逻辑
2019-08-13 v1 人工智能
摘要
非常荣幸能为庆祝 Scott A. Smolka 65 岁生日撰写此致敬文。我们重访 Goldin、Smolka 的假设，即持久图灵机（PTM）可捕捉顺序交互计算的直观概念。我们提出一种拓扑框架来建模环境的抽象概念。我们利用它定义拓扑图灵机（TTM）的概念，作为交互式计算的通用模型以及并发计算的可能模型。
引用
@article{arxiv.1908.04264,
title = {Topological Interpretation of Interactive Computation},
author = {Emanuela Merelli and Anita Wasilewska},
journal= {arXiv preprint arXiv:1908.04264},
year = {2019}
}
备注
18 figures, 19 pages. Scott Smolka Festschrift