Algoritimo Iterativo Algoritimo Iterativo Algoritimo Iterativo Mudanças entre declarações positivas ou negativas sobre o estado atual do computador e blocos de ações que levam ao proximo estado. link WAlgoritimoIterativo.xml referencia Exemplo Especificação: Dada uma lista de 3 elementos a saida consiste de um indice que tenha o valor maximo dessa lista Maximo (a,b,c) <ul> <li>Precondição: Entrada tem 3 números a,b,c</li> <li>m=a</li> <li>retratoAtual: m é o máximo em {a}.</li> <li>se (b>m)      m = b fim do se</li> <li>retratoAtual: m é o máximo em {a,b}.</li> <li>se (c>m)      m = c fim do se</li> <li>retratoAtual: m é o máximo em {a,b,c}.</li> <li>retorna (m)</li> <li>Póscondição: retorna o máximo em {a,b,c}.</li> </ul> fim do algoritimo Estados para elaborar um algoritimo Pensar em sequencia de instantâneos em vez de sequencia de ações. Partir da saida para a entrada pensando de forma a temporal. Sequencia de instantâneos <ul> <li>Não perder de vista as variações do estado do computador</li> <li>Uma vez construida pode se ver todo o caminho claramente   </li> </ul>  Póscondições e Précondições <ul> <li>Definir a solução do problema que deve ser resolvido</li> <li>Retrato sobre a saida desejada (póscondição)</li> <li>Retrato inicial sobre a entrada em particular (précondição)</li> </ul> Começar no meio <ul> <li>Começar com um retrato estatico sobre o estado que gostaria que tivesse neste instante</li> <li>Esse retrato não precisa dar o valor exato de cada variavel</li> <li>Fornecer propriedades gerais e relações entre as diversas estruturas de dados</li> <li>Cada instantâneo torna-se parte de um laço</li> </ul> Preencha com ações <ul> <li>São instantaneo com o tempo parado</li> <li>Ainda não foi considerada nehuma ação</li> <li>A etapa final é colocar ações (código) entre os instantâneos consecutivos</li> </ul> Um passo de cada vez (passo do bebê) <ul> <li>Cada um desses blocos de ações pode ser executado de maneira completamente independente dos outros</li> <li>É mais facilconsidrar um de cada vez do que com tudo ao mesmo tempo</li> <li>Pode se completar esses blocos em qq ordem que se quiser </li> <li>Modificar um bloco sem se preocupar com efeito nos outros</li> </ul> Você chegou de viagem <ul> <li>É assim que deve se preencher o codigo entre os instantâneos entra o i-ésimo e o (i+1)-ésimo.</li> <li>A unica coisa que se sabe é que o  i-ésimo é valido, isso é que garante a independencia dos blocos.</li> </ul> De um passo <ul> <li>Escrever um codigo simples para executar algumas ações simples que mudam o estado de modo que o (i+1)-ésimo instante seja válido.</li> </ul> Demosntração de cada passo <ul> <li>Pode seer feita de um bloco de cada vez</li> <li>Provar que ao para o tempo no  i-ésimo instante é valido e para o tempo no (i+1)-ésimo instante é valido</li> </ul> Demonstração da correção algoritimo <ul> <li>Se a entrada incial satisfaza a precondição e o codo inteiro é executado, então no final, ostado será tal que a póscondição fica satisfeita. Isso prova que o algoritimo funciona.</li> </ul>