Tüm prosedürlere algoritma denemez. Bir algoritma aşağıda belirtilen özelliklere sahip olmalıdır –

• Kesin  – Algoritma açık ve net olmalıdır. Adımlarının (veya aşamalarının) her biri ve bunların giriş / çıkışları net olmalı ve sadece bir anlama yol açmalıdır.
• Giriş  – Bir algoritmanın 0 veya daha fazla iyi tanımlanmış girişi olmalıdır.
• Çıktı  – Bir algoritmanın iyi tanımlanmış 1 veya daha fazla çıkışı olmalı ve istenen çıktıyla eşleşmelidir.
• Sonluluk  – Algoritmalar, sınırlı sayıda adımdan sonra sona ermelidir.
• Fizibilite  – Mevcut kaynaklar ile uygulanabilir olmalıdır.
• Bağımsız  – Bir algoritma, herhangi bir programlama kodundan bağımsız olması gereken adım adım talimatlara sahip olmalıdır.