Pertanyaan yang diberi tag «closure-properties»

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

4
Jika adalah bahasa biasa maka biasa untuk?
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!
1
Bintang Kleene dari bahasa unary yang tak terbatas selalu menghasilkan bahasa yang teratur
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, …
1
Apakah ada satu-counter bahasa yang benar-benar non-deterministik yang komplemennya adalah satu-counter?
Biarkan A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Jelas,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Apakah ini ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Saya tahu bahwa untuk bahasa bebas konteks, analognya tidak demikian. …
3
Bahasa bebas konteks ditutup di bawah Pembalikan
Di kelas minggu ini kita telah belajar tentang CFL dan properti penutupannya. Saya telah melihat bukti untuk persatuan, persimpangan dan pujian tetapi untuk pembalikan dosen saya hanya mengatakan itu ditutup. Saya ingin melihat buktinya jadi saya sudah mencari selama beberapa hari terakhir, tetapi yang saya temukan adalah kebanyakan orang hanya …
3
Membuktikan bahasa yang terdiri dari semua string dalam beberapa bahasa sama panjangnya dengan beberapa string dalam bahasa lain biasa
Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk persamaan: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L = \{x \in A \mid \exists …
1
Buktikan bahwa bahasa reguler ditutup di bawah operator siklus
Saya mendapat ujian beberapa hari dan memiliki masalah untuk menyelesaikan tugas ini. Membiarkan LLL menjadi bahasa biasa di atas alfabet ΣΣ\Sigma. Kami memiliki operasi cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Dan sekarang kita harus menunjukkan itu cycle(L)cycle⁡(L)\operatorname{cycle}(L) juga biasa. Referensi …
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.