Lista de exercícios 04

1. Seja B o conjunto de todas as sequências infinitas sobre {0, 1}. Mostre que B é
incontável, usando uma prova por diagonalização.

2. Seja 𝑇 = {(𝑖, 𝑗, 𝑘)|𝑖, 𝑗, 𝑘 ∈ ℕ}. Mostre que 𝑇 é contável.

3. Seja 𝑇 = {⟨𝑀⟩| 𝑀 é 𝑢𝑚𝑎 𝑀𝑇 𝑞𝑢𝑒 𝑎𝑐𝑒𝑖𝑡𝑎 𝑤 ! 𝑠𝑒𝑚𝑝𝑟𝑒 𝑞𝑢𝑒 𝑀 𝑎𝑐𝑒𝑖𝑡𝑎 𝑤}. Mostre que 𝑇 é
indecidível.

4. Considere o problema de se determinar se uma máquina de Turing de duas fitas em

algum momento escreve um símbolo não-branco sobre sua segunda fita durante o curso
de sua computação sobre qualquer cadeia de entrada. Formule esse problema como
uma linguagem e mostre que ele é indecidível.

5. Um estado inúRl em uma máquina de Turing é um estado no qual a máquina nunca

entra sobre qualquer que seja a entrada. Considere o problema de se determinar se uma
máquina de Turing possui algum estado inúRl. Formule esse problema como uma
linguagem e mostre que ele é indecidível.