A corretude de um algoritmo, na Ciência da computação teórica, pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada...

A corretude de um algoritmo, na Ciência da computação teórica, pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação. O termo corretude se refere ao comportamento de entrada-saída do algoritmo. Isto é, para cada entrada ele produz uma saída. Ainda há os passos que devem ser considerados na criação de um bom algoritmo. Assinale a alternativa CORRETA que apresenta como esses passos podem criar um caminho e procedimentos corretos para a resolução de problemas:


A - Descreve como fazer algo através de uma sequência lógica e com um início determinado.
B - Descreve como fazer algo através de uma sequência lógica e com um início indeterminado.
C - Descreve como fazer algo através de uma sequência ilógica e com um fim determinado.
D - Descreve como fazer algo através de uma sequência lógica e com um fim determinado.