Pertanyaan yang diberi tag «halting-problem»

Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis automata lainnya. Saya juga memperhatikan bahwa determinisme sering kurang lebih tersirat …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Apakah ada mesin Turing yang menghentikan semua input tetapi properti itu tidak dapat dibuktikan karena alasan tertentu? Saya bertanya-tanya apakah pertanyaan ini telah dipelajari. Catatan, "tidak dapat dibuktikan" dapat berarti sistem bukti "terbatas" (yang dalam arti lemah berpikir jawabannya pasti ya). Saya tentu saja tertarik pada jawaban terkuat yang mungkin, …

17 computability  reference-request  turing-machines  halting-problem 

Ada ruangwaktu relativistik (mis. Ruangwaktu MH; lihat Hogarth 1994) di mana garis dunia durasi tak terbatas dapat dimuat di masa lalu dari pengamat terbatas. Ini berarti bahwa pengamat normal dapat memiliki akses ke langkah perhitungan jumlah yang tak terbatas. Dengan asumsi itu mungkin bagi komputer untuk berfungsi dengan sempurna untuk …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Saya punya masalah: Tunjukkan bahwa ada bilangan real yang tidak ada program yang berjalan sangat lama dan menulis angka desimal angka itu. Saya kira itu bisa diselesaikan dengan menguranginya menjadi masalah Berhenti, tetapi saya tidak tahu bagaimana melakukannya. Saya juga akan menghargai tautan ke masalah serupa untuk latihan lebih lanjut.

14 algorithms  reductions  halting-problem 

Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat diputuskan dan karenanya TM tidak dapat menyelesaikannya! Karena LBA didefinisikan sebagai …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Saya kesulitan memahami masalah berhenti Turing. Buktinya mengasumsikan bahwa ada mesin ajaib yang dapat menentukan apakah komputer akan berhenti atau berputar selamanya untuk input yang diberikan. Kemudian kami memasang mesin lain yang membalikkan output dan kami memiliki kontradiksi dan oleh karena itu H tidak bisa ada.HHHHHH Kekhawatiran saya adalah sepertinya …

12 computability  halting-problem 

Saya sedang membaca jawaban untuk pertanyaan baru-baru ini, dan semacam pemikiran fana yang aneh muncul di benak saya. Saya bertanya ini mungkin mengkhianati bahwa teori saya kurang serius (sebagian besar benar) atau terlalu dini bagi saya untuk membaca situs ini. Sekarang, dengan disclaimer keluar dari jalan ... Ini adalah hasil …

11 turing-machines  undecidability  halting-problem 

Saya mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan Masalah Henti untuk oracle Turing +. Apakah ada contoh aktual, …

11 computability  undecidability  halting-problem  oracle-machines 

Saya sudah mencoba mencari tahu apakah masalah penghentian dapat dipilih untuk automata seluler satu dimensi 3-simbol. Definisi Biarkan menunjukkan konfigurasi sistem pada langkah waktu i . Secara lebih formal f : A ∗ × N → A ∗ , di mana A adalah alfabet.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definisi. Otomat seluler …

10 computability  decision-problem  halting-problem  cellular-automata 

Dalam masalah penghentian, kami tertarik jika ada mesin Turing yang dapat mengetahui apakah mesin Turing M yang diberikan berhenti atau tidak pada input yang diberikan i . Biasanya, buktinya mulai dengan menganggap T seperti itu ada. Kemudian, kami mempertimbangkan kasus di mana kami membatasi i untuk M itu sendiri, dan …

10 computability  undecidability  halting-problem 

Dalam Chaitin Meta Math! The Quest For Omega , ia secara singkat berbicara tentang Masalah ke-10 Hilbert. Dia kemudian mengatakan bahwa Persamaan Diophantine dapat diubah menjadi dua polinomial yang sama dengan koefisien bilangan bulat positif: .p = 0p = 0p=0p=0p = 0⟺hal1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Lalu dia berkata …

10 logic  halting-problem 

Di situs ini ada banyak varian pada pertanyaan apakah TM dapat memutuskan masalah penghentian, apakah untuk semua TM lain atau subset tertentu. Pertanyaan ini agak berbeda. Ia bertanya apakah fakta masalah penghentian berlaku untuk semua TM dapat diputuskan oleh TM. Saya percaya jawabannya tidak, dan ingin memeriksa alasan saya. Tetapkan …

9 computability  turing-machines  undecidability  halting-problem 

Pertanyaan ini muncul pada saya tentang masalah penghentian dan saya tidak dapat menemukan jawaban online yang bagus, bertanya-tanya apakah ada yang bisa membantu. Apakah mungkin bahwa masalah penghentian dapat diputuskan untuk setiap TM pada input apa pun asalkan inputnya bukan TM itu sendiri? Pada dasarnya: Halts(TM, I) IF TM == …

9 computability  undecidability  halting-problem 

Menurut sumber ini, konstanta Chaitin ΩΩ\Omega itu normal. Setiap probabilitas penghentian adalah bilangan real normal dan transendental yang tidak dapat dihitung, yang berarti bahwa tidak ada algoritma untuk menghitung digitnya. Memang, setiap probabilitas penghentian adalah acak Martin-Löf, yang berarti tidak ada algoritma apa pun yang dapat dengan andal menebak angka-angkanya. …

9 halting-problem 

Saya mencoba untuk menemukan cara untuk menjelaskan ide bukti Masalah terputus dengan cara yang dapat diakses (untuk mahasiswa CS sarjana). Argumen paling sederhana yang saya temukan adalah argumen ini ; inilah gaya perawatan yang saya tuju. Namun, referensi-diri (khususnya, memeriksa apakah suatu program terhenti dengan sendirinya) bukanlah yang paling didaktik. …

8 halting-problem