Pertanyaan yang diberi tag «regular-languages»

Pertanyaan tentang properti dari kelas bahasa reguler dan bahasa individual.

2
Partisi bahasa reguler yang tak terbatas menjadi 2 bahasa yang tak terbatas yang terpisah
Diberi bahasa reguler tak terbatas L.LL, bagaimana saya bisa membuktikannya L.LL dapat dipartisi menjadi 2 bahasa reguler tak terhingga terpisah L.1,L.2L1,L2L_1, L_2? Itu adalah:L.1∪L.2= LL.1∪L.2=L.L_1 \cup L_2 = L, L.1∩L.2= ∅L.1∩L.2=∅L_1 \cap L_2 = \varnothing, dan L.1L.1L_1 dan L.2L.2L_2 keduanya tak terbatas dan teratur. Sejauh ini, saya memikirkan: menggunakan lemma …
5
Automata keadaan terbatas: keadaan akhir
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 mengakhiri transisi, yaitu, begitu Anda mencapainya, tidak ada lagi yang bisa …
2
Apakah ada analog "reguler" untuk string tak terbatas?
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, dan dalam batas tertentu adalah batasan dari string dalam bahasa ini.L={(01)n}L={(01)n}L =\{(0 1)^n\}s1s1s_1 …
1
Bukti penutupan yang salah di bawah operasi bintang menggunakan NFA menghasilkan NFA mengenali string yang tidak diinginkan?
Saat ini saya sedang membaca buku Pengantar Teori Komputasi (edisi ke-2 atau ke-3) oleh Michael Sipser , dan telah menemukan pertanyaan di Bab 1 - Bahasa Reguler , yaitu ketika penulis menyajikan ide bukti Teorema 1.49 - "Kelas bahasa reguler ditutup di bawah operasi bintang." menggunakan NFA. Pendekatan yang disarankan …
2
Bukti ketidakteraturan, berdasarkan kompleksitas Kolmogorov
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 dengan baik dan saya juga bisa melakukan latihan dengan dua metode pertama. Tapi …
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
Membuktikan bahwa bahasa itu teratur atau tidak teratur
Membiarkan LLLmenjadi bahasa biasa. Buktikan bahwa: L+−−={w:∃u|u|=2|w|∧wu∈L}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} L++−={w:∃u2|u|=|w|∧wu∈L}L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge wu\in L \right\} L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L−+−={w:∃u,v|u|=|w|=|v|∧uwv∈L}L_{-+-}=\left\{w:\exists_{u,v} |u|=|w|=|v| \wedge uwv\in L\right\} teratur dan: L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L+−+={uv:∃w|u|=|w|=|v|∧uwv∈L}L_{+-+}=\left\{ uv:\exists_w |u|=|w|=|v| \wedge uwv\in L \right\} tidak teratur. Tampaknya sangat sulit bagi saya. Saya kira 1-3 serupa (tapi saya mungkin salah), tetapi saya …
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.