Pertanyaan yang diberi tag «computability»

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 

Kami diberi latihan berikut. Membiarkan f( n ) = { 100n terjadi dalam representasi desimal πlainf(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Buktikan bahwa dapat dihitung.fff Bagaimana ini mungkin? …

130 computability  undecidability 

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 

Apakah ada set konstruksi bahasa pemrograman dalam bahasa pemrograman agar Turing Lengkap? Dari apa yang saya dapat katakan dari wikipedia , bahasa perlu mendukung rekursi, atau, tampaknya, harus dapat berjalan tanpa berhenti. Apakah ini semua yang ada untuk itu?

55 computability  programming-languages  turing-machines  turing-completeness 

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 …

45 computability 

Saya tahu bahwa ada Mesin Turing, jika suatu fungsi dapat dihitung. Lalu bagaimana cara menunjukkan bahwa fungsi tersebut tidak dapat dihitung atau tidak ada Mesin Turing untuk itu. Apakah ada sesuatu seperti lemma memompa?

43 computability  proof-techniques  undecidability  reference-question 

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 …

42 computability  programming-languages  turing-completeness 

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 …

42 computability  recursion  iteration 

Dalam jawaban ini disebutkan Bahasa reguler dapat dikenali oleh otomat terbatas. Bahasa bebas konteks memerlukan tumpukan, dan bahasa sensitif konteks membutuhkan dua tumpukan (yang setara dengan mengatakan itu memerlukan mesin Turing penuh) . Saya ingin tahu tentang kebenaran bagian yang berani di atas. Apakah itu benar atau tidak? Apa cara …

41 computability  turing-machines  automata  pushdown-automata 

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 …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

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 …

40 computability  turing-completeness  c 

Apakah ada mesin teoritis yang melebihi kemampuan mesin Turing di setidaknya beberapa daerah?

39 computability  turing-machines  hypercomputation 

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". …

37 terminology  computability  undecidability  rice-theorem 

Saya tahu bahwa Idris memiliki tipe dependen tetapi belum selesai. Apa yang tidak bisa dilakukan dengan melepaskan kelengkapan Turing, dan apakah ini terkait dengan memiliki tipe dependen? Saya kira ini adalah pertanyaan yang cukup spesifik, tetapi saya tidak tahu banyak tentang tipe dependen dan sistem tipe terkait.

35 computability  programming-languages  type-theory  dependent-types