Pertanyaan yang diberi tag «automata»

Membiarkan MMM menjadi NFA asiklik. Sejak MMM asiklik, L(M)L(M)L(M) terbatas. Bisakah kita menghitung |L(M)||L(M)||L(M)| dalam waktu polinomial? Jika tidak, bisakah kita memperkirakannya? Perhatikan bahwa jumlah kata tidak sama dengan jumlah jalur penerimaan di MMM, yang mudah dihitung. Izinkan saya menyebutkan satu pendekatan yang jelas tidak berhasil: ubah NFA menjadi DFA …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Saya telah mencoba cukup lama untuk menemukan konstruksi sehingga saya dapat secara resmi menunjukkan bahwa PDA deterministik ditutup dengan komplementasi. Namun, kebetulan setiap ide yang saya dapatkan memiliki sesuatu yang pada akhirnya tidak cocok. Bisakah Anda membantu saya? Masalah utama terjadi dengan ε-move . PDA dapat selesai membaca inputnya dalam …

8 formal-languages  automata  closure-properties  pushdown-automata 

Slide kuliah ini membuat sketsa bukti ituL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} tidak dapat diterima oleh Deterministic Pushdown Automaton. Sayangnya, slide tidak memberikan referensi ke mana bukti itu berasal. Saya bertanya-tanya, apakah ada yang tahu makalah akademis atau buku …

8 formal-languages  reference-request  automata  pushdown-automata  nondeterminism 

Pertimbangkan masalah alam semesta berikut ini . Masalah alam semesta. Diberikan himpunan terbatas untuk kelas bahasa, dan otomat yang menerima bahasa , putuskan apakah .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Dalam [1], dinyatakan dan dibuktikan bahwa masalah alam semesta tidak dapat diputuskan untuk kelas khusus one-counter automata. Hasil ini kemudian mengikuti untuk kelas semua automata …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Ini agak terkait dengan pertanyaan lain yang saya ajukan , tetapi saya merasa itu cukup berbeda untuk menjamin pertanyaannya sendiri. Saya sedang melakukan penelitian di mana saya mencoba untuk menemukan struktur pelengkap kelas tertentu dari bahasa yang terbatas. Sangat mudah bagi saya untuk mendapatkan DFA minimal yang menerima bahasa-bahasa ini, …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Apakah PC kami berfungsi sebagai Mesin Turing? Model Mesin Turing terdiri dari pita memori tak terbatas, yang berarti status tak terbatas. Tapi anggaplah jika PC kita memiliki 128 MB memori dan 30GB disk itu akan memiliki 256 ^ 30128000000 negara dan dengan demikian, ia memiliki status yang terbatas. Saya tahu …

8 complexity-theory  computability  turing-machines  automata 

Biarkan A={L∣Lis one-counter and L¯ is also one-counter}A={L∣Lis one-counter and L¯ is also one-counter}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Jelas,Deterministic one-counter⊆ADeterministic one-counter⊆A\text{Deterministic one-counter} \subseteq A Apakah ini ?A=Deterministic one-counterA=Deterministic one-counter A = \text{Deterministic one-counter} Saya tahu bahwa untuk bahasa bebas konteks, analognya tidak demikian. …

8 formal-languages  automata  closure-properties  pushdown-automata 

Saya mencari aplikasi praktis dari Mesin Hingga Negara seperti DFA, NFA, Moore, mesin Mealy ... Akan sangat membantu jika seseorang menunjuk ke contoh dari Kernel Linux. Saya tahu bahwa DFA digunakan dalam pencocokan string seperti algoritma KMP. Apa pentingnya mesin NFA, Moore dan Mealy?

8 reference-request  automata  finite-automata 

Bagaimana saya menunjukkan bahwa masalah dalam memutuskan apakah PDA menerima beberapa string dari formulir {w!w∣w∈{0,1}∗}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} tidak dapat diputuskan? Saya telah mencoba untuk mengurangi masalah ini ke masalah lain yang tidak dapat diputuskan seperti apakah dua tata bahasa bebas konteks menerima bahasa yang …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Saya sudah mencoba menerapkan algoritma Brzozowski tetapi saya baru saja menemukan bahwa itu menciptakan automata suboptimal untuk kelas input tertentu, memiliki satu keadaan lebih dari apa yang benar-benar diperlukan dalam hasilnya. Saya bisa menunjukkannya pada robot yang sepele: a b a b a b a b a b >0 0 …

8 algorithms  automata  finite-automata 

Ini adalah pertanyaan lanjutan dari pertanyaan ini . Dalam pertanyaan sebelumnya tentang mesin negara eksotis , Alex ten Brink dan Raphael membahas kemampuan komputasi jenis mesin negara yang aneh: min-heap automata. Mereka mampu menunjukkan bahwa himpunan bahasa yang diterima oleh mesin tersebut ( ) bukan merupakan himpunan bagian atau superset …

8 formal-languages  automata  closure-properties