TOC-Church-Turing Thesis and TM Variants

Church-Turing Thesis

Church-Turing Thesis

Any real-world computation can be translated into an equivalent computation involving a Turing Machine.

Turing Complete

Turing completeness is the study to describe the computability of a computation model, or the expressability of a language.

TM Variants and Equivalence

Stay - Option TM

A stay-option Turing Machine (TM) is the same as a standard TM except that the head can stay on the same tape cell in some transitions. Formally:

Def: Stay - Option TM

A stay-option TM is a 7-tuple , where:

  • Each component is the same as a standard TM except for the transition function:
    Here, represents the "stay" option, allowing the head to remain on the same tape cell.

Equivalence between TM and Stay-Option TM

Simulating a standard TM on a stay-option TM is trivial, as it simply avoids using the "stay" option.

For the inverse (simulating a stay-option TM on a standard TM), we only need to simulate the transitions that stay at a tape cell. This is achieved by introducing an artificial state .

Stay-option TM transition:

Simulated standard TM transitions:

Where represents an arbitrary symbol in (the tape alphabet).

Semi-infinite tape TM

Multitape TM

A multi tape Turing machine is like a standard Turing machine with k tapes for a constant k.

Each tape has its own head for reading and writing.

Initially , the input is on tape 1.

The transition function allows the Turing Machine (TM) to read, write, and move the heads on some or all of the tapes simultaneously. Formally, it is defined as:

The expression

means:

  • : The current state of the TM.
  • : The current tape symbols pointed to by each head.
  • : The new tape symbols written by each head.
  • : The movement direction of each head ( for left, for right, for stay).

2D-tape TM

Nondeterministic TM