Pertanyaan yang diberi tag «formal-languages»

Ini adalah pertanyaan tindak lanjut dari yang satu ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan …

16 formal-languages  automata  closure-properties 

Saya tidak jelas tentang penggunaan frasa "tak terbatas" bahasa atau "terbatas" bahasa dalam teori komputer. Saya pikir akar masalahnya adalah bahwa bahasa seperti tidak terbatas dalam arti bahwa ia dapat menghasilkan jumlah string yang tak terbatas (tetapi dapat dihitung). Namun, itu masih dapat dikenali oleh otomat keadaan terbatas .L={ab}∗L={ab}∗L=\{ab\}^* Juga …

16 formal-languages  terminology  regular-languages 

Biarkan Σ = { 0 , 1 } . Sebuah bahasa L ⊆ Σ * dikatakan memiliki "anti-palindrom" properti jika untuk setiap string yang w yang palindrom, w ∉ L . Selain itu, untuk setiap string yang u yang tidak sebuah palindrom baik u ∈ L atau R e v …

15 formal-languages 

Dalam buku teks saya disebutkan bahwa: mana adalah bahasa kosong.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Namun, kita tahu bahwa L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , di mana LLL adalah Bahasa apa pun. Saya tidak dapat memahami konsep ini secara intuitif karena operasi bintang Kleene menunjuk pada fakta bahwa ∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots …

15 formal-languages  kleene-star 

Jadi pada dasarnya L memenuhi kondisi lemma pemompaan untuk CFL tetapi bukan CFL (itu mungkin menurut definisi lemma).

15 formal-languages  context-free  pumping-lemma 

Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi dari jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan bagian atau …

15 formal-languages  automata  nondeterminism 

Apakah ada karakterisasi aljabar dari jumlah kata dengan panjang tertentu dalam bahasa biasa? Wikipedia menyatakan hasil yang agak tidak tepat: Untuk bahasa biasa ada konstanta λ 1 ,LLL dan polinomial p 1 ( x ) ,λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k sedemikian rupa sehingga untuk setiap n angka s L ( n ) dari kata-kata …

15 formal-languages  regular-languages  word-combinatorics 

Dapat diperdebatkan bahwa sebagian besar bahasa yang dibuat untuk menggambarkan masalah sehari-hari bersifat peka konteks. Di sisi lain, adalah mungkin dan tidak sulit untuk menemukan beberapa bahasa yang tidak recursive atau bahkan tidak recursively-enumerable. Di antara kedua jenis ini adalah bahasa non-konteks-sensitif rekursif. Wikipedia memberikan satu contoh di sini : …

15 formal-languages  complexity-theory  formal-grammars 

Diberi bahasa , tentukan panjang himpunan L sebagai himpunan panjang kata dalam L : L S ( L ) = { | kamu | ∣ u ∈ L }L.LLL.LLL.LLL S (L)={ | kamu | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Set bilangan bulat mana yang dapat menjadi set …

15 formal-languages  computability  regular-languages  finite-automata 

Saya biasanya menggunakan simbol untuk string kosong (kata kosong atau string kosong). Tapi saya tahu beberapa orang menggunakan bukan .εε\varepsilonλλ\lambdaεε\varepsilon Saya pikir berasal dari kata "Kosong". Namun saya tidak tahu apa asal usul .εε\varepsilonλλ\lambda Dalam teori automata, ada transisi epsilon automata, dan itu juga dikatakan sebagai transisi lambda. Sebagai contoh, …

14 formal-languages  automata  reference-request  notation  history 

Diberi alfabet Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , berapa banyak bahasa reguler yang berbeda yang dapat diterima oleh otomat terbatas non-deterministik nnn -negara? Sebagai contoh, mari kita pertimbangkan n=3n=3n=3 . Kami kemudian memiliki 2182182^{18} konfigurasi transisi yang berbeda dan 23232^3 konfigurasi awal dan akhir yang berbeda, jadi kami memiliki batas …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Saya mencoba belajar sendiri tentang penggunaan bison. Halaman manual bison (1) mengatakan tentang bison: Hasilkan parser LR deterministik atau LR (GLR) umum yang menggunakan LALR (1), IELR (1), atau tabel parser LR (1) kanonik. Apa itu parser IELR? Semua artikel relevan yang saya temukan di world wide web adalah paywalled.

14 formal-languages  terminology  formal-grammars  parsers 

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Biarkan GGG menjadi tata bahasa bebas konteks. Serangkaian terminal dan nonterminals dari GGG dikatakan menjadi bentuk sentensial dari GGG jika Anda bisa mendapatkannya dengan menerapkan produksi dari GGG nol atau beberapa kali untuk simbol awal SSS . Mari SF(G)SF⁡(G)\operatorname{SF}(G) adalah himpunan bentuk sentensial GGG . Mari α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) dan …

14 formal-languages  context-free  formal-grammars  closure-properties 

Saya bertanya-tanya tentang hubungan antara kompleksitas komputasi dan hierarki Chomsky, secara umum. Secara khusus, jika saya tahu bahwa beberapa masalah adalah NP-complete, apakah itu mengikuti bahwa bahasa masalah itu tidak bebas konteks? Misalnya, masalah klik adalah NP-lengkap. Apakah itu mengikuti bahwa bahasa yang sesuai dengan model dengan klik adalah kompleksitas …

14 complexity-theory  formal-languages