Ada masalah terbuka dalam bahasa formal yang dikenal sebagai Masalah Pemisahan; yang secara singkat dinyatakan memiliki dua string panjang , seberapa besar DFA diperlukan untuk "memisahkan" mereka, artinya menerima satu string tetapi menolak yang lain.nnn Berikut adalah beberapa makalah yang...
Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = {nnn .L.n= {ww|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .L.nLnL_n2 n2n2n Pertimbangkan fungsi kompleksitas keadaan berikut...
Di mana saya dapat menemukan pengantar untuk automata probabilistik dan apa yang mereka kenali (fungsi tertentu dari kata ke )? Apakah ada istilah standar untuk fungsi seperti itu yang dikenali oleh automata probabilistik, analog dengan "bahasa reguler" untuk apa yang dikenali deterministik finite...
Tidak diketahui apakah atau P ⊈ C S L , di manaP⊆ CSL.P⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL adalah himpunan semua bahasa yang dapat ditentukan dalam waktu polinomial pada mesin Turing deterministik, danPPP adalah kelas bahasa konteks-sensitif, yang dikenal setara dengan N S P A C E (...
Dalam pengalaman saya, bahasa yang peka konteks dan automata terbatas linier sering dilewati atau dilompati dalam mata kuliah teori komputabilitas, dan bahkan ditinggalkan dari beberapa buku teks terkemuka, meskipun automata terbatas dan pushdown menerima banyak perhatian. Tentunya harus ada alasan...
Apakah ada permutasi dan ukuran polinomial (dalam ) konteks tata bahasa gratis yang menggambarkan bahasa hingga lebih dari alfabet ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} PEMBARUAN: Untuk satu permutasi ππ\pi dimungkinkan. ππ\pi...
Bagan parser dapat diimplementasikan berdasarkan bentuk normal Chomsky atau langsung berdasarkan aturan produksi. Mari kita asumsikan kita memiliki parser bagan CYK yang menggunakan bentuk normal Chomsky. Binarisasi tidak didefinisikan secara unik. Apakah ini berdampak pada kinerja bagan CYK parse....
Saya bertanya-tanya tentang kumpulan bahasa apa yang dihasilkan oleh pembatasan ekspresi reguler. Andaikan semua batasan memiliki simbol konstan untuk setiap elemen dan gabungan. Kemudian delapan kelas dapat dibentuk dengan ada atau tidak adanya komplemen / negasi, alterasi / persatuan, dan bintang...
Saya belajar teori aljabar parsing. Masalah pertama saya adalah mengidentifikasi contoh semiring yang spesifik untuk teori bahasa formal. Berikut ini adalah upaya untuk membangun dua contoh. 1 Dengan tata bahasa CNF, elemen semiring adalah kumpulan simbol terminal dan nonterminal dengan...
Saya ingin tahu mengapa untuk pengenalan bahasa bebas konteks, hanya automata push-down (DPA = NPDA) non-deterministik yang berfungsi. Mengapa deterministic push-down automata (DPDA) tidak mengenali bahasa seperti
Apa rasio CFG ambigu dengan semua CFG ? Karena kedua himpunan ini tak terhingga tak terhingga rasionya tidak terdefinisi dengan baik. Tapi bagaimana dengan kepadatan asimptotik : limn ↦ ∞# CFG ambigu ukuran < n# CFG ukuran < nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n...
Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L ⊆ A ∗SEBUAHAAL ⊆ A∗L⊆A∗L \subseteq A^{\ast} M L φ : A ∗ → M L = φ - 1 ( φ ( L ) ) )M.(...
Ada sejumlah model berbeda untuk mendefinisikan transformasi antar bahasa. Transduser keadaan terbatas dan transformasi grafik MSO-definable atas grafik string adalah dua yang paling saya kenal. Kita tahu bahwa transduser keadaan terbatas 2-arah (yang lebih ekspresif daripada rekan-rekan 1-arah...
Apakah ada beberapa hasil pada penyelesaian masalah bahasa formal menggunakan analisis matematika, matematika kontinu. Misalnya, menyelesaikan masalah non-kekosongan persimpangan untuk bahasa bebas konteks dan bahasa
Saya sedang mempertimbangkan masalah mengenali bahasa (lebih dari alfabet 0-9 dan spasi) yang mengandung string seperti "1 2 3 4 5 6" dan "14 15 16 17" tetapi tidak "1 3". Ini muncul saat mengerjakan tugas parsing umum di mana elemen harus ada dalam daftar yang diurutkan. Saya tersadar bahwa...
Pertimbangkan bahasa regex dengan quantifier greedy , quantifier nongreedy, pergantian kelas, dan kelas karakter. (Ini pada dasarnya adalah sebuah subbahasa dari PCRE tanpa referensi balik, pernyataan sekilas, atau beberapa bit lain yang lebih menarik.)∗∗*∗ ?∗?{*}? Sebuah pertandingan untuk untuk...
Saya ditanyai oleh siswa berikut, dan tidak dapat memberikan jawaban lengkap: Apakah ada properti penutupan untuk kelas bahasa yang tidak bebas konteks? Cukup mudah untuk menemukan contoh yang menunjukkan bahwa itu tidak ditutup di bawah persimpangan dan iterasi (operator bintang Kleene), tetapi...
Saya mencoba untuk memperjelas pemahaman saya dalam contoh yang disajikan dalam Bagian 2.2 dari Quantum Finite Automata 1-arah: Kekuatan Kelemahan dan Generalisasi ( tautan alternatif ini juga mungkin berguna). Contoh ini memberikan contoh 1-QFA yang sangat terbuka dengan aturan transisi...
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa...
Dalam pekerjaan saya muncul masalah klasifikasi CFL di bawah gambar fungsi rasional. Dalam istilah lain, apa kelas bahasa bahasa membentuk , untuk konteks tetap bahasa bebas L dan deterministik negara yang terbatas transduser T . Saya telah memperoleh beberapa hasil mudah seperti bahasa Dyck dengan...