Pertanyaan yang diberi tag ?halting-problem?

Pertanyaan tentang masalah Berhenti yang adalah untuk memutuskan apakah suatu program berhenti pada input yang diberikan.

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 …


7
Apakah ada bukti yang lebih intuitif tentang keraguan atas masalah penghentian daripada diagonalisasi?
Saya memahami bukti ketidaktentuan masalah penghentian (diberikan misalnya dalam buku teks Papadimitriou), berdasarkan diagonalisasi. Sementara buktinya meyakinkan (saya mengerti setiap langkahnya), itu tidak intuitif bagi saya dalam arti bahwa saya tidak melihat bagaimana seseorang akan mendapatkannya, mulai dari masalahnya sendiri. Dalam buku ini, buktinya seperti ini: "misalkan memecahkan masalah penghentian …

2
Mengapa tipe void C tidak analog dengan tipe kosong / bawah?
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 





6
Algoritma untuk memecahkan "masalah terputus-" Turing
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . "Alan Turing membuktikan pada tahun 1936 bahwa algoritma umum untuk memecahkan masalah penghentian untuk semua pasangan input-program yang mungkin tidak ada" Dapatkah saya menemukan algoritma umum untuk …


5
Mungkinkah Masalah Pemutusan "diselesaikan" dengan melarikan diri ke deskripsi komputasi tingkat tinggi?
Saya baru-baru ini mendengar analogi yang menarik yang menyatakan bahwa bukti Turing tentang ketidakpastian masalah penghentian sangat mirip dengan paradoks tukang cukur Russell. Jadi saya bertanya-tanya: matematikawan akhirnya berhasil membuat teori himpunan konsisten dengan beralih dari formulasi naif Cantor di lapangan ke sistem aksioma yang lebih kompleks (teori himpunan ZFC), …

6
Menghentikan masalah yang dapat dihitung untuk input / asumsi tertentu
Dari pemahaman saya tentang bukti bahwa penghentian masalah tidak dapat dihitung, masalah ini tidak dapat dihitung karena jika kita memiliki program P (x) yang menghitung apakah program x berhenti atau tidak, kita mendapat paradoks ketika memberikan P sebagai input ke P yang sama, memiliki: P (P), mencoba memutuskan apakah P …

4
Bisakah lingkungan runtime mendeteksi loop tak terbatas?
Apakah mungkin untuk lingkungan runtime untuk mendeteksi loop tak terbatas dan kemudian menghentikan proses yang terkait, atau akan mengimplementasikan logika seperti itu setara dengan menyelesaikan masalah penghentian? Untuk keperluan pertanyaan ini, saya mendefinisikan "loop tak terbatas" yang berarti serangkaian instruksi dan terkait mulai tumpukan / tumpukan data yang, ketika dieksekusi, …

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