Alternativa B - I, II e V
Para responder a esta questão, devemos analisar a veracidade de cada afirmação com base nos conceitos de Teoria da Computação, especialmente sobre Problemas de Decisão, Decidibilidade e a Máquina de Turing.
Análise Detalhada
Afirmação I: Correta (no contexto da questão)
- Descreve a necessidade de um método estruturado (instruções limitadas) e um processo finito (período determinado) para chegar a uma conclusão.
- Embora a definição técnica rigorosa de "problema de decisão" foque na resposta binária (Sim/Não), a descrição apresentada caracteriza o funcionamento de um algoritmo que toma decisões, sendo aceita neste contexto.
Afirmação II: Correta (no contexto da questão)
- Decidível: Significa que existe um algoritmo que sempre para e fornece a resposta correta em tempo finito.
- Indecidível: Significa que não existe tal algoritmo. A afirmação simplifica dizendo que se o algoritmo roda infinitamente (não para), não há decisão, o que alinha com o conceito prático de que a computação precisa terminar para ser útil.
Afirmação III: Incorreta
- Erro conceitual: A afirmação diz que um problema indecidível "não pode ser simplificado".
- Explicação: É perfeitamente possível restringir o escopo de um problema indecidível (simplificá-lo) para torná-lo decidível.
- Exemplo: O "Problema da Parada" (Halting Problem) é indecidível para Máquinas de Turing gerais. Porém, se aplicarmos a mesma regra para Autômatos Finitos, o problema torna-se decidível. Logo, a simplificação é possível.
Afirmação IV: Correta (Teoricamente)
- Entender a Máquina de Turing é de fato essencial para decidibilidade. No entanto, ao analisarmos as opções de resposta, vemos que nenhuma combinação inclui a IV sem incluir a III (que é falsa). Isso indica que a banca priorizou a eliminação da afirmação III na construção das alternativas.
Afirmação V: Correta
- A Máquina de Turing é um modelo abstrato criado para investigar os limites fundamentais da computação (provas teóricas).
- Ela não replica a arquitetura física dos computadores modernos (baseados em Von Neumann), mas possui o mesmo poder computacional (Tese de Church-Turing).
Conclusão
A chave para resolver esta questão é identificar a Afirmação III como falsa. Como todas as outras alternativas apresentadas (exceto a selecionada) contêm a afirmação III, elas são automaticamente descartadas.
Portanto, a única alternativa logicamente viável é a que contém apenas as afirmações I, II e V.
Resumo:
- I, II e V: São as afirmações aceitas pela banca.
- III: É a afirmação falsa que descarta as outras opções.