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 ....
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 :: a -> b...
Biarkan menjadi keluarga semua bahasa di atas memenuhi properti pemompaan bahasa biasa. Yaitu: untuk setiap , ada st setiap kata , dapat ditulis dalam bentuk mana: 1. , 2. , 3. untuk semua .L.L.\mathcal{L}ΣΣ\SigmaL ∈ LL.∈L.L\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ Lw∈L.w\in L| w | >N|w|>N|w|>...
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}...
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 ,...
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...
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,...
Pertimbangkan pertanyaan alami berikut: Dengan bahasa terbatas , apa yang menghasilkan tata bahasa L terkecil yang bebas konteks ?L.L.LL.L.L Kita bisa membuat pertanyaan yang lebih menarik dengan menentukan urutan bahasa , misalnya L n adalah himpunan semua permutasi dari { 1 , ... , n } :...
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...
Apa yang diketahui tentang kelas bahasa yang dikenali oleh automata terbatas yang memiliki keadaan awal dan penerima yang sama? Ini adalah bagian yang tepat dari bahasa biasa (karena setiap bahasa tersebut berisi string kosong), tetapi seberapa lemah itu? Apakah ada karakterisasi aljabar...
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...
Greibach terkenal didefinisikan bahasa , yang disebut versi non-deterministik dari D 2 , sehingga setiap CFL adalah gambar morphic kebalikan dari H . Apakah ada pernyataan serupa dengan DCFL, mungkin dengan pembatasan morfisme diizinkan?HHHD2D2D_2HHH (Lihat, misalnya, M. Autebert, J. Berstel, dan...
Saya memindahkan pertanyaan ini dari stackoverflow di mana id tidak mendapat jawaban. Kami memiliki pertanyaan serupa apakah JSON biasa : JSON dan XML keduanya sering disebut sebagai bahasa bebas konteks - keduanya ditentukan terutama oleh tata bahasa formal di EBNF. Namun ini hanya berlaku untuk...
Ini mungkin cukup sederhana, tetapi pertimbangkan Masalah Post Correspondence standar: Mengingat dan β 1 , ... , β N , menemukan urutan indeks i 1 , ... , i K sehingga a i 1 ⋯ α i K = β i 1 ⋯ β i K . Ini, tentu saja, tidak dapat dipastikan.α1,…,αNα1,…,αN\alpha_1, \ldots,...
Saat ini saya sedang melakukan penelitian Bahasa Formal yang melibatkan kelas-kelas bahasa di atas Reguler tetapi di bawah Konteks Gratis. Saya melihat hal-hal seperti Mesin Multicounter Berbalik-Pembalikan, mesin penghitung tumpukan tunggal, CFL deterministik, dll. Saya ingin tahu apakah ada yang...
Bahasa Dyck didefinisikan oleh tata bahasa S → S S berikutD y c k (k)Dyck(k)\mathsf{Dyck}(k) atas himpunan simbol { ( 1 , ... , ( k , ) 1 , ... , ) k } . Bahasa secara intuitif Dyck adalah bahasa kurung seimbang dari k yang berbeda. Sebagai contoh, (S→ SS|(1S)1|...|(kS)k|ϵS→SS|(1S)1|…|(kS)k|ϵ S...
Dapatkah seseorang memberikan contoh dua yang setara (mengenali bahasa yang sama) minimal automata non-deterministik (NFA) minimal yang bukan
Sudah diketahui umum bahwa komplemen bebas konteks. Tapi bagaimana dengan komplemen ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in
Saya mencari bahasa L dengan properti berikut: L seharusnya tidak bebas konteks. Komplemen L tidak boleh bebas konteks. (Segala sesuatu yang Anda lihat dalam buku teks sebagai contoh utama dari bahasa bebas-konteks tampaknya gagal persyaratan kedua ini.) L seharusnya tidak terlalu sulit,...
Katakanlah seseorang memiliki bahasa , tetapi orang tidak tahu string apa yang sebenarnya bagian dari bahasa tersebut. Semua yang dimiliki adalah pandangan terbatas bahasa: seperangkat string terbatas A ⊆ L yang dikenal dalam bahasa tersebut, dan seperangkat string terbatas B ⊆ ( Σ ∗ ∖ L ) yang...