Pertanyaan yang diberi tag «fl.formal-languages»

bahasa formal, tata bahasa, teori automata

2
Biasa versus TC0
Menurut Kompleksitas Kebun Binatang , Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1} dan kita tahu bahwa RegReg\mathsf{Reg} tidak dapat dihitung sehingga TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg} . Namun tidak disebutkan apakah Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0} atau tidak. Karena kita tidak tahu NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} kita juga tidak tahu Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} . Apakah ada kandidat untuk masalah dalam yang …
2
Apakah XOR automata (NXA) untuk bahasa yang terbatas mendapat manfaat dari siklus?
Xor automata (NXA) yang non-deterministik secara sintaksis adalah NFA, tetapi sebuah kata dikatakan diterima oleh NXA jika memiliki jumlah jalur penerimaan yang ganjil (daripada setidaknya satu jalur penerimaan dalam kasus NFA). Sangat mudah untuk melihat bahwa untuk bahasa reguler berhingga , terdapat NFA minimal yang tidak mengandung siklus apa pun …
1
Bisakah mesin dua penghitung memutuskan
Dapatkah mesin standar dua penghitung ( ) dengan instruksi berikut:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT tentukan bahasa berikut: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1 …
4
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: …
3
Pentingnya kompleksitas negara dalam automata dan bahasa reguler?
Saya membaca " Rangkaian Bahasa Reguler dan Kompleksitas Deskripsional " oleh Galina Jiraskova, 2009 tentang kompleksitas negara yang dihasilkan dari penggabungan dua bahasa reguler (oleh Galina Jiraskova), tetapi saya tidak dapat memahami apa implikasi praktis kompleksitas negara nantinya . Pikiran sepele pertama yang mengejutkan saya adalah bahwa kompleksitas yang lebih …
1
Kondisi yang memadai untuk keteraturan bahasa bebas konteks
Akan menyenangkan untuk mengumpulkan daftar kondisi yang menyiratkan bahwa bahasa bebas konteks-L adalah reguler, yaitu syarat-syarat bentuk: "jika CFG / PDA yang diberikan memiliki properti P, maka bahasanya adalah reguler" Properti P tidak harus mengkarakterisasi CFG yang menghasilkan bahasa reguler. Selanjutnya, P tidak harus decidable, dan P harus "entah bagaimana …
2
Algoritma yang efisien untuk memperbarui pohon parse
Katakanlah saya memiliki blok kode besar yang sudah saya lex dan parsing. Misalkan hanya satu karakter yang berubah; Saya ingin memperbarui penguraian saya, tetapi karena modifikasinya sangat kecil dibandingkan dengan semuanya, saya ingin tahu apakah mungkin untuk tidak menguraikan semuanya lagi, tetapi jika ada algoritma untuk menentukan kisaran untuk mengurai …
3
Pada realisasi monoids sebagai monoids sintaksis bahasa
Biarkan L⊆X∗L⊆X∗L \subseteq X^{\ast} menjadi bahasa tertentu, maka kita mendefinisikan kongruensi sintaksis sebagai dan hasil bagi monoid disebut monoid sintaksis dari .u∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈Lu∼v:⇔∀x,y∈X∗:xuy∈L↔xvy∈L u \sim v :\Leftrightarrow \forall x, y\in X^{\ast} : xuy \in L \leftrightarrow xvy \in L X∗/∼LX∗/∼LX^{\ast} / \sim_LLLL Sekarang monoids apa yang muncul sebagai monoids sintaksis bahasa? …
1
Apakah {ww '| HamDist (w, w ')> 1} bebas konteks?
Setelah membaca pertanyaan terakhir "Apakah komplemen bebas konteks?" {www∣...}{www∣...}\{ www \mid ...\}; Saya ingat masalah yang sama yang tidak bisa saya tolak: Apakah konteks gratis?L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} Di sini kita mensyaratkan bahwa dua string berbeda setidaknya dalam dua posisi (jarak …
1
Jarak antara bahasa biasa
Saya ingin mendefinisikan pengertian "kedekatan" antara dua bahasa reguler dari kata-kata terbatas dalam Σ∗Σ∗\Sigma^* (dan / atau kata-kata tak terbatas dalam ). Ide dasarnya adalah bahwa kita ingin dua bahasa menjadi dekat jika mereka tidak berbeda dengan banyak kata. Kami juga dapat menggunakan jarak sunting dalam beberapa cara ... Saya …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.