procedure Search (Key : INTEGER ; T: array 1..N of INTEGER;
Found : BOOLEAN; L: 1..N) ;
Ön Koşul
-- En azından bir değere sahip olmalı
1 <= N
Sonraki durum
--
( Found and T (L) = Key)
Yada
-- Eğer değer eşleşmiyorsa
( not Found and
not (exists i, 1 >= i >= N, T (i) = Key ))
Girişleri olan ön koşullar uygundur. Giriş Burada bir ön koşul
tutmaz. Girişleri nerede kilit unsur dizinin üyesidir. Girişleri kilit
unsur dizinin bir üyesi değildir nerede.
