Programlamada kullanılan algoritmaların temel özellikleri aşağıdaki listede verilmiştir:
• Girdi ve Çıktı Bilgisi: Bir algoritmanın girdi ve çıktı bilgileri olmalıdır. Bu bilgiler, algoritma için tanımlı veri kümesine ait olmalıdır. Girdi bilgisi algoritmaya dışarıdan verilirken, çıktı bilgisi algoritma içinde üretilerek dışarıya verilir. Bazı algoritmalarda yalnızca çıktı bilgisi bulunabilir.
• Açıklık: Algoritmayı oluşturan adımlar doğru ve kesin bir şekilde tanımlanmalıdır.
• Doğruluk: Algoritmayı çalıştıran her girdi için doğru bir çıktı elde edilmelidir.
• Sonluluk: Bir algoritmanın mutlaka sonu olmalıdır. Girilen veri boyutundan bağımsız şekilde, algoritma adımları farklı bir aşamaya geçmeli veya sonlanmalıdır. Algoritmanın farklı adımları gerçekleştirilirken, algoritma sonsuz döngüye girmemelidir.
• Verimlilik: Algoritmayı oluşturan adımlar, belirli bir süre içinde tamamlanmalıdır.
• Genellik: Bir algoritma, aynı türdeki problemlerin hepsine uygulanabilir olmalıdır. Doğru yanıt A seçeneğidir.