CS5371 Theory of Computation: Lecture 11: Computability Theory II (TM Variants, Church-Turing Thesis)
CS5371 Theory of Computation: Lecture 11: Computability Theory II (TM Variants, Church-Turing Thesis)
Theory of Computation
Lecture 11: Computability Theory II
(TM Variants, Church-Turing Thesis)
Objectives
•Variants of Turing Machine
–With Multiple Tapes
–With Non-deterministic Choice
–With a Printer
•Introduce Church-Turing Thesis
–Definition of Algorithm
Variants of TM
•Similar to the original TM
•One example: TM such that the tape
head can move left, right, or stay
–the class of languages that are
recognized by this new kind of TM
= the class of languages that are
recognized by original TM (Why?)
•There are more variants…
Variant 1: Multi-Tape TM
= blank symbols
0 1 0 1
control a b a b a a
a b a b
0 1 0 1
M a a a
a b a b
# 0* 1 0 1 # a a a* # a b* a b #
= blank symbols
control
a b a b
control printer
= blank symbols
a b a b
M = On input w:
Step 1. Run E. Whenever E wants to print,
compare the string with w.
If they are the same, accept w.
Otherwise, continue to run E.