Pertanyaan yang diberi tag «computability»

Mesin Turing dan tata bahasa tidak terbatas adalah dua formalisme berbeda yang mendefinisikan bahasa RE. Beberapa bahasa RE dapat dipilih, tetapi tidak semua. Kita dapat mendefinisikan bahasa yang dapat diputuskan dengan mesin Turing dengan mengatakan bahwa bahasa dapat diputuskan jika ada TM untuk bahasa yang menghentikan dan menerima semua string …

10 computability  turing-machines  formal-grammars 

Terbukti bahwa jaringan syaraf tiruan dengan bobot rasional memiliki kekuatan komputasi dari mesin Turing Universal Turing Machine dengan Neural Nets . Dari apa yang saya dapatkan, tampaknya menggunakan bobot bernilai nyata menghasilkan kekuatan komputasi yang lebih besar, meskipun saya tidak yakin dengan yang ini. Namun, apakah ada korelasi antara kekuatan …

10 computability  neural-networks 

Saya mendapatkan bukti pergi dari pencacah ke Mesin Turing (tetap menjalankan pencacah dan melihat apakah itu cocok dengan input) tetapi saya tidak melihat bagaimana cara lain bekerja. Menurut catatan dan buku saya (Pengantar Teori Komputasi - Sipser), untuk mendapatkan enumerator Turing dari mesin Turing, pada dasarnya kami menulis semua kombinasi …

10 computability  turing-machines  intuition 

Apakah ada kebutuhan untuk untuk menjadi tak terbatas untuk diputuskan?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Maksud saya bagaimana jika kita memilih bahasa menjadi versi terbatas terbatas , yaitu , ( ), dengan . Mungkinkah menjadi bahasa yang tidak dapat ditentukan? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L …

10 formal-languages  computability  undecidability 

Biarkan A dan B menjadi bahasa dengan A ⊆ B, dan B dikenali Turing. Bisakah A menjadi Turing-dikenali? Jika ya, apakah ada contoh?

10 computability 

OK, jadi inilah pertanyaan dari tes sebelumnya di kelas Teori Komputasi saya: Keadaan tidak berguna di TM adalah yang tidak pernah dimasukkan pada string input apa pun. Biarkan Buktikan bahwa tidak dapat ditentukan.USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle …

10 computability  undecidability  formal-methods  turing-machines 

Apakah "teorema Padi untuk real yang dapat dihitung" - yaitu, tidak ada properti nontrivial dari angka yang diwakili oleh real komputer yang diberikan yang dapat ditentukan - benar? Apakah ini sesuai dengan beberapa cara langsung dengan keterhubungan real?

10 computability  real-numbers  computable-analysis 

Di situs ini ada banyak varian pada pertanyaan apakah TM dapat memutuskan masalah penghentian, apakah untuk semua TM lain atau subset tertentu. Pertanyaan ini agak berbeda. Ia bertanya apakah fakta masalah penghentian berlaku untuk semua TM dapat diputuskan oleh TM. Saya percaya jawabannya tidak, dan ingin memeriksa alasan saya. Tetapkan …

9 computability  turing-machines  undecidability  halting-problem 

Satu pernyataan teorema Rice diberikan pada halaman 35 dari "Kompleksitas Komputasi: Pendekatan Modern" (Arora-Barak): Fungsi parsial dari {0,1}∗{0,1}∗\{0,1\}^* hingga {0,1}∗{0,1}∗\{0,1\}^* adalah fungsi yang tidak harus didefinisikan pada semua inputnya. Kita mengatakan bahwa TM MMM menghitung fungsi parsial fff jika untuk setiap xxx di mana fff didefinisikan, M(x)=f(x)M(x)=f(x)M(x) = f(x) dan …

9 computability  turing-machines  undecidability  rice-theorem 

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 semua bahasa Turing dapat direduksi menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , jadi A≤TBSEBUAH≤TBA \le _T B …

9 computability  reductions  undecidability 

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 = NP?") Juga dapat dipilih: ya atau …

9 computability  undecidability 

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? Pada dasarnya: Halts(TM, I) IF TM == …

9 computability  undecidability  halting-problem 

Untuk membuktikan bahwa 3-pewarnaan dapat dipilih, apakah cukup untuk mengatakan: Setiap node dalam grafik memiliki 3 warna yang memungkinkan Karena itu kita dapat menghitung semua kemungkinan dan kemudian memeriksa bahwa tidak ada dua sisi yang menghubungkan node dengan warna yang sama3n3n3^n Apakah itu membuktikan bahwa 3-pewarnaan dapat dipilih? Atau apakah …

9 computability  turing-machines  colorings 

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 masalah ini dapat diputuskan? Jika tidak, apakah itu bisa ditentukan? (Saya bertanya karena saya sedang …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Ini adalah tindak lanjut dari pertanyaan lain di sini , dan saya harap itu tidak terlalu filosofis. Seperti yang ditunjukkan oleh Raphael dalam komentar pada pertanyaan saya sebelumnya, saya tidak benar-benar mendapatkan definisi "computable", tetapi menurut beberapa makalah yang saya baca, definisi itu juga tidak begitu jelas dalam hal model …

9 computability  computation-models