Pertanyaan yang diberi tag «automata»

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

15 formal-languages  automata  nondeterminism 

Saya biasanya menggunakan simbol untuk string kosong (kata kosong atau string kosong). Tapi saya tahu beberapa orang menggunakan bukan .εε\varepsilonλλ\lambdaεε\varepsilon Saya pikir berasal dari kata "Kosong". Namun saya tidak tahu apa asal usul .εε\varepsilonλλ\lambda Dalam teori automata, ada transisi epsilon automata, dan itu juga dikatakan sebagai transisi lambda. Sebagai contoh, …

14 formal-languages  automata  reference-request  notation  history 

Saya menyadari automata pushdown non-deterministik dapat menjadi perbaikan daripada yang deterministik karena mereka dapat "memilih" di antara beberapa negara dan ada beberapa bahasa bebas konteks yang tidak dapat diterima oleh pushdown deterministik. Meski begitu, saya tidak mengerti bagaimana tepatnya mereka "memilih". Untuk palindormes misalnya setiap sumber yang saya temukan hanya …

14 automata  pushdown-automata  nondeterminism 

Saya mempelajari bahasa formal dan sistem basis produksi (sistem basis aturan) dan saya sedikit bingung mengapa dua kata "produksi" dan "aturan" ini memiliki arti yang sama dalam banyak konteks dalam Ilmu Komputer. Dalam Bahasa Inggris mereka tampaknya tidak berarti hal yang sama. Saya bukan penutur asli bahasa Inggris, tetapi saya …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Besok adalah presentasi saya dan saya ingin menghapus konsep saya ... Saya pernah membaca bahwa di DFA, "Untuk setiap negara, transisi pada semua simbol yang mungkin (alfabet) harus ditentukan." Apakah untuk setiap negara bagian, mendefinisikan transisi pada semua simbol yang mungkin wajib di DFA? Jika tidak, tolong beri contoh?

13 automata  finite-automata  nondeterminism 

Saya telah menemukan bahwa jika saya tidak memahami etimologi di balik istilah cs / pemrograman, biasanya itu berarti saya telah melewatkan atau salah paham beberapa konsep mendasar yang penting. Saya tidak mengerti mengapa bintang Kleene juga disebut penutupan Kleene. Apakah ini terkait dengan penutupan dalam pemrograman, fungsi dengan variabel non-lokal …

13 automata  regular-expressions 

Meminta saran Raphael tentang titik-temu dua NPDA : Biarkan dan A 2 masing-masing untuk bahasa bebas konteks L 1 dan L 2 . Dengan asumsi kita tahu bahwa L = L 1 ∩ L 2 bebas konteks, dapatkah kita (secara efektif) membuat NPDA A untuk L ?SEBUAH1SEBUAH1A_1SEBUAH2SEBUAH2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L …

13 computability  automata  pushdown-automata 

Saya telah membaca di Wikipedia dan beberapa teks lainnya Masalah penghentian adalah [...] dapat ditentukan untuk linear bounded automata (LBA) [dan] mesin deterministik dengan memori yang terbatas. Tetapi sebelumnya ada tertulis bahwa masalah penghentian adalah masalah yang tidak dapat diputuskan dan karenanya TM tidak dapat menyelesaikannya! Karena LBA didefinisikan sebagai …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata automata ). (Apakah literatur tentang semiautomata ini …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Saya seorang programmer dengan pegangan pada automata, tetapi tidak pada logika. Saya membaca di surat kabar bahwa keduanya berhubungan sangat erat. Deterministic Finite Automata (DFA), Tree Automata dan Visible Pushdown Automata semuanya terkait dengan Monadic Second Order Logic (MSO). Meskipun, saya memahami automata dan orang-orang (dalam makalah) telah mencoba menjelaskan …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Saya baru mengenal automata, dan saya telah diberikan pengantar singkat untuk ekspresi reguler hanya kemarin. Saya telah membaca berbagai aturan untuk mendefinisikan ekspresi reguler. Tetapi saya tidak dapat membedakan antara ekspresi reguler dan tata bahasa (saya belum diajarkan tata bahasa untuk ekspresi reguler). Saya mengerti bahwa tata bahasa membantu kita …

12 automata  formal-grammars  regular-expressions 

Tujuannya adalah membuat DFA dari ekspresi reguler dan menggunakan "Exp reguler> NFA> Konversi DFA" bukan opsi. Bagaimana seharusnya orang melakukan itu? Saya mengajukan pertanyaan ini kepada profesor kami tetapi dia mengatakan kepada kami bahwa kami dapat menggunakan intuisi dan dengan baik hati menolak untuk memberikan penjelasan. Jadi saya ingin bertanya …

12 automata  finite-automata  regular-expressions  simulation 

Pada gambar di bawah, saya mencoba mencari tahu apa sebenarnya yang diterima NFA ini. Yang membingungkan saya adalah jump at .q 0ϵϵ\epsilonq0q0q_0 Jika dimasukkan, apakah sistem pindah ke dan (status terima)?q 0 q 1000q0q0q_0 q1q1q_1 Jika dimasukkan, apakah sistem pindah ke dan ?q 1 q 2111q1q1q_1q2q2q_2 Apakah sistem hanya pindah …

12 automata  finite-automata  nondeterminism 

Inilah masalahnya: Buktikan bahwa Mesin Turing single-tape yang tidak dapat menulis pada bagian dari rekaman yang berisi string input hanya mengenali bahasa biasa. Gagasan saya adalah untuk membuktikan bahwa TM khusus ini setara dengan DFA. Menggunakan TM ini untuk mensimulasikan DFA sangat mudah. Namun, ketika saya ingin menggunakan DFA ini …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Jadi, saya tahu bahwa menguji apakah bahasa reguler adalah himpunan bagian dari bahasa biasa dapat ditentukan, karena kita dapat mengonversi keduanya menjadi DFA, menghitung , dan kemudian menguji apakah bahasa ini kosong.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Namun, karena ini memerlukan konversi ke DFA, ada kemungkinan bahwa DFA, dan …

12 algorithms  regular-languages  automata  np-complete  decision-problem