Download presentation

Presentation is loading. Please wait.

1
Computability and Complexity 3-1 Turing Machine Computability and Complexity Andrei Bulatov

2
Computability and Complexity 3-2 What is a computation? Alan Turing considered this question in 1936 He argued that any computation can be done using the following steps: Concentrate on one part of the problem (for example, one piece of paper, one arithmetic operation, etc.) Depending on this, and present state of the computer: - Modify this part of problem; - Move to another part of problem; - Change into a new state. Repeat this until finished.

3
Computability and Complexity 3-3 Implications If the computation can be described in a finite space, then there can can be only a finite number of different situations to deal with Therefore, there can be only a finite number of “states” and a finite number of “symbols”. But note that the computation might continue forever and never finish, and it might use (potentially) infinite storage space

4
INPUT Computability and Complexity 3-4 000 The Turing Machine

5
Computability and Complexity 3-5 Turing Machine Configuration Tape contains a sequence (infinite to the right) of symbols from an alphabet almost all of the members of this sequence (except for a finite number) are the blank symbol At the first step it contains the input, i.e. the non-blank symbols on the tape constitutes the input Head reads one cell (one symbol on the tape) at the first step it reads the leftmost symbol on the tape Control Device is in one of the states from a finite set of states Q at the first step it is in the initial state

6
Computability and Complexity 3-6 Turing Machine Operation 1.At each step of operation machine is in one of the states, say q (initially state is ) 2.The machine is reading one symbol on tape, say s 3.To execute one step, the machine looks up the value of a transition function ( q, s ), which is, say, ( q’, s’, m ) 4.The machine: changes to state q’ ; overwrites the symbol s with s’ ; moves the head along the tape according to m ( R =Right, L =Left, S =Static). 5.Execution stops when a final state is reached

7
Computability and Complexity 3-7 Turing Machine Definition Definition A Turing Machine is a 6-tuple where 1.Q is a finite set of states 2. is the input alphabet not containing the blank symbol 3. is the tape alphabet, where and 4. is a transition function 5. is the initial state 6.F Q is a set of final states

8
Computability and Complexity 3-8 Question What do the following machines do?

9
Computability and Complexity 3-9 TM Example Let T be the TM : Q = {1,2,3} = {a,b} = { ,a,b} = { ( 1,a ),( 2,a,R ) , ( 1,b ),( 2,b,R ) , ( 1, ),( 2, ,R ) , ( 2,a ),( 3,a,S ) , ( 2,b ),( 2,b,R ) , ( 2, ),( 2, ,R ) } = 1 F = {3}

10
Computability and Complexity 3-10 TM Example Let T be the TM : Q = {a,b,c,d,e} = {0,1} = { ,0,1} = { ( a,0 ),( e,1,L ) , ( c,0 ),( d, ,R ) , ( a,1 ),( a,0,L ) , ( c,1 ),( b, ,R ) , ( a, ),( e,1,S ) , ( c, ),( e, ,S ) , ( b,0 ),( d,1,R ) , ( d,0 ),( d,0,R ) , ( b,1 ),( b,1,R ) , ( d,1 ),( b,0,R ) , ( b, ),( a,1,S ) , ( d, ),( a,0,S ) } = c F = {e}

11
Computability and Complexity 3-11 TM Diagram c e a bd | |S 0 |01|LS 0| |R 1| |R |1|S 0|1|R 1|1|R 1|0|R 0|0|R |0|S 1|0|L

12
Computability and Complexity 3-12 Configurations Configurations: To completely describe a TM in operation we need: The current state The content of the tape The position of the head This information is called the configuration (or global state) Computation: a (possibly infinite) sequence of configurations entered by a TM beginning with an initial configuration Initial configuration: for machine T and input string x consists of: The initial state, The tape starting with x, all other cells blank The head on the leftmost cell

13
Computability and Complexity 3-13 Acceptors and Transducers Acceptor machines: have 2 final states “Accept” ( ) “Reject” ( ) These machines can be used to solve decision problems: input x is accepted by T if T ( x ) is finite and ends in the “Accept” state. Language accepted: set of inputs accepted by T, denoted by L ( T )

14
Computability and Complexity 3-14 INPUT A? R?

15
Computability and Complexity 3-15 Transducer : T computes (partial) function f if computation T(x) halts in a final state with f(x) on the output tape

16
Computability and Complexity 3-16 INPUT H? OUTPU T

17
Computability and Complexity 3-17 Turing’s Thesis “Any function which can be computed by any well-defined procedure can be computed by a Turing Machine” (Also called Church’s Hypothesis, Sequential Computing Hypothesis)

18
Computability and Complexity 3-18 k -tape TM Transition function: Initial configuration : the first tape contains an input the other tapes contain only blank symbols

19
Computability and Complexity 3-19 Nondeterministic TM We can relax the definition of a TM to allow more than one possible transition for any pair q, s of state and symbol This gives a nondeterministic TM (i.e. it has a choice of actions) Nondeterministic computation: a tree of possible configurations resulting from a start configuration For machine NT and input x this is denoted NT(x)

20
Computability and Complexity 3-20 Nondeterministic Acceptor Computation path: is any path (finite or infinite) from the root of NT(x) Accepting computation: is a finite computation path ending in the “Accept” state Language accepted: is the set of inputs x having some accepting computation in NT(x), denoted L (NT).

21
Computability and Complexity 3-21 RR R R R A R Time

22
Computability and Complexity 3-22 Random Access Machines Another model of computation is the Random Access Machine, which has an infinite series of memory locations, where each can contain an arbitrary integer a processor which can perform basic operations, including addition, subtraction, integer division by 2, indirect addressing, conditional goto, and halt a finite program specifying a sequence of basic operations involving the contents of memory locations Theorem Given a RAM, it is possible to derive an equivalent 3-tape deterministic TM

23
Computability and Complexity 3-23 H? 1.READ 1 2.STORE 1 3.STORE 5 4.READ 2 5.STORE 2 6.HALF 7.STORE 3 8.ADD 3 9.SUB 2 10.JZERO 14 11.LOAD 4 12.ADD 5 13.STORE 4 14.LOAD 5 15.ADD 5 16.STORE 5 17.LOAD 3 18.JZERO 20 19.JUMP 5 20.LOAD 4 21.HALT 1 2 3 4 5 6 7 8 9 3556 21

24
Computability and Complexity 3-24 Simulations The following machines can all be simulated by a TM with one tape and alphabet {0,1} TMs with tape infinite in both directions TMs with more than one tape TMs with 2-dimensional tape (or more!) TMs with several read/write heads on each tape Nondeterministic TMs RAM Machines

25
Computability and Complexity 3-25 Other Models The following people also proposed models of general computation*: Post (1936) — “Post’s normal systems” Kleene (1936) — “recursive functions” Church (1941) — “lambda calculus” Markov (1954) — “Markov’s rewriting systems” All of these have been shown to be equivalent to Turing Machines *see “Machine Models and Simulations” in the Handbook of Theoretical Computer Science, MIT Press, 1990

Similar presentations

© 2020 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google