Pertanyaan yang diberi tag «regular-languages»

Saya punya dua pertanyaan: Saya menganggap bahasa berikut Dengan kata lain, bukan palindrome dengan panjang genap. Saya membuktikan bahwa bahasa ini BUKAN reguler dengan membuktikan bahwa komplemennya tidak teratur. Pertanyaan saya adalah bagaimana membuktikannya menggunakan lemma pemompaan tanpa menggunakan komplemen.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L1={w∈{0,1}∗∣∄u∈{0,1}∗:w=uuR}.L_1= \{ w\in \{0,1\}^* \mid \not \exists u\in \{0,1\}^* \colon w= …

8 formal-languages  regular-languages  pumping-lemma 

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 …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Menunjukkan bahwa L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} tidak teratur Hai teman-teman. Saya mengambil kelas CS dan hal ini benar-benar baru bagi saya jadi bersabarlah. Saya mencoba melihat apakah saya mendapatkan beberapa kontradiksi dengan menggunakan lemma pemompaan untuk bahasa reguler dan saya mengatasinya seperti ini: Seharusnya LLLteratur. Maka harus ada bilangan …

8 regular-languages  pumping-lemma 

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 …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Saya sedang mengerjakan parser untuk bahasa gaya-C, dan untuk parser itu saya perlu ekspresi reguler yang cocok dengan gaya-C / ** / komentar. Sekarang, saya telah menemukan ungkapan ini di web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ Namun, seperti yang Anda lihat, ini adalah ekspresi yang agak berantakan, dan saya tidak tahu apakah itu benar-benar …

8 compilers  parsers  regular-languages