Capitulo5 Cop

Captulo 5: Decidibilidade
Newton Jose Vieira

Departamento de Ciencia da Computa cao
Universidade Federal de Minas Gerais
1 de outubro de 2010
Newton Jose Vieira Captulo 5: Decidibilidade
Sumario
1 A Tese de Church-Turing
Sumario
2 Maquinas de Turing e Problemas de Decisao
Sumario
3 Uma Maquina de Turing Universal
Sumario
4 O Problema da Parada
Sumario
5 Reducao de um Problema a Outro
Sumario
5 Reducao de um Problema a Outro
6 Alguns Problemas Indecidveis Sobre GLCs
A Tese de Church-Turing
Maquinas de Turing e Problemas de Decisao
Uma Maquina de Turing Universal
O Problema da Parada
Redu cao de um Problema a Outro
Alguns Problemas Indecidveis Sobre GLCs
Computacao efetiva e formalizacao
As MTs podem ser usadas para:
reconhecimento de linguagens (resolver PDs);
computacao de func oes em geral.
Computacao efetiva tem como caractersticas:
a possibilidade de execu cao mecanica;
produ cao da mesma sada para as mesmas entradas;
execucao em tempo nito; etc.
Formalizando computa cao efetiva, e possvel mostrar que:
um problema e computavel (ou decidvel, se for PD);
um problema e nao computavel (ou indecidvel, se for PD).
Alguns formalismos
Formalismos igualmente expressivos:
maquinas de Turing;
sistemas de Post;
fun coes -recursivas;
-calculo;
maquinas abstratas associadas a linguagens de programacao,
como Java, C, Pascal.
Observacoes:
MT e um dos mais aderentes aos computadores digitais.
Computacao: o que ha de comum entre os formalismos.
Cada formalismo, uma abordagem para computa cao.
A tese de Church-Turing
Tese de Church-Turing
Se uma fun cao e efetivamente computavel, entao ela e computavel
por meio de uma maquina de Turing.
(Ou: todo algoritmo pode ser expresso mediante uma MT.)
Como os formalismos sao equivalentes, da tese de Church-Turing
segue-se que:
se uma fun cao e efetivamente computavel, entao ela e
computavel por meio de um programa escrito na linguagem C
etc. . .
A tese de Church-Turing para PDs
Tese de Church-Turing para PD
Se um problema de decisao tem solucao, entao existe uma MT que
o soluciona.
Auto-referencia
Auto-referencia: algoritmo recebe outro como entrada.
Uma MT pode receber uma MT como entrada.
Um programa pode receber um programa como entrada.
Maquina universal: uma MT (ou programa) que simula uma
MT (programa) qualquer suprida como argumento.
Auto-referencia levou `a descoberta de func oes nao computaveis:
Nao existe MT que determine se uma MT arbitraria para ou
nao para certa entrada.
Nao existe programa em C que determine se um programa em
C para ou nao para certa entrada.
Varios outros problemas que envolvem o processamento de
MTs (programas) por MTs (programas) sao insol uveis.
Necessidade de uma representacao
Solu cao de um PD P: algoritmo (MT) que da a resposta
correta para cada instancia p P.
MT M
P
que soluciona P: reconhece a linguagem constituda
de todas as instancias p P para as quais a resposta e sim.
Logo: P e decidvel sse a linguagem constituda de todas as
instancias p P para as quais a resposta e sim e recursiva.
Primeiro passo para construir M
P
: projetar uma
representacao para as instancias de P.
Exemplo de representa cao
PD: determinar se um n umero natural n e primo.
Duas representa c oes para a instancia determinar se j e primo:
a) Alfabeto 1: 1
j
.
b) Alfabeto 0, 1: n umero j na base 2.
( nao representa n umero algum.)
Notacao
Seja uma instancia p P cujos valores para os n parametros sejam
v
1
, v
2
,. . . ,v
n
.
Rv
1
, v
2
, . . . , v
n
: palavra que represente a instancia p.
Representacao esquematica de uma MT M que soluciona P:
Rv
1
, v
2
, . . . , v
n
-
M
-
sim
-
nao
Para simplicar: a entrada esta no formato Rv
1
, v
2
, . . . , v
n
.
Exemplo
Problema: determinar se uma GLC G gera uma palavra w.
Representacao das instancias usando = 0, 1, sendo
G = (V, , R, P), V = X
1
, X
2
, . . . , X
n
e = a
1
, a
2
, . . . , a
k
.
Variavel: RX
i
= 1
i
; P = X
1
.
Terminal: Ra
j
= 1
n+j
.
Regra:
RX A
1
A
2
. . . A
p
= RX0RA
1
0RA
2
0 . . . RA
p
.
Regras: Rr
1
, r
2
, . . . , r
q
= Rr
1
00r
2
00 . . . Rr
q
.
Gramatica: RG = 1
n
01
k
0Rr
1
, . . . r
q
.
Instancia: RG, w = RG000Rw.
Exemplo/Esquema da MT solucao
Representacao esquematica da MT que soluciona o problema:
RG, w
-
M
-
w L(G)
sim
-
w , L(G)
nao
O PD tem solucao sse a linguagem RG, w [ w L(G) e
recursiva.
Uma representacao para MTs
Seja M = (E, , , , , , i , F), E = e
1
, . . . , e
n
e
= a
1
, . . . , a
k
.
Suponha que e
1
= i , a
1
= , a
2
= .
Representacoes dos estados e smbolos do alfabeto:
Estado Representa cao Smbolo de Representa cao
e
1
= i 1 a
1
= 1
e
2
11 a
2
= 11
.
.
.
.
.
.
.
.
.
.
.
.
e
n
1
n
a
k
1
k
Uma representacao para MTs (cont.)
Direcao: RD = 1, RE = 11.
Supondo F = f
1
, f
2
, . . . , f
p
:
RF = Rf
1
0Rf
2
0 Rf
p
;
R(e
i
, a
j
) = [e
i
, a
j
, d] = Re
i
0Ra
j
0Re
i
0Ra
j
0Rd.
Sendo t
1
, t
2
, . . . , t
s
as transicoes de M, uma representa cao de M e:
RM = RF00Rt
1
00Rt
2
00 Rt
s
.
Representacao para MTs/exemplo
M = (0, 1, a, b, , , a, b, , , , 0, 0, 1) com contendo:
t
1
: (0, a) = [1, a, D]
t
2
: (1, b) = [0, b, E].
Representacao para M:
Estados: R0 = 1, R1 = 11.
Smbolos: R = 1, R = 11, Ra = 111, Rb = 1111.
Direcao: RD = 1, RE = 11.
Representacao para MTs/exemplo (cont.)
Transi cao 1: Rt
1
= R00Ra0R10Ra0RD
= 10111011011101.
Transi cao 2: Rt
2
= R10Rb0R00Rb0RE
= 11011110101111011.
Estados nais: RF = 1011.
RM = RF00Rt
1
00Rt
2
= 101100101110110111010011011110101111011.
Maquina de Turing universal
copie Rw na ta 2, Ri na ta 3 e posicione cabe cotes no incio;
ciclo
seja Ra a representa cao sob o cabecote da ta 2;
seja Re a representa cao sob o cabecote da ta 3;
procure Re0Ra0Re
0Ra
0Rd na ta 1;
se encontrou entao
substitua Re por Re
na ta 3
e volte cabe cote da ta 3 ao seu incio;
substitua Ra por Ra
na ta 2;
mova cabe cote da ta 2 na dire cao d
senao
se e e estado nal entao
pare em estado nal
senao
pare em estado nao nal
mse
mse
mciclo.
Maquina de Turing universal
A MT U aceita a linguagem
L(U) = RM, w [ w L(M).
Se o reconhecimento for por parada, tem-se duas simplica c oes:
estados nais estarao ausentes de RM, w;
apos o primeiro senao: pare em estado nal.
Chamando-se essa nova MT de U
P
:
U
P
aceita w se, e somente se, M para se a entrada e w,
ou seja,
L(U
P
) = RM, w [ M para se a entrada e w.
O problema da parada para maquinas de Turing
Problema da parada para MTs
Dadas uma MT arbitraria M e uma palavra arbitraria w,
determinar se a computacao de M com a entrada w para.
L(U
P
) e LRE, pois existe a MT universal U
P
.
Sera mostrado que o problema da parada e indecidvel.
Logo, nao existe uma MT que sempre pare e que seja
equivalente a U
P
.
Ou seja, L(U
P
) e LRE, mas nao e recursiva.
Ainda: L(U
P
) nao e LRE. (Por que?)
O problema da parada e indecidvel
Suponha que o problema seja decidvel, e seja uma MT P que
solucionasse o problema:
RM, w
-
P
-
M para se a entrada for w
sim
-
M nao para se a entrada for w
nao
O problema da parada e indecidvel (cont.)
A partir da MT P seria possvel construir a MT P
:
RM, w
-
P
-
M para se a entrada for w
loop
-
M nao para se a entrada for w
para
P
e tal que:
P
entra em loop se, e somente se, M para se a entrada e w.

O problema da parada e indecidvel (cont.)
Pode-se obter a MT D de 1 parametro, RM, tal que:
1
D obtem RM, RM.
2
D age como P
sobre essa palavra.

RM
-
D
-
M para se a entrada for RM
loop
-
M nao para se a entrada for RM
para
Se RD for submetida como entrada para a MT D:
D para se a entrada for RD
se, e somente se,
D nao para se a entrada for RD.
O problema da parada e indecidvel/diagonaliza cao
O conjunto das MTs pode ser enumerado:
RM
0
, RM
1
, RM
2
, . . .
Considerando-se a MT D, tem-se para todo i 0:
D para se a entrada e RM
i
se, e somente se,

M
i
nao para se a entrada for RM
i
Como D e uma MT, existe k tal que D = M

k
. Segue-se que:
M
k
para se a entrada e RM
k
se, e somente se,

M
k
nao para se a entrada for RM
k
!!!
Problema da parada para linguagens de alto nvel
O problema da parada para as linguagens de programa cao
procedurais comuns e indecidvel.
1
Suponha que exista a fun cao P tal que: P(x, w) retorna
verdadeiro se, e somente se, o procedimento de texto x para
se sua entrada (tambem texto) e w.
2
Entao pode-se construir o procedimento:
procedimento D(x):
enquanto P(x, x) fa ca
menquanto
m D.
Seja T esse texto do procedimento D.
3
Entao: D(T) para se, e somente se, D(T) nao para.
Algumas consequencias da indecidibilidade do problema da
parada
Seja L
P
= RM, w [ M para se a entrada for w.
Tem-se:
A linguagem L
P
nao e recursiva.
Como L
P
e LRE (pois L
P
= L(U
P
)):
O problema da parada e semi-decidvel.
O conjunto das linguagens recursivas e subconjunto pr oprio do
conjunto das LREs.
A linguagem L
P
nao e LRE. (Por que?)
Reducao de um problema a outro
Um PD P e redutvel a um PD Q, se existe um algoritmo ! que,
recebendo x como entrada, produz um resultado y tal que a
resposta de P para a entrada x seja identica ou complementar `a
resposta de Q para a entrada y, qualquer que seja a entrada x.
Solucao de P usando-se ! e uma MT para Q:
MT para P
x
-
!
-
y
-
MT para Q
-
nao
-
sim
Reducao e decidibilildade
Como provar que um PD e decidvel ou indecidvel usando redu cao?
Se P for redutvel a um problema decidvel, entao P sera
decidvel.
Se um problema indecidvel for redutvel a P, entao P sera
indecidvel.
Por outro lado:
Se P pode ser reduzido a um problema indecidvel, P pode ser
decidvel ou nao.
Se um problema decidvel pode ser reduzido a P, P pode ser
decidvel ou nao.
Reducao para mostrar que um PD e decidvel/Exemplo
Problema: determinar se w L(r ), em que r e uma expressao
regular arbitraria.
Decidvel: pode ser reduzido ao de determinar se w L(M),
em que M e um AFD arbitrario.
Reducao !: MT que constroi um AFD M
r
a partir de ER r :
Rr , w
-
!
-
RM
r
, w
tal que w L(M
r
) se, e somente se, w L(r ).
O problema da ta em branco
Problema: Determinar se L(M) para uma MT M.
Indecidvel:
o problema da parada pode ser reduzido a este.
Reducao: MT ! que constr oi uma MT M
a partir da MT M e
entrada w:
RM, w
-
!
-
RM
tal que M para se entrada e w sse M
para se entrada e .
O problema da ta em branco (reducao)
A MT ! produz RM
, a partir de RM, w, de forma que:

1
M
escreve w;
2
M
volta o cabecote para o incio da ta;

3
M
se comporta como M.
Com isso, tem-se que:
M para se a entrada e w sse M
para se a entrada e .
Um outro problema indecidvel
Problema: Determinar se w L(G), para uma GI G e w
.
Indecidvel:
o problema da parada pode ser reduzido a este.
Reducao: MT ! que constr oi uma MT G a partir da MT M:
RM, w
-
!
-
RG, w
tal que M para se a entrada for w se, e somente se, G gera w.
Uma suposicao daqui para frente
Daqui para frente, o criterio de reconhecimento e o de parada:
A MT M para se sua entrada e w sse w L(M).
Logo, L(M) sera o mesmo que L
P
(M).
Uma classe de problemas indecidveis
Propriedade trivial
Uma propriedade P de LREs e trivial se for satisfeita por toda LRE
ou por nenhuma.
Todo problema do tipo:
determinar, para uma MT M, se L(M) satisfaz a
propriedade P
em que P e nao trivial e indecidvel.
Tal PD e decidvel sse RM [ L(M) satisfaz P e recursiva.
Uma classe de problemas indecidveis/exemplo
O problema da ta em branco:
determinar se L(M)
envolve uma propriedade nao trivial: L(M). Logo, ele e
indecidvel.
Outros PDs com propriedades nao triviais:
Determinar se L(M) contem alguma palavra.
Determinar se L(M) contem todas as palavras em
.
Determinar se L(M) e nita.
Determinar se L(M) e regular.
Determinar se L(M) contem palavra comecada com 0.
Outro exemplo usando reducao
Determinar se L(M) ,= para uma MT arbitraria.
O problema da parada sera reduzido a este. A MT redutora produz
RM
, a partir de RM, w, de forma que:

1
M
apaga a entrada;
2
M
escreve w;
3
M
volta o cabecote para o incio da ta;

4
M
se comporta como M.
Com isto, tem-se que:
M para se a entrada e w sse M
para com alguma entrada.

O Teorema de Rice
Teorema de Rice
Se P e uma propriedade nao trivial de LREs, entao
RM [ L(M) satisfaz P nao e recursiva.
Seja P uma propriedade nao trivial.
Caso 1: nao satisfaz P.
Seja uma MT M
X
tal que L(M
X
) satisfaz P.
(M
X
existe pois P e nao trivial, e L(M
X
) ,= ).
O problema da parada pode ser reduzido ao de se determinar se
L(M
) satisfaz P, como a seguir

O Teorema de Rice (cont.)
O problema da parada pode ser reduzido ao de determinar se
L(M
) satisfaz P produzindo-se RM
a partir de RM, w, onde:

1
M
escreve w na ta ap os sua entrada para; suponha que a

ta que assim: x[w . . .;
2
M
se comporta como M sobre [w . . .;

3
na situacao em que M para, M
se comporta como M
X
sobre
x . . ..
Entao
L(M
) satisfaz P se, e somente se, M para com entrada w,

como explicado a seguir.
O Teorema de Rice (cont.)
L(M
) satisfaz P se, e somente se, M para com entrada w,

pois:
Se M para com entrada w, L(M
) = L(M
X
); portanto, L(M
)
satisfaz P.
Se M nao para com entrada w, L(M
) = ; dada a suposi cao

inicial desse caso, L(M
) nao satisfaz P.
Dessa forma, conclui-se que o problema de se determinar se L(M)
satisfaz P, para MTs arbitrarias M, e indecidvel, ou seja,
RM [ L(M) satisfaz P nao e recursiva.
O teorema de Rice (cont.)
Caso 2: satisfaz P.
Nesse caso, nao satisfaz P. E como P nao e trivial, P
tambem nao e trivial. Pela argumentacao do caso 1,
RM [ L(M) satisfaz P nao e recursiva. Como essa linguagem
e o complemento de RM [ L(M) satisfaz P e as linguagens
recursivas sao fechadas sob complementacao, segue-se que a
linguagem RM [ L(M) satisfaz P nao e recursiva.
O problema da correspondencia de Post
Sistema de correspondencia de Post
Um sistema de correpondencia de Post (SCP) e um par (, P), em
que P e uma sequencia nita de pares (x, y), para x, y
+
.
Seja um SCP S = (, [(x
1
, y
1
), (x
2
, y
2
), . . . , (x
n
, y
n
)]).
Uma solu cao para S e uma sequencia i
1
, i
2
, . . . , i
k
tal que
x
i
1
x
i
2
. . . x
i
k
= y
i
1
y
i
2
. . . y
i
k
,
em que 1 i
j
n para 1 j k.
Exemplo de sistema de correspondencia de Post
Um SCP: (0, 1, [(10, 0), (0, 010), (01, 11)]).
Solucao: 2131, pois 0 10 01 10 = 010 0 11 0.
Para maior clareza, pode ser conveniente apresentar cada par
(x
i
, y
i
) na forma
x
i
y
i
. Nesse caso, a solu cao seria apresentada assim:
0
010
10
0
01
11
10
0
.
Alem destas, quaisquer quantidades de justaposic oes da seq uencia
anterior formam soluc oes: 21312131, 213121312131 etc.
O problema da correpondencia de Post
O problema da correspondencia de Post (PCP), e:
determinar se um SCP arbitrario tem solucao.
Sera demonstrado que esse problema e indecidvel em dois passos:
1
o PCP modicado (PCPM), sera reduzido ao PCP;
2
o problema da parada sera reduzido ao PCPM.
As reducoes a serem feitas:
parada PCPM PCP
RM, w
-
!
-
RS
-
!
-
RS

O problema da correpondencia de Post modicado
O problema da correspondencia de Post modicado (PCPM):
determinar se um SCP arbitrario tem solucao iniciada
com 1.
Exemplos:
O SCP (0, 1, [(0, 010), (10, 0), (01, 11)]) tem solu cao: 1232.
O SCP (0, 1, [(10, 0), (0, 010), (01, 11)]) nao tem solucao.
Reducao do PCPM ao PCP
Seja um SCP S = (, P) com P = [(x
1
, y
1
), (x
2
, y
2
), . . . , (x
n
, y
n
)].
Seja um smbolo nao pertencente a , e sejam:
x
i
o resultado de colocar apos cada smbolo de x
i
. Por
exemplo, se x
i
= 11010, entao x
i
= 1 1 0 1 0.
y
i
o resultado de colocar antes de cada smbolo de y
i
.
Por exemplo, se y
i
= 0100, entao y
i
= 0 1 0 0.
Seja o SCP S
= ( , #, P
), sendo P
constitudo por:
(x
1
, y
1
) (a ser o primeiro par de uma solucao);
(x
i
, y
i
) para 1 i n; e
(#, #).
Entao: S apresenta solu cao come cada com (x
1
, y
1
) se,
e somente se, S
tem solucao.
Reducao do problema da parada ao PCPM: a ideia
A ideia: construir S de forma que, havendo uma solu cao para S,
x
1
y
1
x
i
2
y
i
2

x
i
k
y
i
k
,
x
1
x
i
2
x
i
k
represente a computacao de M para a entrada w. A
solucao deve existir somente se M parar quando a entrada for w.
Reducao do problema da parada ao PCPM
Seja uma MT M = (E, , , , , , i ) e uma palavra w
. Seja
o SCP S = (, P) em que:
= E , #;
o primeiro elemento de P e (, iw);
os pares restantes de P sao:
a) (c, c), para cada c ;
(, ).
b) Para cada a, b e e, e
E:
(ea, be
), se (e, a) = [e
, b, D];
(e, be
), se (e, ) = [e
, b, D];
(cea, e
cb), se (e, a) = [e
, b, E], para cada c ;

(ce, e
cb), se (e, ) = [e
, b, E], para cada c .

Reducao do problema da parada ao PCPM
c) (ea, #), se (e, a) e indenido, para cada e E e a ;
(e, #), se (e, ) e indenido, para cada e E.
d) (c#, #) para cada c ;
(#c, #) para cada c .
e) (#, ).
Entao: M para se a entrada e w se,
e somente se, S tem solucao iniciada com (, iw).
Duas gramaticas obtidas a partir de um SCP
Seja um SCP S = (, (x
1
, y
1
), . . . , (x
n
, y
n
)).
Sejam n smbolos distintos s
1
, . . . , s
n
, nenhum deles em .
Duas GLCs:
G
x
= (P
x
, s
1
, s
2
, . . . , s
n
, R
x
, P
x
), onde R
x
consta das
2n regras:
P
x
x
i
P
x
s
i
, para cada 1 i n, e
P
x
x
i
s
i
, para cada 1 i n.
G
y
= (P
y
, s
1
, s
2
, . . . , s
n
, R
y
, P
y
), onde R
y
consta das
2n regras:
P
y
y
i
P
y
s
i
, para cada 1 i n, e
P
y
y
i
s
i
, para cada 1 i n.
Relacao entre o SCP S e as GLCs G
x
e G
y
Se i
1
i
2
. . . i
k
e uma solucao de S, entao
P
x
x
i
1
x
i
2
. . . x
i
k
s
i
k
. . . s
i
2
s
i
1
e P
y
y
i
1
y
i
2
. . . y
i
k
s
i
k
. . . s
i
2
s
i
1
e x
i
1
x
i
2
. . . x
i
k
= y
i
1
y
i
2
. . . y
i
k
.
e vice-versa. Conclui-se, entao, que:
S tem solucao se, e somente se, L(G
x
) L(G
y
) ,= .
Problema indecidvel sobre GLCs
Nao existe algoritmo para determinar se as linguagens de duas
GLCs sao disjuntas.
O PCP pode ser reduzido a este construindo-se G
x
e G
y
:
RS
-
!
-
RG
x
, G
y
pois S tem solucao sse L(G

x
) L(G
y
) ,= .
Outro problema indecidvel sobre GLCs
Obs: existem GLCs para L(G
x
) e L(G
y
)
Nao existe algoritmo para determinar se L(G) =
.
O PCP pode ser reduzido a este, construindo-se uma GLC para
L(G
x
) L(G
y
), pois:
L(G
x
) L(G
y
) =
se, e somente se, S nao tem solu cao,

pois:
L(G
x
) L(G
y
) =
L(G
x
) L(G
y
) =
L(G
x
) L(G
y
) =
S nao tem solu cao.
Mais um problema indecidvel sobre GLCs
Nao existe algoritmo para determinar se uma GLC e ambgua.
O PCP pode ser reduzido a este obtendo-se a partir de um SCP S:
G = (P, P
x
, P
y
, s
1
, s
2
, . . . , s
n
, R
x
R
y
P P
x
, P P
y
, P)
pois:
G e ambgua se, e somente se, L(G
x
) L(G
y
) ,= .

Capitulo5 Cop

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Capitulo5 Cop

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 5: Decidibilidade

Newton Jose Vieira

entra em loop se, e somente se, M para se a entrada e w.

sobre essa palavra.

se, e somente se,

Como D e uma MT, existe k tal que D = M

se, e somente se,

tal que M para se entrada e w sse M

, a partir de RM, w, de forma que:

volta o cabecote para o incio da ta;

, a partir de RM, w, de forma que:

volta o cabecote para o incio da ta;

para com alguma entrada.

) satisfaz P, como a seguir

a partir de RM, w, onde:

escreve w na ta ap os sua entrada para; suponha que a

se comporta como M sobre [w . . .;

) satisfaz P se, e somente se, M para com entrada w,

) satisfaz P se, e somente se, M para com entrada w,

) = ; dada a suposi cao

Newton Jose Vieira Captulo 5: Decidibilidade

, b, E], para cada c ;

, b, E], para cada c .

pois S tem solucao sse L(G

se, e somente se, S nao tem solu cao,

Você também pode gostar