Um algoritmo precisa de passos e condições claros

Compreender

Um algoritmo é uma sequência finita de passos suficientemente claros para resolver um problema definido. No sistema fictício, a entrada é o indicador de disponibilidade do livro. A condição pergunta se o valor é «sim». Se for, a ação é registar o empréstimo; se for «não», a saída é a mensagem «indisponível». A ordem importa: o programa não deve registar primeiro e só depois verificar. Um fluxograma poderia mostrar início, decisão e os dois caminhos, mas a lógica também pode ser escrita em linguagem natural.

Um teste cobre pelo menos os dois valores possíveis da condição. Com «sim», espera-se registo de empréstimo; com «não», espera-se a mensagem. Se aparecer um valor não previsto, o algoritmo precisa de comportamento definido, por exemplo pedir revisão da entrada. Esta extensão é uma decisão de projeto, não algo afirmado pelo cenário inicial. Escrever «se der, empresta» seria ambíguo: não especifica que dado é verificado nem o que acontece quando não dá.

O modelo simplifica uma biblioteca real. Pode haver identificação da pessoa, limites de empréstimos, reservas e proteção de dados, mas nada disso foi especificado aqui; não se inventam essas regras na resposta. Uma boa solução declara o alcance: decidir apenas a partir da disponibilidade booleana. Antes de programar, pode-se simular a execução passo a passo com entradas diferentes e comparar saída prevista e saída obtida. Esse teste identifica condições invertidas ou caminhos sem resposta.