Question

A máquina de Turing (MT) é um dispositivo inventado em 1936 por Alan Turing, que pode fazer tudo o que um computador real faz. No entanto, mesmo uma máquina de Turing não pode resolver certos problemas que estão além dos limites teóricos da computação. A respeito da MT analise as assertivas a seguir.


I. Qualquer modelo geral de computação permite calcular as mesmas funções que uma MT (ou, tudo o que se pode computar coincide com as linguagens reconhecidas pelas máquinas de Turing).


II. Em uma MT, inicialmente a fita contém apenas a cadeia de entrada e todo o resto está em branco, tanto à esquerda do primeiro caracter da entrada quanto à direita do último caracter.


III. Um movimento da MT é uma função do estado do controle finito e do símbolo atual da fita. Em um movimento, a MT deve sempre mudar de estado para outro (não podendo ser o mesmo) e gravar um novo símbolo na célula atual da fita, substituindo a existente (não podendo ser o mesmo símbolo).


IV. O conjunto dos estados finais é vazio se a MT é transformadora de uma cadeia de entrada em uma cadeia de saída, isto é, como um modelo para descrever procedimentos (ou computar funções).

Estão corretos apenas os itens:
A I, II, III
B I, II, IV
C I, III, IV
D II, III, IV
E I, II, III, IV

Answer 1

Resposta:

Letra B - I, II, IV

Explicação passo a passo:

Answer 2

Temos que a Máquina de Turing foi um dispositivo inventado em 1936 por Alan Turing, a respeito da mesma podemos afirmar que apenas as asserções I, II e IV estão corretas, logo a alternativa correta é B) I, II, IV.

Máquina de Turing (MT)

As máquinas de Turing, descrita por Alan Turing nos anos de 1936-7, são dispositivos computacionais abstratos simples destinados a ajudar a investigar a extensão e as limitações do que pode ser computado. As "máquinas automáticas" de Turing, como ele as denominou em 1936, foram projetadas especificamente para o cálculo de números reais.

Curiosidades em relação a MT:

• Dispositivo que antecede a existência dos modernos computadores digitais
• Por ser um modelo abstrato de um computador, se restringe apenas aos aspectos lógicos de seu funcionamento
• Turing desenvolveu grande parte das máquinas para quebrar os códigos secretos no período da Segunda Guerra Mundial

Dentro das afirmações sobre MT (Máquina de Turing) temos que apenas as assertivas I, II, IV estão corretas.

Veja mais sobre Máquinas de Turing em:

brainly.com.br/tarefa/52805133

#SPJ2