Leia o texto a seguir: [...] A beleza do trabalho de Turing foi ter definido com rigor matemático o que é um programa, na forma da máquina de Turin...

Leia o texto a seguir:

[...] A beleza do trabalho de Turing foi ter definido com rigor matemático o que é um programa, na forma da máquina de Turing, configurado como transições entre estados finitos. E o conceito de uma máquina universal que consegue executar quaisquer máquinas de Turing, que é o que ele chama de máquina de Turing Universal e na prática chamamos isso de computador. Uma máquina Universal de Turing é uma máquina de Turing cuja tarefa é simular outra máquina de Turing arbitrária, com uma entrada de dados arbitrária.

O que chamamos de computador moderno tem uma característica muito importante: ela consegue carregar e armazenar configurações, ou o que chamamos de programas. Essa é uma distinção que eu considero importante. Recentemente me perguntaram isso: o que diferencia um ábaco ou uma calculadora mecânica de um "computador" de verdade? A definição é se ela é ou não é uma máquina universal de Turing, particularmente com a característica de não distinção entre programa e dados no armazenamento, na tal fita infinita, o que permite a universalidade dele poder simular outra máquina de Turing.

Antes de Turing existem diversos experimentos que alguns chamam de "computador" mas que na realidade seria mais correto chamar de máquinas de calcular grandes. E aqui eu vou usar trechos do artigo "Quem Inventou o Computador" do site do próprio autor da biografia do Turing, o Andrew Hodges. Ele diz, e eu concordo, por exemplo, que não podemos chamar o Engenho Analítico de Charles Babbage de computador. Ele não incorpora a ideia vital de armazenar programas da mesma forma que os dados [...].

Com base no trecho sobre as máquinas de Turing universais, avalie as afirmações abaixo:

I. Uma máquina Universal simularia a máquina observando a saída na fita e o estado da máquina, pois o que determina como o conteúdo da fita muda é uma máquina de estado não finito dentro da máquina de Turing.

II. O modelo da máquina de Turing consiste em uma entrada e uma saída, e o principal problema com elas é que uma diferente deve ser construída para cada nova computação a ser realizada.

III. A máquina de Turing (TM, em inglês) é o nível de máquina equivalente a um computador digital.

É correto o que se afirma em:

Grupo de escolhas da pergunta

I e III, apenas.

II e III, apenas.

II, apenas.

I e II, apenas.

III, apenas.