Saya sedang memikirkan tata bahasa untuk bahasa indendasi-sensitif dan sepertinya tata bahasa CF akan melakukan trik jika dikombinasikan dengan parameter. Sebagai contoh, pertimbangkan fragmen ini untuk tata bahasa Python yang disederhanakan dalam format seperti ANTLR: // on top-level the...
Ada banyak bahasa populer. Tetapi, para ilmuwan komputer memberi tahu kita bahwa untuk memahami perilaku program dalam bahasa-bahasa itu dengan jelas dan jelas mendebatkan perilaku program (misalnya membuktikan identitas mereka), kita perlu menerjemahkannya ke bahasa lain yang dipahami dengan baik....
Saat melakukan tugas saat ini untuk bahasa formal dan kursus automata saya, saya agak terjebak pada latihan yang melibatkan bahasa unary (saya harap itu istilah yang tepat), yaitu, bahasa yang dibangun di atas satu huruf. Saya tidak ingin bertanya tentang latihan spesifik, tetapi tentang dugaan...
Saya mencari algoritma yang efisien untuk masalah berikut atau bukti NP-hardness. Biarkan menjadi himpunan dan seperangkat himpunan bagian dari . Temukan urutan panjang paling sedikit sehingga untuk setiap , ada sedemikian rupa sehingga .Σ\SigmaA⊆P(Σ)A\subseteq\mathcal{P}(\Sigma)Σ\Sigmaw∈Σ∗w\in...
Saya tahu bahwa ada bahasa non-reguler, sehingga teratur, tetapi semua contoh yang saya temukan adalah peka konteks tetapi tidak bebas konteks.L∗L∗L^* Jika tidak ada, bagaimana Anda
Saya mempelajari bahasa formal dan sistem basis produksi (sistem basis aturan) dan saya sedikit bingung mengapa dua kata "produksi" dan "aturan" ini memiliki arti yang sama dalam banyak konteks dalam Ilmu Komputer. Dalam Bahasa Inggris mereka tampaknya tidak berarti hal yang sama. Saya bukan...
Tampaknya "Ekspresi Reguler Dasar" seperti yang didefinisikan oleh POSIX.1-2008 tidak mendukung pergantian, a|b(meskipun beberapa implementasi grep mengenali versi yang lolos, \|). Karena bahasa reguler ditutup di bawah penyatuan menurut definisi, apakah ini berarti bahwa POSIX BRE memiliki daya...
adalah bahasa reguler di atas alfabet Σ = { a , b } . Hasil bagi kiri L mengenai w ∈ Σ ∗ adalah bahasa w - 1 L : = { v ∣ w v ∈ L }LLLΣ = { a , b }Σ={Sebuah,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in \Sigma^*w- 1L : = { v ∣ w v ∈ L }w-1L: ={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Bagaimana saya bisa...
Saya sangat suka bantuan Anda dengan yang berikut: Untuk setiap tetap saya perlu untuk memutuskan apakah ada penutupan di bawah operator berikut:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid...
Tetapkan bahasa sebagai . Dengan kata lain,LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLL berisi kata-kata yang tidak dapat diekspresikan karena beberapa kata diulang dua kali. ApakahLLL bebas konteks atau tidak? Saya sudah mencoba untuk berpotongan...
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...
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...
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...
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...
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...
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...
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...
Saya pikir semua bahasa reguler dapat diekspresikan dengan ekspresi reguler (jika suatu bahasa biasa, dapat diekspresikan dengan regex), tetapi saya telah diberitahu bahwa Anda memerlukan ketiga operasi reguler (penggabungan, penyatuan, dan bintang) untuk itu untuk menahan. Sebagai contoh, saya...
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,...
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....