' &

Redutibilidade

Apresentamos diversos exemplos de problemas decid veis e um unico exemplo de problema indecid vel: AT M Examinaremos agora outros exemplos de problemas indecid veis e um novo metodo fundamental para prova de indecidibilidade:

redutibilidade

Uma reduc~o e uma forma de converter um problema A em outro a B , de modo que uma soluc~o de B possa ser usada para resolver A a Se A reduz para B , e B e decid vel, ent~o A e decid vel a Se A reduz para B , e A e indecid vel, ent~o B e indecid vel a
1

' &

Problemas indecid veis

HALTT M = fhM; wi j M para quando executada com a entrada wg Teorema: HALTT M e indecid vel Prova - Suponha que HALTT M e decid vel. Ent~o mostraremos que a AT M e decid vel, contrariando o resultado obtido anteriormente. AT M pode ser reduzido para HALTT M : seja R uma MT que decide HALTT M ; usando R, constru mos a seguinte MT S que decide AT M : M = Entrada: hM; wi, onde M e uma MT e w e um string 1. Executa R sobre a entrada hM; wi 2. Se R rejeita, ent~o rejeita a 3. Se R aceita, ent~o simula a execuc~o de M com entrada w, a a ate que M pare 4. Se M aceita w, aceita; se M rejeita w, rejeita
2

' &

Problemas indecid veis

ET M = fhM i j M e uma MT e L(M ) = ;g

Prova - Suponha que ET M e decid vel. Ent~o mostraremos que AT M e a decid vel - uma contradic~o. a Seja R uma MT que decide ET M . Usando R, construiremos uma MT S que decide AT M . Uma ideia seria S executar R sobre a entrada hM i e tentar usar esse resultado para decidir AT M . Mas isso n~o da certo... a Ao inves de executar R sobre hM i, a ideia e executar R sobre uma modi cac~o de hM i: modi camos M de modo a garantir que M rejeita a qualquer string, exceto w. Ent~o, usamos R para testar se essa maquina a modi cada reconhece a linguagem vazia
3

Teorema: ET M e indecid vel

' &

...Problemas indecid veis

A maquina modi cada M 0 , obtida a partir de M e: M 0 = Entrada: string x 1. Se x 6= w, ent~o rejeita a 2. Se x = w executa M com entrada x e aceita, se M aceita A maquina S que decide AT M , constru da usando R e: S = Entrada: hM; wi, onde M e uma MT e w e um string 1. Usa a descric~o de M para construir a TM M 0 a como descrito acima 2. Executa R sobre a entrada hM 0 i 3. Se R aceita, ent~o rejeita; se R rejeita, ent~o aceita a a
4

' &

...Problemas indecid veis

REGULART M = fhM i j M e uma MT e L(M ) e uma ling. regular g Teorema: ET M e indecid vel Prova - Suponha que ET M e decid vel por uma MT R. Usaremos essa suposic~o para construir uma MT S que decide AT M - uma contradic~o. a a A ideia para construir uma MT S , tal que, dada uma entrada hM; wi, modi ca M de modo que a maquina resultante M 0 reconhece uma linguagem regular se, e somente se, M reconhece w. Vamos projetar M 0 para reconhecer a ling. n~o regular f0n 1n j n 0g, a se M n~o aceita w, e reconhecer a linguagem regular ? , se M aceita w. a Ou seja, M 0 aceita automaticamente qualquer string da forma 0n 1n e aceita todos os demais strings, se M aceita w
5

' &

...Problemas indecid veis

A maquina S que decide AT M , constru da usando R e: S = Entrada: hM; wi, onde M e uma MT e w e um string 1. Constroi a seguinte MT M 0 : M 0 = Entrada: string x 1. Se x tem a forma 0n 1n , aceita 2. Se x n~o tem essa forma, ent~o a a executa M sobre a entrada w e aceita, se M aceita w 2. Executa R sobre a entrada hM 0 i 3. Se R aceita, ent~o aceita; se R rejeita, ent~o rejeita a a
6

' &

Teorema de Rice

Outros problemas similares tambem s~o indecid veis: a

{ Testar se a ling. reconhecida por uma MT e livre de contexto { Testar se a linguagem reconhecida por uma MT e decid vel { Testar se a linguagem reconhecida por uma MT e nita
De fato, pode-se provar o seguinte resultado geral

de linguagens reconhecidas por maquinas de Turing e indecid vel

Teorema de Rice: Todo teste de qualquer propriedade (n~o trivial) a

'
...Teorema de Rice
Teorema de Rice: Seja P um problema sobre MTs que satisfaz as
seguintes propriedades: a. Para quaiquer MTs M1 e M2 , onde L(M1 ) = L(M2 ), temos que hM1 i 2 P se, e somente se, hM2 i 2 P . Em outras palavras, M 2 P dependendo apenas da lingugem reconhecida por M

&

b. Existem M1 e M2 tais que hM1 i 2 P e hM2 i 62 P . Em outras palavras, P n~o e trivial { P 6= ; e P 6= a

Temos que P e indecid vel

'
...Teorema de Rice
Prova - Suponha que ET M e decid vel por uma MT R. Usaremos essa suposic~o para construir uma MT S que decide AT M - uma contradic~o. a a Seja M1 uma MT tal que hM1 i 2 P e M2 uma MT tal que hM2 i 62 P . A ideia de usar a MT R para construir uma S que decide AT M e a seguinte: dada uma MT M como entrada, modi camos M , de modo a obter uma MT correspondente M 0 tal que, M 0 se comporta como M1 , se M aceita w, e se comporta como M2 , caso contrario. Assim, o problema de decidir se M aceita w se reduz ao problema de decidir se hM 0 i 2 P .

&

' &

...Teorema de Rice

A maquina S que decide AT M , constru da usando R e: S = Entrada: hM; wi, onde M e uma MT e w e um string 1. Constroi a seguinte MT M 0 : M 0 = Entrada: string w 1. Executa M e M2 sobre w, em paralelo, ate que M e M2 parem 2. Se M aceita w, ent~o executa M1 sobre w; a se M1 aceita, aceita; se M1 rejeita, rejeita 3. Se M rejeita w ent~o a se M2 aceita, aceita; se M2 rejeita, rejeita 2. Executa R sobre a entrada hM 0 i 3. Se R aceita, ent~o aceita; se R rejeita, ent~o rejeita a a
10

' &

...mais problemas indecid veis

EQT M = fhM1 ; M2 i j M1 e M2 s~o TMs e L(M1 ) = L(M2 ) g a Teorema: EQT M e indecid vel Prova - Suponha que EQT M e decid vel por uma MT R. Usaremos essa suposic~o para construir uma MT S que decide ET M - uma contradic~o. a a A ideia e simples: EQT M se reduz a ET M , caso M1 (ou M2 ) seja uma MT que reconhece a linguagem ; { ET M e um caso especial de EQT M . S = Entrada: hM i, onde M e uma MT 1. Executa R sobre a entrada hM; M1 i, onde M1 e uma MT que rejeita qualquer string 3. Se R aceita, ent~o aceita; se R rejeita, ent~o rejeita a a
11