Chapter 3: The Church-Turing Thesis

For Your Enjoyment


Chapter 3.2, Variants of Turing Machines

Variants

Multitape Turing Machines

Theorem 3.13: Every multitape Turing Machine has an equivalent single-tape Turing Machine.

General Idea

Construction

The single-tape Turing Machine simulates the multi-tape Turing Machine as follows until qaccept or qreject is reached.

Active Learning

In-Class Notes


Valid XHTML 1.0!