Dalam deskripsi formal Deterministic Pushdown Automata, mereka memungkinkan bergerak, di mana mesin dapat memunculkan atau mendorong simbol ke stack tanpa membaca simbol dari input. Jika ϵ gerakan ini tidak diizinkan, dan tumpukan hanya dapat dimodifikasi satu kali setelah setiap simbol dibaca,...
Saya bertanya-tanya, apakah ada makalah atau penelitian yang berhubungan dengan automata yang terlihat jelas, tetapi membiarkan kata-kata, daripada huruf tunggal, untuk didorong ke tumpukan. Bergantian, konstruksi yang memungkinkan untuk simbol harus didorong pada -transitions bisa mencapai tujuan...
Untuk bahasa L ⊆ Σ ^ * , tentukan kongruensi sintaksis ≡ dari L sebagai kongruensi terkecil pada on ^ * yang menjenuhkan L , yaitu: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Sekarang tentukan kesetaraan Nerode sebagai kongruensi kanan berikut: u ∼ v ⇔ (∀ x) [ux ∈ L ↔ vx ∈ L]. Biarkan [u] menjadi...
Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah...
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...
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...
Latar Belakang: Diberi dua automata terbatas deterministik A dan B, kami membentuk produk C dengan membiarkan negara bagian dalam C menjadi produk kartesian negara bagian di negara A dan negara bagian B. Kemudian, kami memilih transisi, keadaan awal, dan keadaan akhir sehingga bahasa diterima oleh...
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 ,...
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...
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}...
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|>...
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 ....
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...
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...
Diberi sebagai terbatas (deterministik atau nondeterministik, saya pikir ini tidak terlalu penting) otomat A dan ambang n , apakah A menerima kata yang mengandung paling banyak n huruf berbeda? (Dengan k huruf yang berbeda maksudku aabaa memiliki dua huruf berbeda, a dan b .) Saya menunjukkan...
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...
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...
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...
Jadi, saya punya sekitar 100-200 matriks boolean persegi yang sangat jarang dengan panjang sisi ~ beberapa lusin, dan saya perlu menghitung produk mereka. Saya tahu bahwa jika saya mengalikannya secara seri, produk biasanya akan tetap jarang di setiap langkah. Apakah ada algoritma produk rantai...
Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah...