As linguagens de programação imperativa podem ser classificadas como completas quanto a Turing. Analise as questões e assinale a que representa uma síntese do que significa ser completa quanto a Turing.
Questão
As linguagens de programação imperativa podem ser classificadas como completas quanto a Turing. Analise as questões e assinale a que representa uma síntese do que significa ser completa quanto a Turing.
Alternativas
a) Possibilitar a implementação de recursos de reutilização de código.
b) Apresentar sintaxe semelhante a linguagens de baixo nível.
c) Apresentar recursos que permitem expressar qualquer algoritmo computacional.
d) Possibilitar que os dados de um programa fiquem fora da memória do computador.
e) Permitir tratar todas as exceções de código em um algoritmo.
Explicação
Uma linguagem (ou modelo de computação) completa quanto a Turing é aquela que tem poder computacional suficiente para simular uma Máquina de Turing, isto é, consegue representar/executar qualquer computação algorítmica (em termos do que é computável), desde que haja recursos ilimitados de tempo e memória.
Analisando as alternativas:
- a) Reutilização de código (funções, módulos, bibliotecas) não define completude de Turing.
- b) Similaridade sintática com baixo nível também não determina poder computacional.
- c) Corresponde à ideia central: ter mecanismos (controle de fluxo, condição/iteração/recursão e manipulação de memória/estado) para expressar qualquer algoritmo computacional.
- d) Dados fora da memória (armazenamento secundário) é característica de arquitetura/sistema, não de completude.
- e) Tratamento de exceções é recurso de engenharia de software, não requisito para completude.
Logo, a síntese correta do que significa ser completa quanto a Turing é a alternativa (c).
Alternativa correta: (c).