Determine quais características de um algoritmo há nos procedimentos a seguir e quais características estão faltando.
procedure
while
begin
end
procedure
while
begin
Passo 1
O enunciado apresenta o procedimento
e pede para identificar quais das principais características de um algoritmo estão presentes ou faltando. As características que vamos analisar são:
- Entrada
- Saída
- Finitude
- Definição (precisão)
- Efetividade
- Generalidade
Passo 2
Entrada
O algoritmo recebe um parâmetro inicial, o inteiro .
Portanto, a característica Entrada está presente.
O algoritmo recebe um parâmetro inicial, o inteiro
Portanto, a característica Entrada está presente.
Passo 3
Saída
O procedimento nunca retorna nem imprime nenhum valor; apenas altera internamente sem expô-la.
Logo, está faltando a característica Saída.
O procedimento nunca retorna nem imprime nenhum valor; apenas altera internamente
Logo, está faltando a característica Saída.
Passo 4
Finitude
A cada iteração decremente-se em 1, de modo que, partindo de um
finito, o laço terminará quando
.
Logo, a característica Finitude está presente (o processo não é infinito, salvo erro em tempo de execução).
A cada iteração decremente-se
Logo, a característica Finitude está presente (o processo não é infinito, salvo erro em tempo de execução).
Passo 5
Definição (precisão)
Cada passo está descrito sem ambiguidade: há condição de laço clara e comandos de atribuição bem definidos.
Portanto, a característica Definição está presente.
Cada passo está descrito sem ambiguidade: há condição de laço clara e comandos de atribuição bem definidos.
Portanto, a característica Definição está presente.
Passo 6
Efetividade
Para , o comando
implica divisão por zero, operação que não é computável de forma efetiva.
Logo, falta a característica Efetividade, pois nem toda operação é garantidamente executável.
Para
Logo, falta a característica Efetividade, pois nem toda operação é garantidamente executável.
Passo 7
Generalidade
O procedimento não trata todos os inteiros possíveis (falha em ) e não retorna um resultado genérico.
Portanto, está faltando a característica Generalidade.
O procedimento não trata todos os inteiros possíveis (falha em
Portanto, está faltando a característica Generalidade.
Resposta
Presentes:
- Entrada
- Finitude
- Definição
Faltando:
- Saída
- Efetividade
- Generalidade