From anderson.talon@gmail.com Wed Mar 10 13:44:33 2010
Date: Wed, 10 Mar 2010 13:44:33 -0300
From: Anderson Talon <anderson.talon@gmail.com>
Reply-To: mo417_2010s1@googlegroups.com
To: mo417_2010s1@googlegroups.com
Subject: Ata Questao 2.1-3

Ata Questao 2.1-3

BuscaLinear(A, v)
1.   saida <- NIL
2.   for i <- 1 to comprimento[A] do
3.      if A[i] = v then
4.         saida <- i
5.         break

Invariante de Laco: no fim da iteracao i, (v nao esta em A[1..i]) ou (para algum
k em 1..i, v = A[k] e saida = k).