Pertanyaan yang diberi tag «computability»

Sepengetahuan saya, menghentikan masalah bertanya apakah ada program yang memutuskan apakah suatu program sedang diuji, diberi beberapa data input (tidak peduli program apa itu, atau data input apa yang kami berikan) akan berakhir atau tidak. Jawaban untuk masalah ini adalah 'tidak'. Dengan kata lain, tidak ada program 'tunggal' yang dapat …

8 computability  halting-problem 

Saya ingin menentukan apakah masalah keputusan ini dapat diputuskan. Saya telah mencoba membuat reduksi dari Halt dan "Terima string kosong", tetapi saya belum menemukan solusi. Adakah yang bisa membantu saya?

8 computability  turing-machines  undecidability 

Sebagai contoh, kita dapat mengatakan bahwa kita memiliki program abstrak yang, diberi string biner terbatas sebagai input, menghapus semua nol (yaitu 0010001101011 dievaluasi menjadi 111111), yang jelas merupakan fungsi yang dapat dihitung oleh Turing. Bagaimana sistem tag siklik menghitung ini (yang dapat, menurut definisi itu menjadi Turing-lengkap) ketika hanya berhenti …

8 computability  turing-machines 

Dengan tesis Church-Turing, mustahil untuk merancang algoritma untuk memutuskan masalah penghentian. Apakah kata algoritma dalam konteks ini termasuk kecerdasan buatan atau tidak, yaitu apakah tesis Church-Turing juga berlaku untuk kecerdasan buatan? Apakah mungkin untuk merancang sistem intelijen di masa depan untuk memutuskan masalah ini, atau, dengan tesis Church-Turing, tidak ada …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Apakah mungkin untuk meminimalkan automata pushdown? Jika tidak, mengapa? Apakah karena untuk minimalisasi, kelas ekivalensi perlu memiliki indeks yang terbatas dan kami tidak dapat menjaminnya untuk CFG?

8 computability  automata  pushdown-automata 

Ketika saya pertama kali mendengar hal-hal ini saya sangat terpesona karena saya pikir itu benar-benar menetapkan batas untuk matematika dan sains secara umum. Tetapi seberapa praktis hal-hal ini relevan? Untuk Masalah Berhenti: Apakah ada lebih dari beberapa kasus yang dibuat secara artifisial, di mana orang tidak dapat memutuskan apakah algoritma …

8 computability  logic  halting-problem  applied-theory 

Seperti yang telah saya pelajari, memutuskan keteraturan bahasa bebas konteks tidak dapat diputuskan. Namun, kita dapat menguji keteraturan menggunakan teorema Myhill – Nerode yang menyediakan kondisi yang diperlukan dan memadai. Jadi masalahnya harus diperhitungkan. Di mana kesalahan saya?

8 formal-languages  computability  regular-languages  undecidability 

Saya mencoba (secara intuitif) memahami dua istilah "decidability" dan "verifiability". Saya telah melakukan banyak pencarian dan pencarian berbagai teks yang dapat saya lakukan. Namun, pemahaman intuitif mereka nampaknya lepas dari saya, khususnya untuk yang kedua. Dari banyak definisi yang ditemukan, yang berikut ditemukan di halaman ini , dengan jelas menjelaskan …

8 complexity-theory  formal-languages  terminology  computability 

Apakah PC kami berfungsi sebagai Mesin Turing? Model Mesin Turing terdiri dari pita memori tak terbatas, yang berarti status tak terbatas. Tapi anggaplah jika PC kita memiliki 128 MB memori dan 30GB disk itu akan memiliki 256 ^ 30128000000 negara dan dengan demikian, ia memiliki status yang terbatas. Saya tahu …

8 complexity-theory  computability  turing-machines  automata 

Jika Anda memiliki bahasa L, tanpa melakukan bukti apa pun, adakah cara untuk mengetahui apakah itu dapat dikenali atau dikenali bersama atau dapat dipilih? Pada dasarnya ada petunjuk atau trik yang bisa digunakan untuk menceritakannya. Atau mungkin pola umum untuk mencari tahu jenis apa itu?

8 computability  undecidability  intuition 

Dengan dan orang dapat mendefinisikan rumus berikut dalam bahasa aritmatika formaln ∈ Nn∈Nn \in \mathbb{N}p , q∈ N [x1, ... ,xn]hal,q∈N[x1,...,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] φ ( n , p , q) = ∀x1⋯ ∀xn: ¬ ( p (x1, ... ,xn) = q(x1, ... ,xn) )φ(n,hal,q)=∀x1⋯∀xn:¬(hal(x1,...,xn)=q(x1,...,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall x_n …

8 computability  logic  undecidability 

Saya mencoba untuk belajar teori komputabilitas dengan buku teks. Menurut buku saya, fungsifff lebih dari satu alfabet A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z\} hanya dapat dihitung jika bahasa L={s#jσ:s∈A∗,σ∈A, the …

8 formal-languages  computability  undecidability 

Saya ingin bantuan Anda membuktikan bahasa itu L={⟨M⟩|L(M) ∈ N P ∖P}L={⟨M⟩|L(M.)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \} adalah iff decidable P = N PP=NP\mathrm{P}=\mathrm{NP}. Jika P = N PP=NP\mathrm{P}=\mathrm{NP}, Saya mengerti bahwa itu adalah bahasa mesin Turing kosong. BegituL.L.L adalah intiinti\text{co-RE} masalah - tapi bukan itu yang …

8 computability  undecidability  p-vs-np 

Mesin Turing memiliki alfabet simbol formal , status dan deskripsi transisi-aturan berdasarkan bagaimana komputasi dilakukan. Actor Model kadang-kadang disebut sebagai model komputasi yang lebih kuat daripada mesin Turing (bukan pada apa yang dapat dikomputasi, tetapi dalam aspek lain). Apakah The Actor Model merupakan alternatif mesin Menghidupkan penuh sebagai model komputasi? …

8 terminology  computability  reference-request  programming-languages  computation-models 

Membiarkan CCCmenjadi seperangkat bahasa enumerable rekursif non-sepele ( ) dan biarkan L menjadi set pengkodean mesin Turing yang mengenali beberapa bahasa dalam C : L = \ {\ langle M \ rangle \ mid L (M) \ dalam C \}∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C …

8 computability  turing-machines