Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.

Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.

Like this presentation? Why not share!

6,784 views

Published on

Published in:
Technology

License: CC Attribution-NonCommercial License

No Downloads

Total views

6,784

On SlideShare

0

From Embeds

0

Number of Embeds

2

Shares

0

Downloads

256

Comments

0

Likes

2

No embeds

No notes for slide

- 1. TURING MACHINES AND COMPLEXITY By Mr.Neelamani Samal
- 2. INTRODUCING TURING MACHINES <ul><li>Introduced by Alan Turing in 1936. </li></ul><ul><li>A simple mathematical model of a computer. </li></ul><ul><li>Models the computing capability of a computer. </li></ul>
- 3. THE TURING MACHINE MODEL a 1 a 2 … a i … a n B B … Finite control
- 4. T uring Machine is represented by- M=(Q, ,τ,δ,q0,B,F), Where Q is the finite state of states a set of τ not including B, is the set of input symbols, τ is the finite state of allowable tape symbols, δ is the next move function, a mapping from Q × τ to Q × τ ×{L,R} Q 0 in Q is the start state, B a symbol of τ is the blank, F is the set of final states. Representation of Turing Machine
- 5. TYPES OF TURING MACHINES <ul><ul><li>Two way infinite tape </li></ul></ul><ul><ul><li>Multiple Turing Machines </li></ul></ul><ul><ul><li>Nondeterministic Turing machines </li></ul></ul><ul><ul><li>Multidimensional Turing machines </li></ul></ul><ul><ul><li>Multihead Turing Machines </li></ul></ul><ul><ul><li>Off-line Turing machines </li></ul></ul>
- 6. SIMULATION Theorem- If L is accepted by a two dimensional TM M 2 L is accepted by a one dimensional TM M 1 *BBB a 1 BBB*BB a 2 a 3 a 4 a 5 B* a 6 a 7 a 8 a 9 B a 10 B* a 11 a 12 a 13 B a 14 a 15 *BB a 16 a 17 BBB** simulation of two dimensions by a)Two-dimensional tape b)One dimensional simulation B B B a 1 B B B B B a 2 a 3 a 4 a 5 B a 6 a 7 a 8 a 9 B a 10 B B a 11 a 12 a 13 B a 14 a 15 B B a 17 a 16 B B B
- 7. CHURCH’S HYPOTHESIS The assumption that the intuitive notion of “computable function” can be identified with the class of partial recursive function is known as church’s hypothesis or the church –Turing thesis Example-Random Access Memory…..
- 8. … SIMULATION OF RAM BY TURING MACHINE Contd… Theorem- A Turing machine can simulate a RAM provided that the elementary RAM instructions can themselves be simulated by a TM. The tape looks like- #0*v 0 #1*v 1 #10*v 2 #………I*v i #…… Where v i is the contents in binary, of the ith word.
- 9. Contd … COMPUTATIONAL COMPLEXITY <ul><li>Some useful worst-case complexity classes: </li></ul><ul><li>DTIME(t(n)): languages accepted by a deterministic Turing Machine in time O(t(n)). </li></ul><ul><li>NTIME(t(n)): languages accepted by a nondeterministic Turing Machine in time O(t(n)). </li></ul><ul><li>DSPACE(s(n)): languages accepted by a deterministic Turing Machine in space O(s(n)). </li></ul><ul><li>NSPACE(s(n)): languages accepted by a nondeterministic Turing Machine in space O(s(n)). </li></ul>
- 10. <ul><li>P: union of DTIME(n c ) for all c. Consists of those problems whose worst-case solution time is bounded by some polynomial. </li></ul><ul><li>NP: union of NTIME(n c ) for all c. Consists of problems for which a correct solution can be verified in worst-case time bounded by a polynomial. </li></ul><ul><li>PSPACE: union of DSPACE(n c ) for all c. Consists of those problems whose worst-case solution space is bounded by some polynomial. </li></ul>COMPUTATIONAL COMPLEXITY contd.
- 11. RELATIONS AMONG COMPLEXITY MEASURES <ul><li>If L is in DTIME(f(n)), then L is in DSPACE(f(n)) </li></ul><ul><li>If L is in DSPACE(f(n)) and f(n)>log 2 n, then there is some constant c depending on L such that L is in DTIME(c f(n) ). </li></ul><ul><li>If L is in NTIME(f(n)), then there is some constant c depending on L, such that L is in DTIME(c f(n) ). </li></ul>
- 12. TAPE COMPRESSION Theorem- If L is accepted by S(n) space-bounded Turing machine with k storage tapes, then for any c>0, L is accepted by a cS(n) space bounded TM. Corollary- If L is in NSPACE(S(n)), then L is in NSPACE(cS(n)), where c is any constant greater than zero.
- 13. LINEAR SPEED UP Theorem- If L is accepted by a k-tape T(n) time bounded Turing machine M 1 , then L is accepted by a k-tape cT(n) time-bounded TM M 2 for any c>0, provided that k>1 and inf n->∞ T(n)/ n->∞. Corollary- If inf n->∞ T(n)/ n=∞. And c>0, then DTIME(T(n))=DTIME(cT(n)).
- 14. THE UNION THEOREM Theorem- Let {f i (n)|i=1,2,.................} be a recursively enumerable collection of recursive functions. That is there is a TM that enumerates a list of TM’s, the first computing f 1 , the second computing f 2 and so on. Also assume that for each i and n, f i (n)<f i+1 (n). Then there exists a recursive S(n) such that DSPACE(S(n))=U i>1 DSPACE(f i (n)).
- 15. CONCLUSION <ul><li>The Turing Machine is the most comprehensive, deep, and accessible model of computation extant, and its associated theories allow many ideas involving "complexity" to be profitably discussed. </li></ul>
- 16. THANK YOU !!

No public clipboards found for this slide

×
### Save the most important slides with Clipping

Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.

Be the first to comment