Pertanyaan yang diberi tag ?computability?

Pertanyaan yang terkait dengan teori komputabilitas, alias teori rekursi

12
Mengapa, benar-benar, Masalah Pemutusan begitu penting?
Saya tidak mengerti mengapa Masalah Pemutusan sering digunakan untuk mengabaikan kemungkinan menentukan apakah suatu program terhenti. Wikipedia [artikel] [1] dengan benar menjelaskan bahwa mesin deterministik dengan memori yang terbatas akan menghentikan atau mengulangi keadaan sebelumnya. Anda dapat menggunakan algoritme yang mendeteksi apakah daftar yang ditautkan loop untuk mengimplementasikan Fungsi Pemutusan …


5
Apakah ada hubungan konkret antara teorema ketidaklengkapan G?del, masalah penghentian dan mesin Turing universal?
Saya selalu berpikir secara samar bahwa jawaban untuk pertanyaan di atas adalah afirmatif di sepanjang baris berikut. Teorema ketidaklengkapan G?del dan ketidakpastian masalah penghentian keduanya merupakan hasil negatif tentang decidability dan dibangun oleh argumen diagonal (dan pada 1930-an), sehingga keduanya harus menjadi dua cara untuk melihat hal yang sama. Dan …

10
Daya komputasi manusia: Bisakah manusia memutuskan masalah yang terputus pada Mesin Turing?
Kita tahu masalah penghentian (pada Mesin Turing) tidak dapat dipastikan untuk Mesin Turing. Apakah ada penelitian tentang seberapa baik pikiran manusia dapat mengatasi masalah ini, mungkin dibantu oleh Turing Machines atau komputer tujuan umum? Catatan : Jelas, dalam arti yang paling ketat, Anda selalu bisa mengatakan tidak, karena ada Mesin …


3
Mengapa manusia dapat memecahkan masalah "tidak dapat dipastikan" tertentu?
Pencocokan pola tingkat tinggi adalah masalah yang tidak dapat ditentukan. Itu berarti tidak ada algoritma yang, diberikan persamaan a => b, di mana adan badalah istilah terbuka pada kalkulus lambda yang diketik sederhana, menemukan substitusi Ssehingga aS => bS, di mana =>singkatan "memiliki bentuk normal Bn yang sama". Namun, manusia …


9
Mengapa beberapa bahasa pemrograman Turing lengkap tetapi kurang memiliki kemampuan bahasa lain?
Saya menemukan masalah aneh ketika menulis seorang juru bahasa yang (harus) menghubungkan ke program / fungsi eksternal: Fungsi dalam 'C' dan 'C ++' tidak dapat mengaitkan fungsi variadik , misalnya saya tidak dapat membuat fungsi yang memanggil 'printf' dengan argumen yang sama persis yang didapatnya, dan sebagai gantinya harus memanggil …

5
Iterasi dapat menggantikan Rekursi?
Saya telah melihat seluruh stack Overflow, misalnya di sini , di sini , di sini , di sini , di sini dan beberapa yang lain saya tidak peduli untuk menyebutkan, bahwa "program apa pun yang menggunakan rekursi dapat dikonversi ke program yang hanya menggunakan iterasi". Bahkan ada utas yang sangat …


4
Apa teknik umum untuk mengurangi masalah satu sama lain?
Dalam teori komputasi dan kompleksitas (dan mungkin bidang lainnya), reduksi ada di mana-mana. Ada banyak jenis, tetapi prinsipnya tetap sama: menunjukkan bahwa satu masalah setidaknya sekeras beberapa masalah lainnya dengan memetakan contoh dari ke yang setara dengan solusi di . Pada dasarnya, kami menunjukkan bahwa setiap solver untuk juga dapat …

9
Apakah C sebenarnya Turing-lengkap?
Saya mencoba menjelaskan kepada seseorang bahwa C adalah Turing-lengkap, dan menyadari bahwa saya tidak benar-benar tahu apakah itu Turing-lengkap secara teknis. (C seperti dalam semantik abstrak, bukan seperti dalam implementasi aktual.) Jawaban "jelas" (kira-kira: ia dapat mengatasi jumlah memori yang sewenang-wenang, sehingga dapat meniru mesin RAM, sehingga Turing-lengkap) sebenarnya tidak …


2
Bingung dengan teorema Rice
Ringkasan: Menurut teorema Rice, semuanya tidak mungkin. Namun, saya melakukan hal - hal yang dianggap mustahil sepanjang waktu! Tentu saja, teorema Rice tidak hanya mengatakan "semuanya tidak mungkin". Itu mengatakan sesuatu yang lebih spesifik: "Setiap properti dari program komputer tidak dapat dikomputasi." (Jika Anda ingin membagi rambut, setiap properti "non-sepele". …


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.
Judi bola