As propriedades fundamentais de um algoritmo para ser válido são: - Precisão: cada passo deve ser claro e não ambíguo. - Clareza: o algoritmo deve ser compreensível. - Finitude: deve terminar após um número finito de etapas. Analisando as alternativas: A) Ter ambiguidades para permitir adaptações – incorreto, ambiguidades não são desejadas. B) Ser preciso, claro e terminar após um número finito de etapas – correto. C) Ser ineficiente para garantir flexibilidade – incorreto, eficiência é desejada. D) Ser altamente dependente de hardware específico – incorreto, algoritmos devem ser independentes. E) Ser complexo e difícil de entender – incorreto, clareza é fundamental. Resposta correta: B.