Lista de exercícios #11 – Soluções

Prof. Jorge C. Lucero

29 de setembro de 2021

5.9 Suponha que T é decidível e seja D a MT que a decide. Então, podemos construir a seguinte MT que
decide AMT :

S = “Sobre a entrada hM, wi, onde M é uma MT e w uma cadeia:

1. Construa a seguinte MT:
Mw = “Sobre a entrada x:
1. Se x = 01 aceite.
2. Se x = 10 rode M sobre w. Se aceita, aceite; se rejeita, rejeite.”
2. Rode D sobre hMw i. Se aceita, aceite; se rejeita, rejeite.”

Suponha que M aceita w. Então, L(Mw ) = {01, 10} e, portanto, hMw i ∈ T . Em consequência, D aceita
hMw i e, logo, S aceita hM, wi. Suponha, agora, que M não aceita w. Então, L(Mw ) = {01} e hMw i ∈
/ T.
Em consequência, D rejeita hMw i e, logo, S rejeita hM, wi.
Assim, S decide AMT . Como sabemos que AMT é indecidível, concluímos que T é indecidível.
5.10 Resposta no livro.
5.11 Resposta no livro.
5.12 Seja L = {hM i| M é uma máquina de Turing de uma única fita que em algum momento escreve um
símbolo branco sobre um símbolo não-branco durante o curso de sua computação sobre qualquer cadeia}.
Suponha que L é decidível e seja D a MT que a decide. Então, podemos construir a seguinte MT que
decide AMT :

S = “Sobre a entrada hM, wi, onde M é uma MT e w uma cadeia:

1. Construa a seguinte MT:
Mw = “Sobre a entrada x:
1. Construa uma M’ modificando a MT M da seguinte forma: em todas as transições onde
M escreve o símbolo t, substitua esse símbolo por um novo símbolo, e.g., 4. Para cada
transição onde M lê o símbolo t, adicione uma nova transição onde M se comporta da
mesma maneira que na transição original exceto que lê o símbolo 4 em vez de t.
2. Rode M 0 sobre w. Se aceita, escreva um símbolo não-branco qualquer, retorne à mesma
posição e escreva t sobre o símbolo anterior, e aceite; se rejeita, rejeite.”
2. Rode D sobre hMw i. Se aceita, aceite; se rejeita, rejeite.”

Note que M 0 é equivalente a M , exceto que nunca escreve t na fita. Suponha que M aceita w. Então,
M 0 também aceita w e, em consequência, Mw escreve t sobre um símbolo não-branco, sobre qualquer
entrada. Assim, D aceita hMw i e, logo, S aceita hM, wi. Por outro lado, se M não aceita w, então M 0
tampouco aceita w e, em consequência, Mw rejeita toda entrada e nunca escreve t sobre um símbolo
não-branco. Assim, D rejeita hMw i e, logo, S rejeita hM, wi. Portanto, S decide AMT . Como sabemos
que AMT é indecidível, concluímos que L é indecidível.
5.20 Prova construtiva:
Seja Σ um alfabeto qualquer. Podemos codificar qualquer cadeia w ∈ Σ∗ na forma de uma sequência
de 0s e 1s, simplesmente atribuindo uma sequência específica de comprimento fixo a cada símbolo de
Σ (imagine uma tabela ASCII ou similar: hai = 1100001, hbi = 1100010, hci = 1100011, etc. Ainda,
podemos codificar qualquer cadeia u ∈ {0, 1}∗ na forma de uma cadeia sobre o alfabeto unário {1}: ordene
os elementos de cada conjunto {0, 1}∗ e {1}∗ em ordem lexicográfica, e atribua o i-ésimo elemento de {1}∗
ao i-ésimo elemento de {0, 1}∗ : hεi = ε, h0i = 1, h1i = 11, h00i = 111, etc. Dessa forma, qualquer
linguagem pode ser codificada na forma de subconjunto de cadeias de {1}∗ . Em particular, obtemos
AMT ⊆ {1}∗ , que sabemos que é indecidível.

Prova não-construtiva:
Todo subconjunto S de {1}∗ pode ser codificado na forma de uma cadeia binária infinita x: ordene
os elementos de {1}∗ em ordem lexicográfica, faça o i-ésimo bit de x igual a: 1, se a i-ésima cadeia
de {1}∗ pertence a S, ou 0, no caso contrário. Por exemplo, o subconjunto de cadeias de {1}∗ que
 têm comprimento par, {ε, 11, 1111 . . .}, é codificado pela cadeia 1010101010 . . . Dessa forma, para todo
subconjunto S ⊆ {1}∗ existe uma cadeia binária infinita única que o representa. Também, toda cadeia
binária infinita representa algum subconjunto S ⊆ {1}∗ único. Assim, existe uma correspondência entre
o conjunto das partes de {1}∗ e o conjunto de cadeias binárias infinitas. Portanto, ambos conjuntos têm
o mesmo tamanho.
Sabemos que o conjunto de cadeias binárias infinitas é incontável (Exercício 4.6 do livro-texto). Então,
o conjunto das partes de {1}∗ também é incontável. Por outro lado, também sabemos que o conjunto
de máquinas de Turing decisoras é contável (veja a demonstração do Corolário 4.18 do livro-texto). Em
consequência, devem existir subconjuntos de {1}∗ que não são decidíveis.

5.29 Se P é trivial, então ou é vazia ou contém todas as descrições de MTs. No primeiro caso, P é decidida
por uma MT que rejeita toda entrada e, no segundo, por uma MT que aceita toda descrição de uma MT.
Se P não é uma propriedade da linguagem de uma MT, então pode ser decidível. Por exemplo, P = {hM i|
M é uma MT cujo estado inicial é o estado de aceitação}. Para decidir esta linguagem, uma MT só precisa
verificar se os estados inicial e de aceitação são iguais ou não.

5.30 a. Resposta no livro.

b. Seja P = {hM i| M é uma MT e 1011 ∈ L(M )}. P é uma linguagem constituída de descrições de
máquinas de Turing. Considere as máquinas de Turing MΣ∗ , que aceita toda cadeia em {0, 1}∗ , e
M∅ , que rejeita toda cadeia. Então, hMΣ∗ i ∈ P e hM∅ i ∈
/ P . Assim, P é não-trivial. Também, sejam
M1 e M2 máquinas de Turing com L(M1 ) = L(M2 ). Se 1011 ∈ L(M1 ), então 1011 ∈ L(M2 ) e ambas
hM1 i, hM2 i ∈ P . Por outro lado, se 1011 ∈
/ L(M1 ), então 1011 ∈ / L(M2 ) e ambas hM1 i, hM2 i ∈
/ P.
Assim, P satisfaz todas as condições do Teorema de Rice e, portanto, é indecidível.
c. TUDOMT é uma linguagem constituída de descrições de máquinas de Turing. Considere as máquinas
de Turing MΣ∗ , que aceita toda cadeia em {0, 1}∗ , e M∅ , que rejeita toda cadeia. Então, hMΣ∗ i ∈
TUDOMT e hM∅ i ∈ / TUDOMT . Assim, TUDOMT é não-trivial. Também, sejam M1 e M2 máquinas de
Turing com L(M1 ) = L(M2 ). Se L(M1 ) = Σ∗ , então L(M2 ) = Σ∗ e ambas hM1 i, hM2 i ∈ TUDOMT .
Por outro lado, se L(M1 ) 6= Σ∗ , então L(M2 ) 6= Σ∗ e ambas hM1 i, hM2 i ∈ / TUDOMT . Assim,
TUDOMT satisfaz todas as condições do Teorema de Rice e, portanto, é indecidível.
5.35 Suponha que X é decidível e seja D a MT que a decide. Então, podemos construir a seguinte MT que
decide AMT :

S = “Sobre a entrada hM, wi, onde M é uma MT e w uma cadeia:

1. Construa a seguinte MT:
Mw = “Sobre a entrada x:
1. Escreva um símbolo especial $ no primeiro espaço em branco à direita da entrada x ($ é
um símbolo que não pertence ao alfabeto de fita de M ).
2. Copie a cadeia x à direita de $, e chame a essa copia de x0 .
3. Simule M sobre x0 . Se em algum momento a cabeça de Mw fica sobre o símbolo $, então,
no passo seguinte, Mw desloca sua cabeça à direita permanecendo no mesmo estado, e
continua a simulação. Se M aceita, escreva qualquer símbolo à esquerda de $ e aceite. Se
M rejeita, rejeite.”
2. Rode D sobre hMw , wi. Se aceita, rejeite; se rejeita, aceita.”

Suponha que M aceita w. Então, quando Mw roda sobre w, Mw modifica a porção da fita que contém
a entrada w. Em consequência, D rejeita hM 0 , wi e, logo, S aceita hM, wi. Suponha, agora, que M não
aceita w. Então, quando Mw roda sobre w, Mw não modifica a porção da fita que contém a entrada w.
Em consequência, D aceita hM 0 , wi e, logo, S rejeita hM, wi.
Assim, S decide AMT . Como sabemos que AMT é indecidível, concluímos que X é indecidível.