Question

Considere uma máquina de Turing X capaz de analisar qualquer máquina de Turing T. As duas únicas possibilidades de X parar são descritas a seguir:
I - A máquina de Turing X deve parar com a fita contendo apenas um algarismo 1, se e somente se T aceitar uma cadeia .
II - A máquina de Turing X deve parar com a fita contendo apenas um algarismo 0, se e somente se T nunca parar ao processar a cadeia .
Assinale a alternativa correta:
a.
X existe e T não existe.
b.
Se X existe, então T não existe.
c.
X existe, mas T não existe.
d.
X não existe.
e.
X e T não existem.

Answer 1

a) X existe e T não existe 
a e a correta.