Questão 67338

Uma professora de um curso de Licenciatura em Computação está conduzindo uma atividade sobre o pilar da 'abstração' do Pensamento Computacional. Ela quer que os futuros professores compreendam que a abstração não é apenas sobre 'ignorar detalhes', mas também sobre 'criar modelos' que representem a essência de um sistema ou problema. Para isso, ela se baseia em um exemplo clássico da ciência da computação: o modelo da Máquina de Turing. Ela explica: "A Máquina de Turing, proposta por Alan Turing em 1936, é um modelo matemático abstrato de um computador. Ela consiste em uma fita infinita dividida em células, uma cabeça de leitura/escrita e um conjunto de regras. A máquina pode ler um símbolo da fita, escrever um novo símbolo, mover a cabeça para a esquerda ou para a direita, e mudar de estado. Embora extremamente simples, a Tese de Church-Turing postula que qualquer coisa que seja 'computável' pode ser computada por uma Máquina de Turing. Ela não foi projetada para ser construída, mas para ser um modelo teórico." A professora então pede aos licenciandos para refletirem sobre o papel da Máquina de Turing como uma forma de abstração.

Avaliando a Máquina de Turing como um artefato do Pensamento Computacional, analise as seguintes afirmações.

I. A Máquina de Turing é uma poderosa abstração de um computador. Ela ignora detalhes de implementação irrelevantes para a teoria da computação, como a arquitetura do processador, a quantidade de memória RAM ou o tipo de sistema operacional.

II. Ao focar nos elementos essenciais da computação (leitura, escrita, movimentação e estado), a Máquina de Turing permite que os cientistas da computação provem propriedades fundamentais sobre o que é e o que não é computável (como o Problema da Parada), independentemente da tecnologia de hardware existente.

III. A Máquina de Turing é um mau exemplo de abstração, pois sua simplicidade a torna inútil para representar os computadores modernos, que são muito mais complexos e poderosos.

É correto o que se afirma em: