11-14-2008 Turing Machine

Structure and Operational Functionality 1. History 2. Structure and Definition 3. Samples 1. History 4. Varieties 5. Computability 6. References

Sören Wellhöfer

Time frame:
  Reduction of all math to fundamental logic Arithmetic computations by means of automatic formal system Proof of the possibility of a symbol-processing machine operating on formal system All computations according to rules logically feasible (Turing-computability) Fundamental for computer science as Turing Machines provide theoretical grounding for any modern algorithm

  →

Turing's achievements presented in his 1936 paper:

2. Structure and Definition Def.: A Turing machine is a class of finite state machines, meaning that at any time it is in any one of a finite number of states. Operational     Infinite one-dimensional tape of cells (containing b) Read/Write Head, initially in state s0 over single cell Head reads current cell symbol, acts according to δ Instruction (5-tuple): when in state si reading symbol aj ; write new symbol aj1 ; move into direction dk k ∈{L,R } and change head's state to si1 TM has unlimited storage and time to finish computation

instructions consist of conditions under which the machine transitions between states until a final configuration is reached, that is, the computation is finished.

M=〈 S, Γ , b , Σ , δ , s0 , F 〉 S .. . set of states s 0 ∈S .. . initial state Γ . .. set of symbols b∈Γ . . . blank symbol F⊆Q . . . set of final states
Σ⊆  ∖{ b } . . . input symbols

δ : S ×Γ × { L, R } is the transition function Quintuple instruction of δ: s i a j  si1 a j1 d k

3. Samples



a j1 si





I. Unary number addition machine:
S= { 0,1,HALT } ; s =0; Γ= { B,X,+ } ; b= B; F= { HALT } ; Σ= { X,+ }

II. Complement machine:
S= { 0,HALT } ; s =0; Γ= { B, 0,1 } ; b= B; F= { HALT } ; Σ= { 0,1 }

a j= X a j = a j=B

s i =0 s i1=0; a j1=X; d k =R s i1=0; a j1=X; d k =R s i1=1; a j1=B; d k =L

s i =1 s i1=HALT; a j1=B; d k =R

a j =0 a j =1 a j= B

s i =0 s i1=0; a j1=1; d k =R s i1=0; a j1=0; d k =R s i1=HALT; a j1=B; d k =R

4. Varieties  Provably equivalent variations: arbitrary/no head movement; multiple heads; two-way infinite tape; two-dimensional tape; nondeterministic Turing-Machines; etc.  4-tuple representation as a state digram (see figure):
a s  s d d... action: either write a symbol or move right/left i i1

Universal Turing Machine (UTM):  Action table δ of other Turing Machines can be encoded on tape  UTM can simulate other TMs: similar to von Neumann architecture  A machine is said to be Turing-complete when able to act as UTM Instantaneous description of a computation by three facts: current state, symbols on tape, cell where head is over
State diagram: Get successor of unary number represented by 1s

5. Computability  Any number is Turing-computable if there exists a TM being able to compute an arbitrarily precise approximation  Algebraic functions are Turing-computable if there exists a TM being able to to compute them  Decision/Halting problem: No general way to determine whether any arbitrary algorithm A with a specific input I will halt eventually → h(A, I) said to be be incomputable  “Busy beaver” function Σ(n), defined as maximum number computable by an n-state TM, is incomputable 6. References http://www.intelligentedu.com/turing_machines_examples.html, Turing Machines: Examples, Jaime Soffer, 2005 http://plato.stanford.edu/entries/turing-machine, Turing Machines, Stanford Encyclopedia of Philosophy, D. Barker-Plummer, 2004 The Universal Turing Machine: A Half-Century Survey, R. Herken, New York: Oxford University Press, 1988 http://en.wikipedia.org/wiki, Turing Machine, Busy Beaver, Computability, Turing-completeness, Entscheidungsproblem 11-03-2008

Sign up to vote on this title
UsefulNot useful