Menentukan bahasa formal dengan memberikan tata bahasa formal adalah tugas yang sering: kita membutuhkan tata bahasa tidak hanya untuk menggambarkan bahasa, tetapi juga untuk menguraikannya, atau bahkan melakukan sains yang tepat . Dalam semua kasus, penting bahwa tata bahasa yang ada sudah benar ,...
Apakah ada bahasa "alami" yang tidak dapat diputuskan? oleh "alami" Maksudku bahasa yang didefinisikan secara langsung oleh properti string, dan bukan melalui mesin dan setara mereka. Dengan kata lain, jika bahasanya mirip mana adalah TM, DFA (atau regular-exp), PDA (atau tata bahasa), dll.,...
Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya mencari teori matematika yang berhubungan dengan menggambarkan bahasa formal (serangkaian string)
Ketika mempertimbangkan model mesin dari perhitungan, hierarki Chomsky biasanya ditandai oleh (dalam urutan), automata terbatas, automata push-down, automata terikat linier dan Mesin Turing. Untuk level pertama dan terakhir 1 (bahasa reguler dan bahasa yang berulang secara berulang), tidak ada...
Wikipedia memiliki definisi berikut tentang lemma pemompaan untuk bahasa biasa ... Biarkan menjadi bahasa biasa. Kemudian ada bilangan bulat ≥ 1 hanya bergantung pada sehingga setiap string dalam panjang setidaknya ( disebut "panjang pemompaan") dapat ditulis sebagai = (yaitu, dapat dibagi...
Saya ingin mengurai bahasa khusus domain yang ditentukan pengguna. Bahasa-bahasa ini biasanya dekat dengan notasi matematika (saya tidak menguraikan bahasa alami). Pengguna menentukan DSL mereka dalam notasi BNF, seperti ini: expr ::= LiteralInteger | ( expr ) | expr + expr | expr *...
Bahasa bebas konteks tidak ditutup di bawah pelengkap, kami tahu itu. Sejauh yang saya mengerti, bahasa bebas konteks yang merupakan bagian dari a∗b∗a∗b∗a^*b^* untuk beberapa huruf a,ba,ba,b ditutup di bawah pelengkap (!?) Inilah argumen saya. Setiap bahasa CF LLL memiliki gambar Parikh...
Saya terjebak pada pertanyaan berikut: "Bahasa reguler adalah persis yang diterima oleh automata terbatas. Mengingat fakta ini, menunjukkan bahwa jika bahasa LLL diterima oleh beberapa otomat terbatas, maka LRLRL^{R} juga diterima oleh beberapa yang terbatas; LRLRL^{R} terdiri dari semua kata LLL...
Saya mencoba menggunakan pemompaan lemma untuk membuktikan bahwa tidak teratur.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Inilah yang saya miliki sejauh ini: Asumsikan teratur dan biarkan p menjadi panjang pemompaan, jadi w = ( 01 ) p 2 p . Pertimbangkan setiap dekomposisi...
Membiarkan L={an∣∃p≥n p, p+2 are prime}.L.={Sebuahn∣∃hal≥n hal, hal+2 adalah prima}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Apakah teratur?LL.L Pertanyaan ini tampak mencurigakan pada pandangan pertama dan saya menyadari bahwa itu terkait dengan dugaan kembar...
Mari kita pertimbangkan dua tata bahasa bebas konteks dan G 2 dan tanyakan pertanyaan berikut: Apakah L ( G 1 ) = L ( G 2 ) , yaitu, apakah kedua tata bahasa setara?G1G1G_1G2G2G_2L ( G1) = L ( G2)L.(G1)=L.(G2)L(G_1) = L(G_2) Secara umum, masalah ini tidak dapat dipastikan. Namun, jika kedua dan G...
Apakah mesin Turing tanpa kemampuan menulis di sel kosong kurang kuat daripada Turing standar? Saya pikir jawabannya adalah ya tetapi saya tidak dapat menemukan perhitungan yang dapat dilakukan mesin standar Turing tetapi mesin ini tidak bisa. Ada
Apakah ada algoritma / prosedur sistematis untuk menguji apakah suatu bahasa bebas konteks? Dengan kata lain, diberikan bahasa yang ditentukan dalam bentuk aljabar (pikirkan sesuatu seperti ), uji apakah bahasa tersebut bebas konteks atau tidak. Bayangkan kita sedang menulis layanan web untuk...
Pengaturan: ekspresi reguler dengan referensi kembali bahasa unary (alfabet 1 simbol) Apakah masalah berikut ini dapat ditentukan dalam pengaturan ini: Diberi ekspresi reguler dengan referensi, apakah itu mendefinisikan bahasa biasa? Misalnya, (aa+)\1mendefinisikan bahasa reguler, sementara...
Dengan bahasa teratur LLL, maka mudah untuk membuktikan bahwa ada konstanta sedemikian rupa sehingga , dengan terdapat string , dan sedemikian rupa sehingga dan , dan untuk semua itu adalahσ ∈ L | σ | ≥ N a ß gamma | α β | ≤ N | β | ≠ ϵ k α β k γ ∈ LNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma...
Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan
Menurut Wikipedia , untuk bahasa reguler ada konstanta dan polinomial sedemikian rupa sehingga untuk setiap angka kata-kata panjang n dalam L memenuhi
Diberikan bahasa dan , katakanlah bahwa gabungan tidak ambigu jika untuk semua kata , ada tepat satu dekomposisi dengan dan , dan ambigu sebaliknya. (Saya tidak tahu apakah ada istilah yang mapan untuk properti ini — hal yang sulit untuk dicari!) Sebagai contoh sepele, gabungan dari dengan dirinya...
Jika saya memiliki Tata Bahasa Tipe 3, itu dapat direpresentasikan pada otomat pushdown (tanpa melakukan operasi apa pun pada stack) sehingga saya dapat mewakili ekspresi reguler dengan menggunakan bahasa bebas konteks. Tapi bisakah saya tahu jika tata bahasa tipe 3 adalah , L L ( 1 ) , S L R ( 1 )...
Sebuah robot yang terbatas deterministik (DFA) adalah model mesin negara yang mampu menerima semua dan hanya bahasa biasa. DFAs dapat (dan biasanya) didefinisikan sedemikian rupa bahwa setiap negara harus menyediakan beberapa transisi untuk semua elemen dari alfabet masukan; dengan kata lain,...