Algoritmos

Question 1

Como demonstrar de maneira formal que um loop dentro de um algoritmo é correto?

Answer 1

Usando indução:
- Primeiro, mostra-se o caso base (ou seja, que o algoritmo é correto antes de entrar no loop).

• Então, mostra-se o caso indutivo (ou seja, se ele era correto antes de entrar no loop, ele permanece correto antes da próxima iteração).
• Por último, demonstra-se que o loop é finito (junto com suas implicações baseadas na condição de término).