Pertanyaan yang diberi tag «formal-languages»

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, …

19 formal-languages  context-free  formal-grammars 

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 pemompaan w = x y z sedemikian …

19 formal-languages  regular-languages  pumping-lemma 

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 utama . Masalah saya adalah dugaan itu belum terselesaikan, jadi …

19 formal-languages  automata  regular-languages  finite-automata 

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 terbalik."

19 formal-languages  regular-languages  automata  finite-automata 

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

18 formal-languages  turing-machines  computability  automata 

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 (aa+)\1+tidak. Bisakah kita memutuskan yang mana masalahnya? Untuk konkret, "ekspresi reguler dengan referensi-kembali" di sini …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

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 membantu siswa dengan semua pekerjaan rumah mereka; Anda …

18 algorithms  formal-languages  context-free  decision-problem 

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 | β | ≠ …

18 formal-languages  proof-techniques 

Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan Turing?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

Menurut Wikipedia , untuk bahasa reguler ada konstanta dan polinomial sedemikian rupa sehingga untuk setiap angka kata-kata panjang n dalam L memenuhi persamaanLLLλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle s_L(n)=p_1(n)\lambda_1^n+\dots+p_k(n)\lambda_k^n . Bahasa L={02n∣n∈N}L={02n∣n∈N}L =\{ 0^{2n} \mid n \in\mathbb{N} \} adalah reguler ( (00)∗(00)∗(00)^* cocok dengan itu). sL(n)=1sL(n)=1s_L(n) = 1 iff n genap, dan sL(n)=0sL(n)=0s_L(n) …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

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 sendiri adalah …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Saya bertanya-tanya apakah ini bahkan mungkin, karena {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Oleh karena itu PDA yang dapat membedakan kata w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} dari sisa {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} mungkin juga menerimanya, yang kedengarannya bertentangan dengan saya. Saya kira saya perlu mengambil keuntungan dari …

16 formal-languages  automata  context-free  pushdown-automata 

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 …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Perhatikan bahwa ini adalah pertanyaan yang terkait dengan belajar di kursus CS di universitas, BUKAN pekerjaan rumah dan dapat ditemukan di sini di bawah ujian Musim Gugur 20112. Inilah dua pertanyaan yang saya lihat dari ujian sebelumnya. Mereka tampaknya terkait, yang pertama: Membiarkan F Aku N I TEC FG={<G> ∣ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

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, fungsi transisi harus (total) fungsi.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma …

16 formal-languages  automata  finite-automata