- Thuật toán có tính dừng, tính xác định, tính đúng đắn
Giải thích :
+ Thuật toán phải kết thúc sau một số hữu hạn lần thực hiện cac thao tác → tính dừng.
+ Sau khi thực hiện một thao tác thì hoạc là thuật toán kết thúc hoặc có đúng 1 thao tác xác định để thực hiện tiếp theo → tính xác định.
+ Sau khi thuật toán kết thúc, ta phải nhận được Output của cần tìm → Tính đúng đắn.

- thuật toán tìm min :

Bước 1: Nhập N và dãy a₁, a₂, ..., a_N.

Bước 2: Min <-- a₁, i <-- 2;

Bước 3: Nếu i > N thì đưa ra giá trị Min rồi kết thúc;

Bước 4: Nếu a_i < Min thì Min <-- a_i;

Bước 5: i <-- i + 1 rồi quay lại Bước 3;

Thuật toán dừng khi đã đủ yêu cầu của chương trình, tùy vào chương trình mà thuật toán dừng sớm hay muộn.

Thuật toán tìm min dừng khi đã so sánh hết các số trong mảng với min gán giá trị của 1 số bất  kì trong mảng.