LinearSearch(A,v)
for i=1 to A.length
if A[i]=v
return i
return NIL
for循环的每次迭代开始前,数组A[1..i]中无与v相等的数。
初始化:第一次循环迭代前(i=1时),A[0]数组中无这一项,没有找到与v相等的数,第一次循环迭代之前循环不变时成立。保持:每次判断A[i]=v之后,相等则返回i,不相等且i不等于A.length,继续下一次循环,数组A[1..i]无与v相等的数,for循环的下一次迭代增加i将保持循环不等式。
终止:终止有两个条件,一是数组中找到与v相等的数,返回i。二是遍历整个数组都没有与v相等的数,这时,i=A.length,结束for循环,返回NIL数组中没有与指定的v相等的数。