Apakah ada properti yang tidak dapat ditentukan dari automata terbatas linier (menghindari trik bahasa set kosong)? Bagaimana dengan robot terbatas deterministik? (kesampingkan keras kepala). Saya ingin mendapatkan contoh (jika mungkin) dari masalah yang tidak dapat ditentukan yang didefinisikan...
Saya tahu bahwa kami dapat meminimalkan DFA dengan menemukan dan menggabungkan status yang setara, tetapi mengapa kami tidak dapat melakukan hal yang sama dengan NFA? Saya tidak mencari bukti atau semacamnya - kecuali bukti lebih mudah dimengerti. Saya hanya ingin memahami secara intuitif mengapa...
Saya punya pertanyaan [agak lucu] di benak saya. Mengapa otomat hingga non-deterministik disebut non-deterministik sementara kami mendefinisikan transisi untuk input. Yah, meskipun ada beberapa transisi dan epsilon , mereka didefinisikan yang berarti bahwa mesin itu deterministik untuk transisi...
Diberi alfabet Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , berapa banyak bahasa reguler yang berbeda yang dapat diterima oleh otomat terbatas non-deterministik nnn -negara? Sebagai contoh, mari kita pertimbangkan n=3n=3n=3 . Kami kemudian memiliki 2182182^{18} konfigurasi transisi yang berbeda dan 23232^3...
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...
Saya ingin tahu apakah masalah berikut ini dapat ditentukan: Instance: NFA A dengan n state Pertanyaan: Apakah ada beberapa bilangan prima p sehingga A menerima beberapa untaian panjang p. Keyakinan saya adalah bahwa masalah ini tidak dapat diputuskan, tetapi saya tidak dapat membuktikannya....
Apakah ada struktur yang kuat dalam Permainan Kehidupan Conway ? Misalnya, apakah ada yang membuat pesawat ruang angkasa dengan perisai yang menyerap semua osilator kecil dan glider yang bertabrakan
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...
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∩...
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...
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...
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,...
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...
Saya baru saja mulai membaca tentang teori perhitungan. Jika kita membandingkan mana yang lebih kuat (dalam menerima string), keduanya sama. Tetapi bagaimana dengan efisiensi? DFA akan lebih cepat dibandingkan dengan NFA, karena hanya memiliki satu tepi keluar & tidak akan ada ambiguitas....
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...
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...
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...
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...
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...
Jika tidak, lalu apa artinya bila untuk beberapa negara dan beberapa simbol a , δ ( q , a ) tidak ada?qqqaaaδ(q,a)δ(q,a)\delta(q,