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 w...
Saya bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah
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...
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...
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...
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...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Saya mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan...
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...
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 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...
Biarkan Apakah ada mesin Turing R yang memutuskan (maksud saya tidak mengenali) bahasa L ∅ ?L.∅= { ⟨ M⟩ ∣ M adalah Turing Machine dan L ( M) = ∅ } .L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and...
Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu...
Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq...
Saya telah menemukan masalah menarik berikut: misalkan menjadi polinomial di atas bidang bilangan real, dan mari kita anggap bahwa koefisien mereka semuanya bilangan bulat (yaitu, ada representasi persis terbatas dari polinomial ini). Jika diperlukan, kita dapat menganggap bahwa tingkat kedua...
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...
Dalam masalah penghentian, kami tertarik jika ada mesin Turing yang dapat mengetahui apakah mesin Turing M yang diberikan berhenti atau tidak pada input yang diberikan i . Biasanya, buktinya mulai dengan menganggap T seperti itu ada. Kemudian, kami mempertimbangkan kasus di mana kami membatasi i...
Apakah menerima berarti bahwa TM akan membaca dan mengenali arang dari sel yang sedang dibacanya? Dan apakah TM berhenti jika inputnya dapat
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 ′ ⊂ L L...
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...