Pertanyaan yang diberi tag «undecidability»

Aku ingin tahu apakah masalah berikut adalah decidable dan bagaimana untuk mencari tahu. Setiap masalah yang saya lihat saya dapat mengatakan "ya" atau "tidak" untuk itu, jadi apakah sebagian besar masalah dan algoritma dapat dipilih kecuali beberapa (yang disediakan di sini )? Input: Grafik berarah dan berhingga , dengan dan …

17 algorithms  computability  graph-theory  undecidability 

Tidak ada solusi analitik umum untuk masalah n-body yang dapat menghasilkan fungsi analitik yang dapat digunakan untuk memberikan status sistem n-body pada waktu acak t dengan presisi yang tepat. Namun, ada beberapa kasus khusus dari sistem n-body yang fungsi analitiknya diketahui. Dalam banyak cara yang sama, tidak ada algoritma umum …

16 computability  turing-machines  undecidability  computation-models 

Masalah apakah dua automat pushdown mengenali bahasa yang sama tidak dapat diputuskan. Masalah apakah automat pushdown mengenali bahasa kosong dapat diputuskan, maka itu juga dapat memutuskan apakah ia mengenali bahasa yang terbatas. Tidak dapat diputuskan apakah bahasa yang diterima oleh otomat pushdown adalah biasa. Tapi ... ... apakah dapat diputuskan …

16 computability  undecidability  pushdown-automata 

Apakah ada properti yang tidak dapat ditentukan dari automata terbatas linier (menghindari trik bahasa set kosong)? Bagaimana dengan robot terbatas deterministik? (kesampingkan keras kepala). Saya ingin mendapatkan contoh (jika mungkin) dari masalah yang tidak dapat ditentukan yang didefinisikan tanpa menggunakan mesin Turing secara eksplisit. Apakah Turing kelengkapan model diperlukan untuk …

15 computability  automata  undecidability 

Diketahui bahwa bahasa kata yang mengandung angka sama dengan 0 dan 1 tidak teratur, sedangkan bahasa kata yang mengandung angka sama dengan 001 dan 100 adalah teratur ( lihat di sini ). Diberi dua kata , apakah bisa diputuskan jika bahasa kata yang mengandung jumlah dan sama dengan teratur?w 1 …

14 regular-languages  undecidability 

Aku bertanya-tanya bagaimana datang bahwa bahasa berikut ini di .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Saya tahu itu …

14 computability  undecidability 

Saya memiliki pertanyaan-pertanyaan ini dari ujian lama yang saya coba selesaikan. Untuk setiap masalah, input adalah encoding dari beberapa Turing mesin .MMM Untuk bilangan bulat , dan tiga masalah berikut:c>1c>1c>1 Benarkah bahwa untuk setiap input , M tidak lulus posisi saat dijalankan pada ?xxx|x|+c|x|+c|x|+cxxx Benarkah bahwa untuk setiap input , …

14 computability  turing-machines  undecidability 

Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat ditentukan dan tidak dapat ditentukan? Saya berpikir tentang bahasa …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Saya bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah ini.

13 computability  undecidability  decision-problem 

Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat diputuskan dan karenanya TM tidak dapat menyelesaikannya! Karena LBA didefinisikan sebagai …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Saya sedang membahas definisi Wikipedia tentang bahasa yang peka konteks dan saya menemukan ini: Setiap kategori bahasa adalah bagian yang tepat dari kategori yang tepat di atasnya. Otomat apa pun dan tata bahasa apa pun di setiap kategori memiliki otomat atau tata bahasa yang setara dalam kategori tepat di atasnya. …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Apakah ada bahasa yang tidak dapat ditentukan sehingga bahasa gabungan / persimpangan / bahasa bersatu mereka dapat ditentukan? Apa interpretasi fisik dari contoh seperti itu karena secara umum, bahasa yang tidak dapat ditentukan tidak ditutup dalam operasi ini? Apa yang bisa kita katakan tentang penutupan tisu? Apakah kita punya contoh …

12 formal-languages  undecidability  closure-properties 

Apakah keberadaan masalah yang tidak dapat dipastikan segera menyiratkan tidak dapat diprediksinya sistem fisik? Mari kita pertimbangkan masalah penghentian, pertama kita membangun UTM fisik, katakanlah menggunakan konstruksi berbasis sirkuit yang biasa. Maka tidak ada teori fisik yang dapat diputuskan yang dapat menentukan, mengingat pengaturan input dari sirkuit, apakah sirkuit akan …

11 computability  turing-machines  undecidability  physics 

Saya minta maaf jika pertanyaan ini memiliki beberapa jawaban sepele yang saya lewatkan. Setiap kali saya mempelajari beberapa masalah yang telah terbukti tidak dapat diputuskan, saya mengamati bahwa buktinya bergantung pada pengurangan ke masalah lain yang telah terbukti tidak dapat diputuskan. Saya mengerti bahwa itu menciptakan semacam urutan pada tingkat …

11 computability  reductions  undecidability 

Saya sedang membaca jawaban untuk pertanyaan baru-baru ini, dan semacam pemikiran fana yang aneh muncul di benak saya. Saya bertanya ini mungkin mengkhianati bahwa teori saya kurang serius (sebagian besar benar) atau terlalu dini bagi saya untuk membaca situs ini. Sekarang, dengan disclaimer keluar dari jalan ... Ini adalah hasil …

11 turing-machines  undecidability  halting-problem