Topological Interpretation of Interactive Computation
Abstract
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We revisit Goldin, Smolka hypothesis that persistent Turing machine (PTM) can capture the intuitive notion of sequential interaction computation. We propose a topological setting to model the abstract concept of environment. We use it to define a notion of a topological Turing machine (TTM) as a universal model for interactive computation and possible model for concurrent computation.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2019
- DOI:
- 10.48550/arXiv.1908.04264
- arXiv:
- arXiv:1908.04264
- Bibcode:
- 2019arXiv190804264M
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Artificial Intelligence
- E-Print:
- 18 figures, 19 pages. Scott Smolka Festschrift