Istilah-istilah ini berasal dari teori komputasi, sehingga mereka lebih bermakna dalam konteks teori komputasi daripada dalam konteks rekayasa perangkat lunak
Dalam sebagian besar model komputasi standar, masalah komputasi direpresentasikan sebagai bahasa . Bahasa adalah seperangkat string. Algoritme, kemudian, hanyalah sebuah sistem atau prosedur yang memutuskan apakah string yang diberikan adalah anggota dari beberapa bahasa (dengan mengembalikan benar atau salah). Dalam istilah rekayasa perangkat lunak, teori perhitungan secara khusus berkaitan dengan fungsi yang terlihat seperti ini, dengan asumsi string tidak berubah:
boolean some_function(string argument){...}
Kami menyebut fungsi ini selesai jika mengembalikan true untuk setiap argumen yang merupakan anggota bahasa. Kami menyebutnya bunyi jika menghasilkan false untuk setiap argumen yang bukan anggota bahasa.
Dengan kata lain, itu lengkap jika selalu mengembalikan true ketika kita ingin mengembalikan true, dan terdengar jika itu selalu mengembalikan false ketika kita ingin itu mengembalikan false.
Bagaimana ini diterjemahkan ke jenis fungsi lainnya? Ternyata, hampir selalu mungkin untuk memasukkan jumlah data yang berubah-ubah menjadi string dan menyusunnya kembali di dalam fungsi. Jadi pembatasan pada tipe argumen dan arity tidak lebih dari penyederhanaan teoretis. Namun, pembatasan jenis pengembalian lebih penting. Masalah yang membutuhkan hasil boolean disebut masalah keputusan . Banyak teori perhitungan melibatkan masalah keputusan; set P dan NP dibatasi untuk masalah keputusan (dan NP, setidaknya, tidak dapat didefinisikan secara wajar tanpa batasan ini). Masalah penghentian adalah contoh lain dari masalah keputusan yang banyak dipelajari.
Saya berpendapat bahwa istilah-istilah ini tidak menggeneralisasi di luar domain masalah keputusan, sehingga perbedaan di antara mereka tidak benar-benar bermakna ketika membahas fungsi umum.
