Pertanyaan yang diberi tag «closure-properties»

Pertanyaan tentang operasi pada objek dari beberapa jenis yang menghasilkan objek dari jenis yang sama.

2
Apakah bahasa bebas konteks dalam
Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh semi-linear π(L)={(m,n)∣ambn∈L}π(L)={(m,n)∣ambn∈L}\pi(L) = \{ (m,n) \mid a^mb^n \in …
2
Apakah set Sebelum dan Setelah untuk tata bahasa bebas konteks selalu bebas konteks?
Biarkan GGG menjadi tata bahasa bebas konteks. Serangkaian terminal dan nonterminals dari GGG dikatakan menjadi bentuk sentensial dari GGG jika Anda bisa mendapatkannya dengan menerapkan produksi dari GGG nol atau beberapa kali untuk simbol awal SSS . Mari SF(G)SF⁡(G)\operatorname{SF}(G) adalah himpunan bentuk sentensial GGG . Mari α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) dan …
2
Penutupan terhadap hasil bagi kanan dengan bahasa tetap
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 \exists y \in L : xy \in L_2\} . Opsi yang relevan adalah: Bahasa reguler ditutup …
7
Apakah
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 …
1
Buktikan bahwa komplemen dari
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 …
1
Membangun semua bahasa bebas konteks dari satu set bahasa dasar dan properti penutup?
Salah satu cara melihat ekspresi reguler adalah sebagai bukti konstruktif dari fakta berikut: adalah mungkin untuk membangun bahasa reguler dengan memulai dengan sekelompok kecil bahasa dan menggabungkannya melalui set kecil, properti penutupan tertutup. Khususnya, jika kita mulai dengan bahasa kosong, bahasa yang berisi string kosong, dan bahasa semua string karakter …
1
Apa artinya mengatakan bahwa suatu bahasa “ditutup secara efektif” di bawah suatu operasi?
Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan normal? Sebagai referensi, makalah yang saya lihat …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.