Para que um computador possa desempenhar uma tarefa, é necessário que tal tarefa seja detalhada, em linguagem compreensível pela máquina, por meio de um programa. Um algoritmo computacional deve ter essencialmente algumas propriedades. Nesse contexto, analise as afirmações a seguir e assinale a resposta correta.

A) Uma das propriedades é ser completo, ou seja, as instruções precisam terminar após um número limitado de passos.

B) Uma das propriedades está relacionada ao tópico finito, em que, se as instruções forem executadas, o resultado esperado será atingido.

C) O conceito de que um conjunto de instruções só pode ter uma única forma de ser interpretado está relacionado ao tópico sem redundância.

D) O conceito de que todas as ações precisam ser descritas e devem ser únicas está associado ao tópico determinístico.

E) O conceito de que um conjunto de instruções só pode ter uma única forma de ser interpretado está relacionado ao tópico finito.