Pertanyaan yang diberi tag «regular-expressions»

Saya memikirkan masalah berikut: Saya ingin menemukan ekspresi reguler yang cocok dengan serangkaian string tertentu (misalnya, alamat email yang valid) dan tidak cocok dengan yang lain (alamat email yang tidak valid). Misalkan dengan ekspresi reguler yang kami maksud adalah mesin negara terbatas yang terdefinisi dengan baik, saya tidak akrab dengan …

43 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Tanyakan bahkan kepada seseorang dengan latar belakang dalam ilmu komputer apa ekspresi reguler itu, dan jawabannya cenderung melampaui batasan berada dalam jangkauan robot kondisi-terbatas. Misalnya, "ekspresi reguler" /^1?$|^(11+?)\1+$/ dibuat oleh kepribadian Perl yang terkenal Abigail (dan bagian dari rangkaian uji Perl sejak 2002) menggambarkan sebuah mesin yang hanya menerima bilangan …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

Sudah diketahui bahwa ekspresi reguler dapat dikenali oleh otomat terbatas nondeterministik dengan ukuran yang sebanding dengan ekspresi reguler, atau oleh FA deterministik yang berpotensi lebih besar secara eksponensial. Lebih lanjut, diberikan string sss dan ekspresi reguler rrr , NFA dapat menguji keanggotaan dalam waktu yang sebanding dengan |s|⋅|r||s|⋅|r||s| \cdot |r|, …

30 fl.formal-languages  automata-theory  regular-expressions 

Saya bertanya-tanya apakah ada algoritma `` lebih baik '' (saya akan menjelaskan dalam arti apa) untuk memulai dari DFA dan membangun ekspresi reguler r sedemikian rupa sehingga L ( A ) = L ( r ) , daripada yang ada di buku karya Hopcroft and Ullman (1979). Di sana, set …

28 fl.formal-languages  automata-theory  regular-expressions 

Mengapa bahasa reguler (dan dari ekspresi reguler itu) disebut "reguler"? Ada banyak keteraturan juga dalam bahasa bebas konteks dari jenis bahasa lainnya. Saya menduga bahwa, pada awalnya, kata sifat "biasa" telah digunakan untuk membedakan jenis bahasa itu dari bahasa "non-reguler" atau entah bagaimana abnormal lainnya. Jika demikian, di mana jenis-jenis …

27 regular-expressions  regular-language  ho.history-overview 

Selain kompleksitas komunikasi (deterministik) dari suatu relasi , ukuran dasar lain untuk jumlah komunikasi yang dibutuhkan adalah nomor partisi protokol . Hubungan antara kedua ukuran ini diketahui hingga faktor konstan. Monograf oleh Kushilevitz dan Nisan (1997) memberikanRc c ( R )cc(R)cc(R)RRR p p ( R )pp(R)pp(R) c c (R)/3≤log2( p …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Diketahui bahwa masalah berikut ini adalah PSPACE-complete: Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?αα\alpha Diberi persamaan reguler , apakah ?L ( β ) = L ( α )ββ\betaL ( β) …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Kebanyakan implementasi modern dari ekspresi reguler, seperti yang ada di perl atau .NET, melampaui definisi ilmu komputer klasik dari REGEX dengan fitur-fitur seperti lookahead dan lookbehind. Apakah fitur-fitur ini membuat mereka menguraikan pernyataan yang tidak dapat dijelaskan dengan otomat terbatas, non-pushdown? Seberapa jauh lebih dekat dengan turing menyelesaikan ini membuat …

19 automata-theory  regular-expressions  fl.formal-languages 

Saya bertanya-tanya apakah spesifikasi JSON mendefinisikan bahasa biasa. Tampaknya cukup sederhana, tetapi saya tidak yakin bagaimana membuktikannya sendiri. Alasan saya bertanya, adalah karena saya bertanya-tanya apakah seseorang dapat menggunakan ekspresi reguler untuk mengurai JSON secara efektif. Bisakah seseorang dengan cukup perwakilan tolong buat tag json dan bahasa biasa untuk saya?

19 fl.formal-languages  regular-expressions  regular-language 

Dua puluh tahun yang lalu, saya membangun paket ekspresi reguler yang mencakup konversi dari ekspresi reguler ke mesin keadaan terbatas (DFA) dan mendukung sejumlah operasi ekspresi reguler tertutup (bintang Kleene, penggabungan, pembalikan, set operasi, dll). Saya tidak yakin tentang kinerja terburuk dari paket saya. DFA memiliki kekuatan ekspresif yang sama …

16 dfa  regular-expressions  bounds 

Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Ketinggian bintang (yang digeneralisasikan) dari suatu bahasa adalah bersarang minimum dari bintang-bintang Kleene yang diperlukan untuk mewakili bahasa dengan suatu ekspresi reguler yang diperluas. Ingatlah bahwa ekspresi reguler yang diperluas menggunakan alfabet terbatas memenuhi yang berikut:AAA (1) dan sebuah diperpanjang ekspresi reguler untuk semua a ∈ A∅,1∅,1\emptyset, 1aaaa∈Aa∈Aa\in A (2) …

15 fl.formal-languages  lower-bounds  regular-expressions 

Apakah ada hierarki "baik" yang diketahui (mungkin terbatas) di dalam kelas bahasa reguler ? Dengan baik di sini, kelas-kelas di setiap hierarki menangkap ekspresifitas / kekuatan / kompleksitas yang berbeda. Juga, keanggotaan masing-masing kelas "baik" ditunjukkan oleh beberapa elemen (tidak seperti masalah ketinggian bintang yang mungkin bermasalah).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq …

14 automata-theory  regular-language  regular-expressions 

Terinspirasi oleh pertanyaan ini , saya ingin tahu tentang yang berikut: Apa kompleksitas kasus terburuk dari memeriksa apakah DFA yang diberikan menerima bahasa yang sama dengan ekspresi reguler yang diberikan? Apakah ini diketahui? Harapannya adalah bahwa masalah ini ada di P - bahwa ada algoritma polinomial dalam ukuran keduanya.

12 automata-theory  lg.learning  regular-expressions  dfa 

Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua ekspresi reguler dan E 2 Pertanyaan: Benarkah L …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions