Pertanyaan yang diberi tag «automata-theory»

Teori Automata, termasuk mesin abstrak, tata bahasa, penguraian, inferensi gramatikal, transduser, dan teknik kondisi-terbatas

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 …
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 …
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 …
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, …
2
Mengapa keadaan FSM secara tradisional dilambangkan
Sambil mengajar bagaimana menerapkan FSM menggunakan sirkuit logis sinkron, saya melihat sebuah kebetulan yang menarik: baik di dunia CS teoritis, dan di dunia teknik listrik, "negara" biasanya dilambangkan (dan ruang negara Q ). Saya pertama kali bertanya pada EE.sx , tetapi kemudian ketika meneliti sedikit topik ini, saya menemukan bahwa …
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.