Pertanyaan yang diberi tag «formal-languages»

Saya telah menemukan pertanyaan itu: "Berikan contoh dua bahasa biasa yang tidak disatukan oleh bahasa mereka dengan bahasa biasa." Ini cukup mengejutkan bagi saya karena saya percaya bahwa bahasa reguler ditutup di bawah persatuan. Yang berarti bagi saya bahwa jika saya mengambil dua bahasa reguler dan menggabungkannya, saya harus mendapatkan …

12 formal-languages  regular-languages  closure-properties 

Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat mudah. Namun, ketika saya ingin menggunakan DFA ini …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Saya mengerti bahwa tata bahasa bebas konteks dapat digunakan untuk mewakili bahasa bebas konteks. Mungkin ada ambiguitas. Kami juga memiliki bentuk normal seperti bentuk normal Chomsky dan Greibach . Saya tidak bisa mengerti kebutuhan itu. Mengapa mereka penting dalam teori bahasa? Semua buku teks yang saya maksudkan menceritakan tentang bentuk-bentuk …

12 formal-languages  context-free  formal-grammars  normal-forms 

Katakan, . Lalu bagaimana kita dapat membuktikan bahwa adalah teratur?L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Jika teratur, maka tentu saja juga teratur. Jika terbatas, maka ia adalah biasa dan lagi adalah teratur. Saya juga memperhatikan bahwa, untuk , tidak teratur, dan teratur.LLLL∗L∗L^*LLLL∗L∗L^*L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ …

12 formal-languages  regular-languages 

Jika A2A2A^2 teratur, apakah itu mengikuti bahwa AAA teratur? Upaya saya pada bukti: Ya, untuk kontradiksi anggaplah bahwa AAA tidak teratur. Kemudian A2=A⋅AA2=A⋅AA^2 = A \cdot A . Karena penggabungan dua bahasa non-reguler adalah tidak biasa, A2A2A^2 tidak dapat teratur. Ini bertentangan dengan asumsi kami. Jadi AAA biasa. Jadi jika …

12 formal-languages  regular-languages  closure-properties 

Saya melihat Gödelization dalam kursus Theory of Computation. Saya dapat memahami konsep penomoran Gödel, tetapi tidak dapat memahami pentingnya konsep Theory of Computation. Adakah yang bisa tolong tunjukkan beberapa bahan yang baik atau tunjukkan pentingnya.

12 formal-languages  turing-machines 

Biarkan teratur, teratur, tidak teratur. Tunjukkan bahwa tidak teratur atau memberikan contoh balasan.L 1 ∩ L 2 L 2 L 1 ∪ L 2L1L1L_1L1∩ L2L1∩L2L_1 \cap L_2L2L2L_2L1∪ L2L1∪L2L_1 \cup L_2 Saya mencoba ini: Lihatlah . Yang ini biasa saja. Saya dapat membuat otomat terbatas untuk ini: teratur, teratur, jadi hapus …

12 formal-languages  regular-languages 

Saya ingin mengubah pengguna memasukkan ekspresi reguler ke NFA sehingga saya kemudian dapat menjalankan NFA terhadap string untuk tujuan yang cocok. Apa mesin minimum yang dapat digunakan untuk mem-parsing ekspresi reguler? Saya menganggap itu harus berupa push down automaton karena keberadaan kurung berarti kebutuhan untuk menghitung dan DFA / NFA …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

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 

Saya menemukan gambar ini yang menunjukkan bahwa bahasa bebas konteks dan reguler adalah himpunan bagian dari masalah yang efisien (seharusnya ). Saya benar-benar mengerti bahwa masalah yang efisien adalah himpunan bagian dari semua masalah yang dapat diputuskan karena kita dapat menyelesaikannya tetapi bisa memakan waktu yang sangat lama.PP\mathrm{P} Mengapa semua …

12 formal-languages  regular-languages  context-free  efficiency 

Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan kompleksitas keadaan untuk komplemen dan persimpangan mereka, tetapi tidak untuk …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Saya ingin membuktikan bahwa komplemen dari tidak biasa menggunakan properti penutupan.{ 0n1n∣ n ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Saya mengerti memompa lemma dapat digunakan untuk membuktikan bahwa bukan bahasa biasa. Saya juga mengerti bahasa reguler ditutup di bawah operasi pelengkap. Namun, apakah itu juga menyiratkan bahwa pelengkap bahasa non-reguler …

12 formal-languages  regular-languages  closure-properties 

Pertanyaan ini adalah tentang apakah setiap teorema matematika dapat direduksi menjadi pertanyaan apakah satu mesin Turing berhenti. Secara khusus, saya tertarik pada dugaan yang saat ini tidak terbukti. Sebagai contoh: Wikipedia mengatakan bahwa saat ini tidak diketahui apakah ada angka sempurna yang aneh. Karena dapat diputuskan apakah angka yang diberikan …

11 formal-languages  computability  mathematical-foundations 

Sebuah expresssion biasa didefinisikan secara rekursif sebagai aSebuaha untuk beberapaa∈ΣSebuah∈Σa \in \Sigma adalah ekspresi reguler, εε\varepsilon adalah ekspresi reguler, ∅∅\emptyset adalah ekspresi reguler, (R1∪R2)(R1∪R2)(R_1 \cup R_2) mana dan adalah ekspresi reguler adalah ekspresi reguler,R1R1R_1R2R2R_2 (R1∘R2)(R1∘R2)(R_1 \circ R_2) mana dan adalah ekspresi reguler adalah ekspresi reguler,R1R1R_1R2R2R_2 (R1)∗(R1)∗(R_1)^* mana adalah ekspresi reguler …

11 formal-languages  regular-languages  regular-expressions 

Meminimalkan deterministic finite automata (DFAs) adalah masalah yang telah dipelajari secara menyeluruh dalam literatur, dan beberapa algoritma telah diusulkan untuk menyelesaikan masalah berikut: Dengan DFA , hitung DFA minimal yang sesuai yang menerima bahasa yang sama dengan . Sebagian besar algoritma ini berjalan dalam waktu polinomial.ASEBUAHA\mathscr{A}SEBUAHA\mathscr{A} Namun, saya bertanya-tanya apakah …

11 algorithms  formal-languages  finite-automata