Turing s original paper (1936)
Turing s original paper (1936) There exist problems that cannot be solved mechanically
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines All mechanical computations
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines All mechanical computations ex) 010101
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines All mechanical computations ex) 010101 001011011101111
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines All mechanical computations ex) 010101 001011011101111 addition, copy,
Turing s original paper (1936) There exist problems that cannot be solved mechanically automatic machines All mechanical computations ex) 010101 001011011101111 addition, copy, universal machine
Universal Turing Machine
Can we go beyond TMs? Trials to extend the Turing machines: tay-option Multiple tapes Nondeterminism
TM with a tay-option (Q,,,,q 0,B,F) : Q! Q {L, R, }
TM with a tay-option e.g., (Q,,,,q 0,B,F) : Q! Q {L, R, } (q 0, 0) = (q 1, 1,) B 0 0 0 1 0 B B q0
TM with a tay-option e.g., (Q,,,,q 0,B,F) : Q! Q {L, R, } (q 0, 0) = (q 1, 1,) B 1 0 0 1 0 B B q1
Equivalence A Language is accepted by a TM iff it is accepted by a TM/ Replace (q i,a)=(q j,b,) by (q i,a)=(q k,b,r) (q k,c)=(q j,c,l)
Multitape Turing Machines B 1 0 B B 0 1 B q0
Multitape Turing Machines B 1 0 B B 0 1 B q0 (Q,,,,q 0,B,F) : Q n! Q n {L, R} n
Multitape Turing Machines B 1 0 B B 0 1 B q0 (Q,,,,q 0,B,F) : Q n! Q n {L, R} n! e.g., (q 0, 1, 1) = (q 1, 0, 1,L,R)
Multitape Turing Machines B 0 0 B B 0 1 B q1 (Q,,,,q 0,B,F) : Q n! Q n {L, R} n! e.g., (q 0, 1, 1) = (q 1, 0, 1,L,R)
Equivalence Any MTM can be simulated by a standard TM with multiple tracks B 0 0 B B * B B B 0 1 B B B * B
cf) Efficiency of MTMs MTMs can be more efficient than standard TMs
cf) Efficiency of MTMs MTMs can be more efficient than standard TMs the standard TM. Example Design a multitape Turing machine that accepts L = {a n b n n 1}. { } In standard TM, repeated back-and-forth movements are required. In MTM, copy all a s to tape 2 and then match b s on tape 1 against a s on tape 2
Nondeterministic TMs (Q,,,,q 0,B,F) Q {L,R} : Q! 2 E.g., (q 0,a)={(q 1,b,R), (q 2,c,L)} ANTMacceptsw if there is a sequence s.t. with q f 2 F. till, equivalent. q 0 w ` x 1 q f x 2
cf) Efficiency of NTM The equivalent, deterministic TM is exponentially slower than NTM. Is this exponential slowdown inevitable? Unknown (P = NP?)
Turing machines are very powerful.
Computable problems are what can be solved by Turing machines Turing
Computable problems are what can be solved by Turing machines Turing Computable problems are what can be defined by Lambda calculus Church
Computable problems are what can be solved by Turing machines Turing Turing-Church Thesis Computable problems are what can be defined by Lambda calculus Church
* proof of the existence of incomputable problems:
Halting Problem P X halt / not halt
Halting Problem P X halt / not halt Does such H exist?
Halting Problem P X halt / not halt Does such H exist? No, logically impossible.
uppose such H exists: P X halt / not halt Two simple programs: P P P halt not halt run forever :)
Construct the program:
Construct the program:
Construct the program:
Construct the program: halt
Construct the program: halt run forever
Construct the program: halt not halt run forever
Construct the program: halt not halt run forever :)
ummary Computable problems are what can be solved by Turing machines There exist incomputable problems