Saya mencoba memberikan bukti sebagai berikut: Untuk bahasa apapun SEBUAHSEBUAHA , terdapat bahasa BBB sehingga A ≤TBSEBUAH≤TBA \le_{\mathrm{T}} B tapi B ≰TA≰TSEBUAH\nleq_{\mathrm{T}} A . Saya berpikir untuk membiarkan BBB menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , tetapi saya menyadari bahwa tidak...
Di tengah semester ada varian dari pertanyaan berikut: Untuk decidable mendefinisikan Tunjukkan bahwa belum tentu decidable.Pref ( L ) = { x ∣ ∃ y st x y ∈ L }L.LLSebelumnya ( L ) = { x ∣ ∃ y st x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in...
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?...
Hari ini saat makan siang, saya mengemukakan masalah ini dengan kolega saya, dan yang mengejutkan saya, argumen Jeff E. bahwa masalahnya tidak dapat meyakinkan mereka (di sini ada posting yang berkaitan erat dengan mathoverflow). Pernyataan masalah yang lebih mudah untuk dijelaskan ("adalah P =...
Misalkan saya memiliki dua fungsi dan dan saya tertarik untuk menentukan apakahFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Misalkan fungsi saya terdiri dari fungsi-fungsi dasar (polinomial, eksponensial, log, dan fungsi trigonometri), tetapi tidak, katakanlah, deret Taylor. Apakah...
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 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...
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,...
Apakah ada masalah decidability yang tidak diketahui tetapi diketahui pasti bahwa masalahnya kurang sulit daripada masalah
Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti...
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)
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...
Pertimbangkan istilah yang dibangun dari elemen QQ\mathbb Q dan operasi +,×,−,/+,×,−,/+,\times,-,/, dan ⋅−−√n⋅n\sqrt[n]{\,\cdot\,} untuk setiap bilangan alami nnn. Mengingat janji bahwa dua istilah terbentuk dengan baik - yaitu, tidak ada pembagian dengan nol, dan bahkan tidak ada akar angka...
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...
Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk...