Algoritma girdi ve çıktı bilgisine sahip olmalıdır.

Algoritma aynı türdeki problemlerin hepsine uygulanabilir olmalıdır.

Algoritmayı çalıştıran her girdi için doğru bir çıktı elde edilmelidir.

Algoritma mutlaka sonsuz olmalıdır.

Algoritmayı oluşturan adımlar belirli bir süre içinde tamamlanmalıdır.