Chapter 3: The Church-Turing Thesis

For Your Enjoyment

Chapter 3.2, Variants of Turing Machines


Multitape Turing Machines

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

General Idea


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!