Professional Documents
Culture Documents
sua
implementao
fsica.
O Teorema de Rice
significa que existe uma mquina de Turing que reconhece uma linguagem em S (S
um conjunto de linguagens) existe uma mquina de Turing que reconhece uma
linguagem que no est em S. Ento, indecidvel determinar se a linguagem
decidida
por
uma
mquina
de
Turing
arbitrria
encontra-se
em
S.
Na prtica, isso significa que no existe uma mquina que sempre pode decidir se a
linguagem de uma dada mquina de Turing tem uma propriedade no-trivial. Casos
especiais incluem a indecidibilidade de se saber se uma mquina de Turing aceita
uma cadeia (String) especfica, e se a linguagem reconhecida por uma mquina de
Turing pode ser reconhecida por uma mquina trivial mais simples, como um
autmato
finito.
chamado
teorema
de
Rice
O teorema de Rice diz que todo o teste de qualquer propriedade que no sejam
triviais relativas a linguagens reconhecidas por mquinas de Turing indecidvel.
O problema da parada foi um dos primeiro problemas a serem provados como
indecidvel, em maio 1936 Alan Turing, em seu artigo "On Computable Numbers With
an Application to the Entscheidungsproblem", provou que no pode existir um
procedimento geral para resolver o problema da parada para todas as entradas
possveis em cima da Maquina de Turing, conseguindo a prova reduzindo o
problema da parada ao ENTSCHEIDUNGSPROBLEM, o qual havia sido provado
como
indecidvel
por
Alonzo
Church
em
abril
do
mesmo
ano.
quando
executado
nesta
entrada
sempre
para."
Seja
M
S
=
uma
{(S,w)
Mquina
uma
de
Mquina
Turing
de
Turing
tal
e
que:
aceita
w}
D(<S>)
aceita
=
se
rejeita
no
se
aceita
<S>
aceita
<S>
por
D(<D>)
<D>
D(<D>)
como
entrada
aceita
se
rejeita
obtendo
assim
no
se
seguinte
definio:
aceita
<D>
aceita
<D>
existir.
importante
teorema
de
Rice
linguagens
que
no
mquinas
so
resaltar
aplicado
aceitas
de
que
s
pelas
Turing
em
propriedades
mquinas
si
de
das
Turing,
propriamente
ditas.
uma
mquina
de
Turing
T,
L(T)
no
vazia?
decidvel,
mesmo
que
ele
no
seja
trivial.
para
provar
que
um
certo
problema
indecidvel: