Turing machine interaction problem
Abstract
The article introduces some ideas for solving special cases of the following problem, proposed in a somewhat generalized form by Marcus Hutter in 2000. Given two Turing machines A and C, it is required to build a Turing machine B, such that after interacting of A and B on a shared tape for a fixed number of iterations, the machine C outputs 1 on the communication protocol of A and B. Details in the introduction.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.