Pertanyaan tentang masalah Berhenti yang adalah untuk memutuskan apakah suatu program berhenti pada input yang diberikan.
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...
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...
Alan Turing mengusulkan model untuk mesin (Turing Machine, TM) yang menghitung (angka, fungsi, dll.) Dan membuktikan Teorema Henti . TM adalah konsep abstrak dari mesin (atau mesin jika Anda suka). Teorema Penghentian adalah hasil ketidakmungkinan. Mesin Carnot (CE) adalah konsep abstrak dari...
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...
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...
Masalah penghentian menyatakan tidak ada algoritma yang akan menentukan apakah program yang diberikan berhenti. Sebagai konsekuensinya, harus ada program yang tidak dapat kami katakan apakah mereka berakhir atau tidak. Apa contoh paling sederhana (paling kecil) dari program semacam...
Cukup sederhana untuk memahami mengapa masalah penghentian tidak dapat diputuskan untuk program tidak murni (yaitu, yang memiliki I / O dan / atau negara bagian bergantung pada negara mesin-global); tetapi secara intuitif, tampaknya program murni berhenti pada komputer yang ideal akan dapat...
Saya menonton " Lima Tahapan Menerima Matematika Konstruktif " oleh Andrej Bauer dan dia mengatakan bahwa ada dua jenis pembuktian dengan kontradiksi (atau dua hal yang oleh para ahli matematika disebut pembuktian oleh kontradiksi): Anggap salah ... bla bla bla, kontradiksi. Karena itu P...
Seperti lubang hitam dalam ilmu komputer. Kita hanya bisa tahu mereka ada tetapi ketika kita memiliki salah satu dari mereka kita tidak akan pernah tahu itu salah
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...
Mesin Turing yang kembali ke keadaan sebelumnya dengan kepala baca / tulis pada sel yang sama dari rekaman yang sama akan ditangkap dalam satu lingkaran. Mesin seperti itu tidak berhenti. Bisakah seseorang memberi contoh mesin yang tidak pernah berhenti yang tidak
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...
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),...
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...
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...
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...
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...
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...
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...
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...