Considere as seguintes afirmacoes: I – Como algoritmos podem representar máquinas de Turing e vice-versa, isso implica que questões gerais sobre al...

Vamos analisar as afirmações: I – Como algoritmos podem representar máquinas de Turing e vice-versa, isso implica que questões gerais sobre algoritmos não podem ser sempre respondidas com o auxílio de algoritmos. Esta afirmação está correta. Algoritmos podem representar máquinas de Turing e vice-versa, mas questões gerais sobre algoritmos nem sempre podem ser respondidas com o auxílio de algoritmos. II – Nenhuma linguagem (máquina de Turing universal) permite sistematizar a forma de descobrir se um programa (máquina de Turing) faz realmente o que se deseja para qualquer entrada possível. Essa afirmação está correta. Nenhuma linguagem (máquina de Turing universal) pode sistematizar a forma de descobrir se um programa (máquina de Turing) faz realmente o que se deseja para qualquer entrada possível. III – O problema da verificação formal de programas é insolúvel no seu caso geral. Essa afirmação está correta. O problema da verificação formal de programas é insolúvel no seu caso geral. Portanto, a alternativa correta é a letra "d) I, II e III".