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...
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...
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...
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...
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...
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:{ 0 ,...
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...
Di kelas profesor kami menunjukkan kepada kami 3 metode untuk membuktikan ketidakteraturan: Teorema Myhill – Nerode Memompa Lemma untuk bahasa reguler Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov Sekarang dua yang pertama, teorema Myhill-Nerode dan Pumping lemma, saya mengerti...
Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi...
Saya mengalami masalah dalam menentukan apakah semua angka kuadrat (1, 4, 9, 16, ...) ditulis dalam bentuk biner (1, 100, 1001, ...) adalah bahasa biasa. Setelah beberapa upaya untuk menemukan pola umum dari angka-angka itu, saya menemukan bahwa untuk setiap angka kuadrat , sama dengan 0 atau 1,...
Pertimbangkan urutan . Tampaknya "biasa" dengan cara yang, misalnya tidak.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Saya tidak yakin bagaimana memformalkan intuisi ini. Satu hal yang mengejutkan saya adalah bahwa adalah bahasa biasa,...
Dalam kursus konsep bahasa pemrograman kami, instruktur kami mengklaim bahwa tidak apa-apa bagi keadaan akhir untuk mengarah ke keadaan lain dalam diagram keadaan terbatas. Tetapi ini tampaknya merupakan konsep yang secara fundamental kontradiktif. Karena definisi final adalah definisi yang...
Saya mencoba untuk menyerang TAOCP sekali lagi, mengingat beratnya volume sebenarnya saya mengalami kesulitan untuk melakukannya dengan serius. Dalam TAOCP 1 Knuth menulis, halaman 8, konsep-konsep dasar :: Membiarkan AAAmenjadi set huruf yang terbatas. MembiarkanA∗A∗A^* menjadi himpunan semua...