Bu terimler hesaplama teorisinden geldi, bu yüzden hesaplama teorisi bağlamında yazılım mühendisliği bağlamından daha anlamlılar.
Çoğu standart hesaplama modelinde hesaplama problemleri dil olarak gösterilmiştir . Dil, bir dizi dizedir. Bir algoritma, o zaman, sadece verilen bir dizgenin bir dilin üyesi olup olmadığına karar veren bir sistem veya prosedürdür (doğru veya yanlış döndürerek). Yazılım mühendisliği terimlerinde, hesaplama teorisi, karakter dizilerinin değişmez olduğunu varsayarak, bunun gibi görünen fonksiyonlarla özellikle ilgilidir:
boolean some_function(string argument){...}
Dilin bir üyesi olan her bir argüman için doğru olursa, bu işlevi tam olarak adlandırırız . Dilin üyesi olmayan her bir argüman için yanlış döndürürse ses olarak adlandırırız .
Başka bir deyişle, doğru olmasını istediğimizde her zaman doğru dönerse tamamlanır, yanlış döndürmesini istediğimizde her zaman yanlış döndürürse ses çıkar.
Bu nasıl diğer fonksiyonlara çevrilebilir? Görünen o ki, rastgele bir miktarda veriyi bir dizgeye yerleştirmek ve onu fonksiyonun içinde yeniden oluşturmak neredeyse her zaman mümkün. Dolayısıyla argüman türü ve aritelik üzerindeki kısıtlama, teorik bir basitleştirmeden başka bir şey değildir. Bununla birlikte, iade tipi üzerindeki kısıtlama daha önemlidir. Boole sonucu gerektiren sorunlara karar sorunları denir . Çoğu hesaplama teorisi karar problemlerini içerir; P ve NP setleri karar problemleriyle sınırlıdır (ve NP, en azından NP bu kısıtlama olmadan makul bir şekilde tanımlanamamıştır). Durma problemi, yoğun olarak çalışılan bir karar probleminin bir başka örneğidir.
Benim görüşüme göre, bu terimler karar problemleri alanı dışında genelleşmiyor, bu yüzden genel bir işlevi tartışırken aralarındaki fark gerçekten anlamlı değil.
