Formalização de algoritmo proposto em 1936, universalmente c...

A alternativa correta para a questão é a alternativa C - Máquina de Turing.

A questão aborda um conceito fundamental na área de Algoritmos e Estrutura de Dados, especificamente relacionado à formalização de algoritmos. Conhecimentos sobre a história da computação e os conceitos teóricos que fundamentam essa área são essenciais para resolver a questão.

A Máquina de Turing, proposta por Alan Turing em 1936, é um modelo teórico de computação que formaliza a ideia de uma pessoa que realiza cálculos. Este modelo é amplamente aceito e é utilizado como base para definir o que significa um algoritmo ser computável. A Máquina de Turing consiste de uma fita infinita que pode ser lida e escrita, e um cabeçote de leitura/escrita que se move para frente e para trás na fita, além de um conjunto de estados que determina as operações a serem executadas com base no símbolo lido e no estado atual.

Vamos agora analisar as alternativas incorretas:

Alternativa A - Recursividade de Bird: Esta é uma referência a Richard Bird, conhecido por seu trabalho em programação funcional e recursividade. No entanto, não é uma formalização de algoritmo proposta em 1936, nem é um mecanismo universalmente conhecido e aceito como a Máquina de Turing.

Alternativa B - Máquina de Redução: As máquinas de redução são conceitos utilizados em teoria da computabilidade e complexidade, mas não são equivalentes à formalização proposta por Turing em 1936. Este termo normalmente se refere a transformações de um problema em outro.

Alternativa D - Sistema de Post: O Sistema de Post, proposto por Emil Post, é um formalismo alternativo à Máquina de Turing para descrever algoritmos e computabilidade. Embora seja um conceito importante, não é tão amplamente conhecido e utilizado como a Máquina de Turing.

Alternativa E - Máquina com Pilhas: Máquinas com pilhas são uma classe de autômatos utilizados principalmente em linguagens formais e teoria dos autômatos. Elas são menos poderosas do que as Máquinas de Turing no sentido de que não podem computar tudo o que uma Máquina de Turing pode computar.

Resumindo, a Máquina de Turing é a formalização de algoritmo proposta em 1936 e é universalmente conhecida e aceita, sendo a base teórica para a computação como a conhecemos hoje.

A máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936). Num sentido preciso, é um modelo abstrato de um computador, que se restringe apenas aos aspectos lógicos do seu funcionamento (memória, estados e transições) e não à sua implementação física. Numa máquina de Turing pode-se modelar qualquer computador digital.Fonte:http://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing