Algoritmalarda girdi ve çıktı bilgileri olmalıdır. Girdi bilgisi algoritmaya dışarıdan verilirken, çıktı bilgisi ise algoritma ­içerisinde üretilir. Bu bilgiler, algoritma için tanımlı veri kümesine ait olmalıdır. Algoritmayı oluşturan adımlar doğru ve kesin bir şekilde tanımlanmalıdır. Farklı girdi bilgileri ile çalışabilen algoritmalar, her girdi için doğru bir çıktı üretmelidir. Algoritmaların daima bir sonu olmalıdır. Girilen veri boyutundan bağımsız bir şekilde, algoritma adımları farklı bir aşamaya geçebilmeli veya sonlanmalıdır. Algoritma adımları gerçekleştirilirken, algoritma sonsuz döngüye girmemelidir. Algoritmayı oluşturan adımlar, yapılan iş için kabul edilebilir bir süre içerisinde tamamlanmalıdır. Bir algoritma, aynı türdeki problemlerin hepsine uygulanabilir olmalıdır.