Pertanyaan yang diberi tag «fl.formal-languages»

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 ( O ( n ) ) …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Pernyataan masalah : Biarkan menjadi otomat pushdown (berpotensi tidak deterministik) dan biarkan menjadi alfabet inputnya. Apakah ada kata st yang diterima oleh ?A w ∈ A ∗ | w | ≤ k MM.MMSEBUAHA\cal Aw ∈ A∗w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.MM Apakah ini masalah NP-complete? Apakah sudah …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

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 biasa.

9 fl.formal-languages  automata-theory  context-free 

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 mereka) dan transformasi string yang terdefinisi MSO menangkap set transformasi yang sama …

9 fl.formal-languages 

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 ( φ …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

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 \mapsto \infty}\frac {\# \text{ …

9 fl.formal-languages  grammars  context-free 

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 itu?

9 fl.formal-languages  automata-theory  context-free 

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 operasi: i) Perkalian , bergabung dengan dua set pasangan-bijaksana sesuai …

9 fl.formal-languages 

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 Kleene. (Ya, ekspresi reguler 'normal' tidak memiliki operator C …

9 fl.formal-languages  regular-expressions 

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. Bisakah ini dieksploitasi untuk meningkatkan kinerja parser bagan CYK?

9 fl.formal-languages  parsing 

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 adalah pembalikan atau modifikasi pembalikan yang relatif kecil.

9 fl.formal-languages  grammars  context-free 

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 bagus mengapa BBA diberikan lebih sedikit fokus daripada rekan-rekan mereka?

9 computability  fl.formal-languages  automata-theory 

The Cerny dugaan adalah pernyataan bahwa setiap sinkronisasi otomat dengan negara memiliki kata sinkronisasi panjang paling . Batas atas saat ini terbaik untuk panjang kata sinkronisasi adalah . Katakanlah dua negara digabung oleh sebuah kata jika kata itu membawa kedua negara ke kondisi yang sama. Argumen tipe lemma pemompaan menunjukkan …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Saya bingung tentang contoh yang diberikan dalam artikel Wikipedia tentang tata bahasa konteks-sensitif: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Saya sudah mengubah bagian yang dibahas di artikel wikipedia, jadi keadaan artikel saat ini akan berbeda dari yang saya bahas dalam pertanyaan ini. Versi asli ada di sini: https://en.wikipedia.org/w/index.php?title=Context-sensitive_grammar&oldid=747616366 Tata bahasa berikut, dengan simbol …

8 fl.formal-languages  grammars 

Terkait dengan pertanyaan terbaru ( Batas pada ukuran NFA terkecil untuk L_k-berbeda ) Noam Nisan meminta metode untuk memberikan batas bawah yang lebih baik untuk ukuran NFA daripada apa yang kita dapatkan dari batas kompleksitas komunikasi. Berikut ini adalah versi khusus dari masalah itu. Misalkan adalah bahasa lebih dari beberapa …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa