Teorema da Recurso

Teoria da Computao 2010 Mestrado em Cincia da Computao Profa. Sandra de Amo

Auto-referncia

Mquina de Turing SELF

SELF = No input w 1. Apaga w da fita; 2. Insere na fita o string <SELF>

<SELF> = cdigo da mquina SELF

Como construir a mquina SELF

Passo 1 : Mquina Pw
Pw = No input x 1. Ignora x 2. Imprime w na fita

Exemplo : w = 00 Cdigo da mquina P00

(q0,x) = (q1,0,R), para qualquer simbolo x da fita (q1,x) = (q2,0,R), para qualquer simbolo x da fita (q2,x) = (q2,B,R), para x B (q2,B) = (qa,B,R).

Como construir a mquina SELF

Passo 2 : Mquina Q

Mquina de 2 fitas: Q = No input w 1. Constri o string <Pw> na fita 2 2. Apaga w da fita 1 3. Copia <Pw> na fita 1

Input = w Output = <Pw> (cdigo da mquina Pw)

<Pw>

Como construir a mquina SELF

Passo 3 : Mquina B

B = No input <M> 1. Computa Q(<M>) = < P<M>> 2. Imprime na fita < P<M> . M > 3. Pra
< P<M> . M > o cdigo concatenado de < P<M>> e <M> (q0,..) = (q1,...) ........ (q,..) = (qa,..) (q_0, ...) = ... ........ (q,..) = (qa,....) <M> (q0,...)= (q1,...) ... ..... (q,...) = (q_0,...) ........ (q,...) = (qa,...)

<P< M > >

Como construir a mquina SELF

Passo 4 : Mquina A A = P<B> Passo 5 : Mquina SELF SELF = A . B

Mquina SELF = A.B

Input w
a1 a2 a3 a4 a5

A qB0 0 q1 0
R
# q1 0

<B>

...

< A .B >

qA0 0 q4 1

qB0 0 q1 0

q1 0

< P <B> > = <A>

<B>

Teorema da Recurso
Seja T mquina de Turing a duas fitas que recebe como input dois strings : w na primeira fita e u na segunda fita T : (w, u) z

Ento existe mquina de Turing R a uma fita tal que

R(u) = T(<R>, u)

Como atua R ?
Input u = a1 a2 a3 a4 a5

Contri uma rplica de seu prprio cdigo na fita

qBT0 0 q1 0

# q1 0

...

Executa outras aes em cima de seu prprio cdigo e do input u

Caracterstica da Mquina R

Constri uma rplica de seu prprio cdigo. Continua o restante de seu clculo que pode incluir aes envolvendo seu prprio cdigo.

Programas de vrus contm construo anloga descrita na prova do teorema da recurso.

Prova do Teorema da Recurso

Considere a mquina Pw a duas fitas
Pw = No input x Transporta x para a segunda fita Imprime w na primeira fita

1. 2.

Seja A = P <BT> R = A.B.T

Input w

a1 a2 a3 a4 a5

1a fita

< B.T >

qBT0 0 q1 0

# q1 0

...

1a fita

B
1a fita

< A.B.T >

qA0 0 q4 1

qBT0 0 q1 0

q1 0

< P <BT> > = <A>

a1 a2 a3 a4 a5

< B.T >

2a fita

T
LOGO : ABT = T <ABT>

Outra formulao do Teorema da Recurso

Seja T mquina de Turing a duas fitas. Para cada w fixo, seja a mquina de Turing a uma fita Tw : u z Existem infinitas mquinas deste tipo.

O teorema da Recurso afirma que existe uma mquina de Turing R a uma fita tal que T<R> = R