Pertanyaan yang diberi tag «regular-language»

Pertanyaan tentang bahasa formal yang dapat dijelaskan dengan ekspresi reguler (dalam arti Kleene), atau, yang setara, bahasa yang dapat diterima oleh automata terbatas.

1
Dapatkah ambiguitas konstan mengurangi kompleksitas keadaan bahasa reguler?
Kami mengatakan bahwa NFA adalah Konstanta Ambigu jika ada sehingga setiap kata diterima oleh atau (persis) jalur .MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jika automaton secara konstan ambigu untuk , maka disebut Unambiguous FA (UFA).MMMk=1k=1k=1MMM Biarkan menjadi bahasa biasa.LLL Bisakah beberapa automaton yang selalu ambigu untuk lebih kecil dari UFA terkecil yang menerima …
2
Seberapa kecil NFA dapat, dibandingkan dengan minimal Unambiguous Finite Automaton (UFA) dari bahasa reguler yang sama?
Finite Automatons (UFA) yang tidak ambigu adalah tipe khusus dari finite automatons (NFA) non-deterministik. NFA disebut tidak ambigu jika setiap kata memiliki paling banyak satu jalur penerimaan.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Ini berarti .D FA ⊂ UFA ⊂ NFSEBUAHDFSEBUAH⊂UFSEBUAH⊂NFSEBUAHDFA\subset UFA\subset NFA Hasil otomat terkait yang diketahui: Minimalisasi NFA adalah PSPACE-Complete. Minimalisasi …
2
Büchi automata dengan strategi penerimaan
Masalah Mari menjadi robot Büchi, mengakui bahasa L ⊆ Σ ohm . Kami berasumsi bahwa A memiliki strategi penerimaan dalam arti berikut: ada fungsi σ : Σ * → Q yang dapat digunakan untuk percontohan berjalan dari A . Kami meresmikan ini dengan ketentuan sebagai berikut:A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA …
4
Hierarki dalam bahasa reguler
Apakah ada hierarki "baik" yang diketahui (mungkin terbatas) di dalam kelas bahasa reguler ? Dengan baik di sini, kelas-kelas di setiap hierarki menangkap ekspresifitas / kekuatan / kompleksitas yang berbeda. Juga, keanggotaan masing-masing kelas "baik" ditunjukkan oleh beberapa elemen (tidak seperti masalah ketinggian bintang yang mungkin bermasalah).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq …
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 …
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 …
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? …
2
Belajar automata tanpa contoh tandingan
Dalam rangka belajar automata Angluin ini , sebuah tujuan siswa untuk belajar bahasa reguler L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* dengan meminta dua jenis pertanyaan untuk gurunya: Kueri kata: diberikan w∈Σ∗w∈Σ∗w\in \Sigma^* , adalahw∈Lw∈Lw\in L ? Kueri kesetaraan: diberi bahasa K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* , apakah K=LK=LK=L ? Jika tidak, guru memberikan contoh yang menyangkal pernyataan, …
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 …
1
Kompleksitas parameterisasi penyertaan bahasa reguler
Saya tertarik dengan masalah klasik REGULAR LANGUAGE INCLUSION. Diberi ekspresi reguler , kami menunjukkan oleh L ( E ) bahasa reguler yang terkait dengannya. (Ekspresi reguler menggunakan alfabet tetap Σ , dengan gabungan operasi, bintang Kleene dan gabungan.)EEEL ( E)L(E)L(E)ΣΣ\Sigma Input: Dua ekspresi reguler dan E 2 Pertanyaan: Benarkah L …
1
Jumlah kelas ekivalensi dalam bahasa reguler sebagai fungsi dari ukuran DFA
Pertanyaan ini terkait dengan pertanyaan terbaru oleh Janoma . Latar Belakang Dalam pemrograman kendala, sebuah rutin global yang kendala ccc selama domain DDD adalah sepasang (s,M)(s,M)(s, M) dengan sss tupel variabel (lingkup) dan MMM DFA atas domain DDD . Tugas θθ\theta to sss memuaskan ccc jika MMM menerima string θ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) …
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.