Pertanyaan yang diberi tag «halting-problem»

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 …

149 computability  halting-problem 

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 …

76 computability  logic  halting-problem  incompleteness 

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 …

60 computability  turing-machines  halting-problem  human-computing 

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 mesin panas dan Carnot membuktikan Teorema Carnot , …

31 turing-machines  halting-problem  entropy 

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 …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

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 

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 itu?

27 computability  turing-machines  halting-problem 

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 ditentukan melalui misalnya analisis statis. Apakah ini yang …

25 halting-problem  static-analysis 

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 benar.PPPPPP Anggap benar ... bla bla …

23 halting-problem  coq 

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 satunya.

23 halting-problem  correctness-proof 

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 …

23 computability  formal-methods  halting-problem  software-verification 

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 berputar?

22 computability  turing-machines  halting-problem 

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), …

21 computability  turing-machines  computation-models  halting-problem 

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 …

19 halting-problem 

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, …

19 halting-problem