Pertanyaan yang diberi tag «formal-languages»

Ketika saya melihat bukti untuk memompa lemma , saya merasa bahwa saya sering kehilangan intuisi di balik kondisi | xy | ≤ p. Apa sebenarnya alasan di balik kondisi ini? Semua literatur yang saya lihat adalah diam (tidak ada bukti, tidak ada diskusi, hanya pernyataan) tentang hal ini, atau menyatakan …

8 formal-languages  regular-languages  pumping-lemma 

Properti "memompa" (kata-kata dengan panjang tertentu menyiratkan keberadaan loop dalam mekanisme pendefinisian bahasa) diketahui ada untuk bahasa reguler dan bebas konteks dan beberapa lainnya (biasanya digunakan untuk menyangkal keanggotaan bahasa ke kelas tertentu) ). Dalam diskusi seputar pertanyaan ini , jawaban Daisy menunjukkan bahwa tidak ada lemma yang memompa untuk …

8 formal-languages  pumping-lemma  context-sensitive 

L : = { w ∈ { 0 , 1}∗|L.: ={w∈{0,1}∗|L := \{w \in \{0,1\}^* | panjang adalah ganjil 1 ada di tengahwww∧∧ \wedge w }w}w\} Jadi alfabetnya adalah . Masalah saya adalah saya tidak bisa melacak persamaan karakter sebelum dan sesudah . DFA terbatas dengan panjang kurang dari 6:{ …

8 formal-languages  finite-automata  formal-grammars 

Pertanyaan saya pada dasarnya diberikan tiga bahasa A, B dan L, di mana L adalah A dan B digabungkan bersama-sama dan B terbukti tidak teratur, apakah mungkin untuk menemukan A yang membuat L teratur?

8 formal-languages  regular-languages 

Kami memiliki dua bahasa: . Kami tahu bahwa adalah bahasa biasa, jadi pertanyaan saya adalah apakah biasa untuk?L.1,L.2L1,L2L_1,L_2L.1L.2L1L2L_1L_2L.2L.1L2L1L_2L_1 Saya mencoba mencari cara untuk membuktikannya ... Tentu saja saya tidak dapat berasumsi bahwa teratur ... Jadi saya mencari cara untuk membuktikannya. L.1,L.2L1,L2L_1,L_2 Saya ingin mendapat petunjuk! Terima kasih!

8 formal-languages  regular-languages  closure-properties 

Saya ingin bertanya apa hubungan antara masalah dan bahasa. Kita tahu bahwa himpunan semua bahasa tidak terhitung. Apakah serangkaian masalah juga tidak terhitung? Bisakah setiap masalah didefinisikan oleh suatu bahasa? Bisakah bahasa memecahkan lebih dari satu masalah dan sebaliknya? Apakah ada korespondensi satu-ke-satu antara masalah dan bahasa?

8 formal-languages 

Menurut grafik ini , DCFL ditutup di bawah pembalikan. Namun, saya tidak yakin sebagai bukti intuitif (membalikkan panah dari mesin negara hingga dan mengalihkan dorongan dan muncul) untuk ini tampaknya tergantung pada non-determinisme dalam memilih transisi nol untuk mengambil dari keadaan awal (karena keadaan awal baru akan berisi transisi nol …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

Membiarkan MMM menjadi NFA asiklik. Sejak MMM asiklik, L(M)L(M)L(M) terbatas. Bisakah kita menghitung |L(M)||L(M)||L(M)| dalam waktu polinomial? Jika tidak, bisakah kita memperkirakannya? Perhatikan bahwa jumlah kata tidak sama dengan jumlah jalur penerimaan di MMM, yang mudah dihitung. Izinkan saya menyebutkan satu pendekatan yang jelas tidak berhasil: ubah NFA menjadi DFA …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Biarkan , di mana dan untuk semua .L={an∣n≥0}L={an∣n≥0}L = \{a^n \mid n \ge 0\}a0=ϵa0=ϵa^0 = \epsilonan=an−1aan=an−1aa^n = a^{n-1}an≥1n≥1n \ge 1 Jadi terdiri dari urutan dari semua panjang, termasuk urutan panjang . Mari menjadi subset tak terbatas . Saya perlu menunjukkan selalu ada DFA untuk mengenali .LLLaaa000L2L2L_2LLLL∗2L2∗L_2^* Jika adalah subset terbatas, …

8 formal-languages  regular-languages  closure-properties 

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 saya?

8 formal-languages  computability  regular-languages  undecidability 

Saya telah mencoba cukup lama untuk menemukan konstruksi sehingga saya dapat secara resmi menunjukkan bahwa PDA deterministik ditutup dengan komplementasi. Namun, kebetulan setiap ide yang saya dapatkan memiliki sesuatu yang pada akhirnya tidak cocok. Bisakah Anda membantu saya? Masalah utama terjadi dengan ε-move . PDA dapat selesai membaca inputnya dalam …

8 formal-languages  automata  closure-properties  pushdown-automata 

Slide kuliah ini membuat sketsa bukti ituL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal. Saya bertanya-tanya, apakah ada yang tahu makalah akademis atau buku …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

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 kelas khusus one-counter automata. Hasil ini kemudian mengikuti untuk kelas semua automata …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Ini agak terkait dengan pertanyaan lain yang saya ajukan , tetapi saya merasa itu cukup berbeda untuk menjamin pertanyaannya sendiri. Saya sedang melakukan penelitian di mana saya mencoba untuk menemukan struktur pelengkap kelas tertentu dari bahasa yang terbatas. Sangat mudah bagi saya untuk mendapatkan DFA minimal yang menerima bahasa-bahasa ini, …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Tentukan kesetaraan Nerode di atas bahasa sebagai iff untuk setiap .L⊆Σ∗L.⊆Σ∗L \subseteq \Sigma^{*}u∼Lvkamu∼L.vu \sim_L vuw∈L⇔vw∈Lkamuw∈L.⇔vw∈L.uw \in L \Leftrightarrow vw \in Lw∈Σ∗w∈Σ∗w \in \Sigma^{*} Nerode ekivalen memiliki banyak kelas ekivalensi tepat ketika dapat dikenali oleh otomat kondisi-terbatas. Ini adalah teorema Myhill-Nerode .∼L∼L.{\sim}_LLL.L Apakah ada karakterisasi serupa dari bahasa bebas konteks? Motivasi: …

8 formal-languages  context-free  pushdown-automata