Pertanyaan yang diberi tag «context-free»

Dalam kata pengantar untuk bukunya yang sangat berpengaruh Automata, Bahasa dan Mesin (Volume A, B), Samuel Eilenberg menggoda Volume C dan D yang berurusan dengan "suatu hierarki (disebut hirarki rasional) dari fenomena non-rasional ... menggunakan hubungan rasional sebagai alat untuk perbandingan. Rasional set berada di bagian bawah hierarki ini. Bergerak …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Dalam banyak makalah yang melibatkan tata bahasa bebas konteks (CFG), contoh-contoh tata bahasa yang disajikan di sana sering mengakui karakterisasi yang mudah dari bahasa yang mereka hasilkan. Sebagai contoh: S→aaSbS→aaSbS \to a a S b S→S→S \to menghasilkan {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S …

25 fl.formal-languages  context-free  context-free-languages 

Secara praktis, untuk bahasa yang pada akhirnya dapat dikompilasi / diubah menjadi instruksi tingkat sistem, apakah perlu bahwa itu adalah tata bahasa bebas konteks? mis: Apakah semua bahasa pemrograman / scripting konteks tata bahasa gratis? Java didasarkan pada CFG, tetapi apakah sebenarnya semua bahasa pemrograman didasarkan pada CFG? Tampaknya tidak …

23 pl.programming-languages  context-free 

Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik :O ( n2)HAI(n2)O(n^2) Bisakah semua tata bahasa …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi jika Anda mengetahuinya, Anda juga dapat mempostingnya sebagai …

21 reference-request  big-list  context-free 

Dilambangkan dengan wnwnw_n jumlah kata-kata panjang nnn dalam (mungkin ambigu) bahasa bebas konteks. Apa yang diketahui tentang wnwnw_n ? Saya yakin ini sudah banyak dipelajari, tetapi saya tidak dapat menemukan apa pun di dalamnya.

20 fl.formal-languages  context-free 

Diberikan reguler , apakah ada batasan non-sepele pada ukuran tata bahasa bebas konteks terkecil untuk ?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Saya pernah membaca di suatu tempat bahwa mesin Turing tidak dapat menghitung ini dan karena itu tidak dapat diputuskan tetapi mengapa? Mengapa secara komputasi mustahil bagi mesin untuk menghasilkan pohon parse dan membuat keputusan? Mungkin saya salah dan itu bisa dilakukan?

19 computability  turing-machines  context-free 

Ada banyak algoritma yang dapat menguraikan tata bahasa bebas konteks dalam waktu . Dengan menggunakan perkalian matriks, seseorang bahkan bisa berjalan lebih cepat tanpa gejala dari itu.O ( n3)O(n3)O(n^3) Namun, semua algoritma untuk parsing CFG sewenang-wenang yang saya tahu memiliki penggunaan ruang kasus terburuk (meskipun, diakui, saya tidak tahu apa …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Dalam buku Sakarovitch tentang teori automata, ada tertulis di bagian pengantar tentang rasionalitas dalam kelompok bebas bahwa materi yang disajikan di dalamnya meletakkan "landasan teori matematika yang benar-benar bahasa bebas konteks". Namun demikian, ini tidak dibuat eksplisit, karena bahasa bebas konteks dan automata pushdown berada di luar cakupan buku ini. …

17 context-free  automata-theory  reference-request 

Ini adalah bukti standar dalam kursus automata bahwa untuk dan bahwa bukan bahasa bebas konteks.L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} Juga benar bahwa untuk setiap terbatas , adalah terbatas (dan karena itu CFL). Saya menduga bahwa yang tak terbatas dan teratur tidak "cukup" untuk bukan …

16 context-free 

Dalam deskripsi formal Deterministic Pushdown Automata, mereka memungkinkan bergerak, di mana mesin dapat memunculkan atau mendorong simbol ke stack tanpa membaca simbol dari input. Jika ϵ gerakan ini tidak diizinkan, dan tumpukan hanya dapat dimodifikasi satu kali setelah setiap simbol dibaca, apakah automata yang dihasilkan setara dengan daya untuk DPDA?ϵϵ\epsilonϵϵ\epsilon …

16 automata-theory  context-free 

Saya bertanya-tanya, apakah ada makalah atau penelitian yang berhubungan dengan automata yang terlihat jelas, tetapi membiarkan kata-kata, daripada huruf tunggal, untuk didorong ke tumpukan. Bergantian, konstruksi yang memungkinkan untuk simbol harus didorong pada -transitions bisa mencapai tujuan yang sama.ϵϵ\epsilon Jelas, variasi seperti itu dapat dibentuk, tapi saya bertanya-tanya apakah itu …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

Ungkapan permutasi adalah ekstensi ke definisi tata bahasa bebas konteks standar (E) BNF: frase permutasi berisi produksi (atau setara, nonterminals) hingga . Pada posisi kalimat permutasi, kami ingin melihat setiap produksi ini tepat satu kali, tetapi kami tidak tertarik dengan pemesanan nonterminal ini.{ A1, ... , An}{SEBUAH1,...,SEBUAHn}\{ A_1, \dots, A_n …

16 ds.algorithms  fl.formal-languages  parsing  context-free