Interactive computability

Slides:

Advertisements

Similar presentations

Part VI NP-Hardness. Lecture 23 Whats NP? Hard Problems.

Advertisements

Turing Machines Memory = an infinitely long tape Persistent storage A read/write tape head that can move around the tape Initially, the tape contains only.

Variants of Turing machines

Foundations of (Theoretical) Computer Science Chapter 3 Lecture Notes (Section 3.2: Variants of Turing Machines) David Martin With.

Simulating a modern computer by a Turing machine and vice versa CS 6800 Instructor: Dr. Elise de Doncker By Shweta Gowda Saikiran Ponnam.

1 Introduction to Computability Theory Lecture11: Variants of Turing Machines Prof. Amos Israeli.

Complexity ©D.Moshkovitz 1 Turing Machines. Complexity ©D.Moshkovitz 2 Motivation Our main goal in this course is to analyze problems and categorize them.

CS5371 Theory of Computation Lecture 11: Computability Theory II (TM Variants, Church-Turing Thesis)

CHAPTER 3 The Church-Turing Thesis

CHAPTER 4 Decidability Contents Decidable Languages

Automata & Formal Languages, Feodor F. Dragan, Kent State University 1 CHAPTER 5 Reducibility Contents Undecidable Problems from Language Theory.

Turing Machines CS 105: Introduction to Computer Science.

Theory of Computation. Computation Computation is a general term for any type of information processing that can be represented as an algorithm precisely.

Parallel operations Episode 8 0 Parallel conjunction and disjunction Free versus strict games The law of the excluded middle for parallel disjunction.

More Theory of Computing

Reduction Episode 9 0 The operation of reduction and the relation of reducibility Examples of reductions The variety of reduction concepts and their systematization.

Introduction to CS Theory Lecture 15 –Turing Machines Piotr Faliszewski

Turing Machines Chapter 17. Languages and Machines SD D Context-Free Languages Regular Languages reg exps FSMs cfgs PDAs unrestricted grammars Turing.

CSE 311 Foundations of Computing I Lecture 26 Computability: Turing machines, Undecidability of the Halting Problem Spring

1Computer Sciences Department. Book: INTRODUCTION TO THE THEORY OF COMPUTATION, SECOND EDITION, by: MICHAEL SIPSER Reference 3Computer Sciences Department.

 2005 SDU Lecture13 Reducibility — A methodology for proving undecidability.

Static games Episode 12 0 Some intuitive characterizations of static games Dynamic games Pure computational problems = static games Delays Definition.

Interactive computability Episode 13 0 Hard-play machines (HPMs) Easy-play machines (EPMs) Definition of interactive computability The interactive version.

Overview of the theory of computation Episode 3 0 Turing machines The traditional concepts of computability, decidability and recursive enumerability.

Automata & Formal Languages, Feodor F. Dragan, Kent State University 1 CHAPTER 3 The Church-Turing Thesis Contents Turing Machines definitions, examples,

1 Introduction to Turing Machines

Chapter 9 Turing Machines What would happen if we change the stack in Pushdown Automata into some other storage device? Truing Machines, which maintains.

Theory of Computation Automata Theory Dr. Ayman Srour.

Fall 2013 Lecture 27: Turing machines and decidability CSE 311: Foundations of Computing.

Chapters 11 and 12 Decision Problems and Undecidability.

Modeling Arithmetic, Computation, and Languages Mathematical Structures for Computer Science Chapter 8 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesTuring.

The Acceptance Problem for TMs

CSE202: Introduction to Formal Languages and Automata Theory

Negative Numbers and Subtraction

Time complexity Here we will consider elements of computational complexity theory – an investigation of the time (or other resources) required for solving.

COSC 3340: Introduction to Theory of Computation

Multi-tape TM’s Often it’s useful to have several tapes when carrying out a computations. For example, consider a two tape I/O TM for adding numbers (we.

Part VI NP-Hardness.

Class 27: Universal Turing Machines CS150: Computer Science

CSE 311 Foundations of Computing I

CSE 105 theory of computation

CS154, Lecture 7: Turing Machines.

LIMITS OF ALGORITHMIC COMPUTATION

CSE 105 theory of computation

COSC 3340: Introduction to Theory of Computation

Hierarchy of languages

Chapter 3: The CHURCH-Turing thesis

فصل سوم The Church-Turing Thesis

Jaya Krishna, M.Tech, Assistant Professor

Turing Machines (TM) Deterministic Turing Machine (DTM)

Games Episode 6 Games as models of interactive computational tasks

Alternating tree Automata and Parity games

Decidable Languages Costas Busch - LSU.

CS154, Lecture 13: P vs NP.

CS154, Lecture 12: Time Complexity

Theory of Computability

Turing Machines Complexity ©D.Moshkovitz.

CSE 105 theory of computation

Blind quantifiers Episode 10 Unistructurality

Variants of Turing machines

Episode 3 Constant games

Mathematical and computability-theoretic preliminaries

Episode 6 Parallel operations Parallel conjunction and disjunction

The language and formal semantics of computability logic

  Homework 6 (June 20) Material covered: Slides

Episode 10 Static games Some intuitive characterizations of static games Dynamic games Pure computational problems = static games Delays Definition of.

Theory of Computability

Week 11 - Wednesday CS221.

CSE 105 theory of computation

Presentation transcript:

Interactive computability Episode 11 Interactive computability Hard-play machines (HPMs) Easy-play machines (EPMs) Definition of interactive computability The interactive version of the Church-Turing thesis

From TM to HPM 11.1 Our basic model of interactive computation (game-playing by a machine) is what we call “hard-play machines” (HPM). An HPM is nothing but a Turing machine as defined in Section 2, with only the following two modifications/generalizations in the way it interacts with its environment: 1) Rather than requiring that a (single) “input” be present on the I/O tape (now renamed into run tape) at the beginning of the work of the machine, we stipulate that, at any time and any number of times, any finite number ⊥1,...,⊥n of ⊥–prefixed strings (“inputs”) can be appended to the contents of the run tape. This means that Environ-ment has made the moves 1,...,n. Not limiting the number of such moves accounts for the intuition that we do not impose any conditions on Environment’s relative speed. 2) Unlike a TM, an HPM does not halt once it enters the Halt state (now renamed into Move state). Simply, as before, entering this state results in appending the string ⊤ to contents of the I/O tape, where  is the string found to the left of the scanning head on the work tape. Such an event means that Machine made the move (“output”) . After the HPM makes a move, it continues working, and may make more moves later. The different possibilities of Environment’s moves appearing on the run tape create different branches of computation of the machine, and correspond to all possible scenarios of how things can evolve when the machine plays. Each branch B of computation incrementally spells some (possibly infinite) run on the run tape, which we call the run spelled by B.

(transition function) Control An example of an HPM 11.2 Run tape - - - - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape - - - - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape - - - - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape - - - - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape - - - - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 - - - - - - - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 - - - - - - - - - - - - - Work tape 1 - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 - - - - - - - - - - Work tape 1 - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 - - - - - - - - - - Work tape 1 - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 - - - - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 - - - - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape 1 - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 - - - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ - - - - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start Move (transition function) Control 1,-  -,R,S ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape 1 - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 - - Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

(transition function) Control An example of an HPM 11.2 Run tape ⊥ 1 ⊥ 1 ⊤ 1 ⊥ ⊤ 1 ⊤ Work tape - - - - - - - - - - - - - - - 0,-  0,R,R 1,-  1,R,R -,-  -,S,S -,-  -,S,S ⊥,-  -,S,S ⊥,-  -,R,S ⊤,-  -,S,S ⊤,-  -,R,S 0,-  -,R,S Start 1,-  -,R,S Move (transition function) Control ⊤,-  -,R,S -,-  -,S,S ⊥,-  -,S,S -,-  -,S,S -,-  -,S,L ⊥,-  -,S,S ⊥,-  -,S,L ⊤,-  -,S,S ⊤,-  -,S,L -,0  -,S,L ⊥,0  -,S,L ⊤,0  -,S,L -,1  -,S,L ⊥,1  -,S,L ⊤,1  -,S,L

Interactive algorithm = HPM Computing by an HPM 11.3 We say that an HPM H computes (or solves, or wins) a constant game G and write H ⊧ G iff, for every computation branch B of H, where  is the run spelled by B, we have WnG = ⊤. Example: The HPM of Slide 11.2 computes the game where all (and only) finite bit strings are legal moves by either player in every position, and where Machine wins a given run iff it makes exactly the same moves as Environment did. Thesis 11.3 More precisely, for every (interactive) computational problem G, we have: (a) If some HPM computes G, then G has an algorithmic (effective) solution according to everyone’s reasonable intuition. (b) If G has an algorithmic solution according to anyone’s reasonable intuition, then there is an HPM that computes G. Interactive algorithm = HPM The above is a generalization of the Church-Turing thesis to interactive problems. So, it can be called the “Interactive version of the Church-Turing thesis”.

From HPM to EPM 11.4 An “easy-play machine” (EPM) is defined in the same way as an HPM, with only the following modifications: There is an additional special state in an EPM called the Permission state. We call the event of entering this state granting permission. In the EPM model, the environment can (but is not obligated to) make a (one single) move only when the machine is in the Permission state. The machine is considered to win (solve, compute) a constant game G iff, for every computation branch B of the machine, where  is the run spelled by B, we have: (a) WnG = ⊤. (b) As long as Environment does not offend (does not make illegal moves of G) in , the machine grants permission infinitely many times in B. Intuitions: In the EPM model, the machine has full control over the speed of its adversary --- the latter has to patiently wait for explicit permissions from the machine to make moves. The only fairness condition that the machine is expected to satisfy is that, as long as the adversary plays legal, the machine has to grant permission every once in a while; how long that “while” lasts, however, is totally up to the machine.

Equivalence between HPMs and EPMs 11.5 Of the two models of interactive computation, the HPM model is the basic one, as only it directly accounts for our intuitions that we can not or should not assume any restrictions on the behavior of the environment, including its speed. But a natural question to ask is “What happens if we limit the relative speed of the environment?”. The answer turns out to be as simple as “Nothing”, as long as static games (the very entities that we agree to call computational problems) are concerned. The EPM model takes the idea of limiting the speed of the environment to the extreme, yet, according to the following theorem, it yields the same class of computable problems. Theorem 11.5 For every static constant game G, the following conditions are equivalent: (a) There is an HPM that computes G. (b) There is an EPM that computes G. Moreover, every HPM H can be effectively converted into an EPM E such that E wins every static game that H wins. And vice versa: every EPM E can be effectively converted into an HPM H such that H wins every static game that E wins. This theorem provides additional evidence in favor of Thesis 10.3.a. Even though the EPM model is equivalent to the HPM model, one of the reasons why we still want to have it is that describing winning strategies in terms of EPMs is much easier than in terms of HPMs.

We write ⊧A to mean that A is computable. Main definition 11.6 Throughout the previous episodes we have been abundantly using the terms “algorithmic winning strategy” (or “algorithmic solution”), “computable”, etc. It is time to at last define these most basic terms formally. Definition 11.6 Let G be a computational problem (static constant game). An algorithmic solution, or an algorithmic winning strategy, for G is an HPM or EPM that computes G. And G is said to be computable (winnable) iff it has an algorithmic solution. We write ⊧A to mean that A is computable.