Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut:
Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda:
- dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas kompleksitas tertentu. Dalam akun seperti itu, sintaksis harus dibatasi untuk menjamin bahwa seseorang tetap berada di kelas yang sesuai. Ini menghasilkan, secara umum, dalam masalah bahwa definisi fungsi tertentu tidak berfungsi lagi, bahkan jika fungsi tersebut berada dalam kelas kompleksitas yang sedang dipertimbangkan.
- Dalam akun kedua, logika yang mendasarinya dibatasi.
- Dalam akun ketiga, seseorang tidak membatasi sintaksis, secara umum, memungkinkan untuk menuliskan "istilah fungsi" untuk fungsi sewenang-wenang (rekursif parsial), atau logika, tetapi hanya untuk istilah fungsi yang termasuk dalam kelas kompleksitas yang dipertimbangkan. , seseorang dapat membuktikan bahwa mereka memiliki properti karakteristik tertentu, biasanya, properti yang “terbukti total”. Sementara istilah fungsi, menurut kerangka sintaksis yang mendasari, mungkin memiliki karakter komputasi langsung, yaitu, sebagai istilah , logika yang digunakan untuk membuktikan properti karakteristik mungkin klasik.
Pertanyaan saya menyangkut referensi yang dapat sebagai pengantar tiga pendekatan yang disebutkan di atas. Dalam bagian ini kita melihat karakterisasi hanya untuk pendekatan, tetapi apakah ini memiliki nama yang diterima secara umum?