Pertanyaan tentang automata, tata bahasa formal atau model komputasi lain yang secara khusus berkaitan dengan penggunaan nondeterminisme. Jangan bingung dengan keacakan atau ambiguitas!
Saya telah melalui diskusi tentang pertanyaan Bagaimana cara mendefinisikan mesin Turing kuantum? dan saya merasa bahwa TM kuantum dan TM nondetermistic adalah satu dan sama. Jawaban untuk pertanyaan lain tidak menyentuh itu. Apakah kedua model ini satu dan sama? Jika tidak, Apa perbedaan antara...
Apa perbedaan dan hubungan antara algoritma acak dan algoritma nondeterministic? Dari Wikipedia Sebuah algoritma acak merupakan algoritma yang mempekerjakan tingkat keacakan sebagai bagian dari logika. Algoritme biasanya menggunakan bit acak seragam sebagai input bantu untuk memandu...
Kita tahu bahwa DFA setara dengan NFA dalam kekuatan ekspresif; ada juga algoritma yang dikenal untuk mengubah NFA menjadi DFA (sayangnya saya sekarang tahu penemu algoritma itu), yang dalam kasus terburuk memberi kita status , jika NFA kami memiliki status S2S2S2^SSSS Pertanyaan saya adalah: apa...
Otomat adalah model abstrak dari komputer digital. Komputer digital sepenuhnya deterministik; status mereka kapan saja dapat diprediksi secara unik dari input dan kondisi awal. Ketika kita mencoba memodelkan sistem nyata, mengapa memasukkan nondeterminisme dalam teori Automata?
Semua automata terbatas non-deterministik dapat diubah menjadi automata terbatas deterministik yang setara. Namun, automata terbatas deterministik hanya memungkinkan satu panah per simbol yang menunjuk dari suatu negara. Oleh karena itu, negara-negara bagian tersebut harus menjadi anggota set...
Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis...
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...
Dari Wikipedia tentang algoritma acak Kita harus membedakan antara algoritma yang menggunakan input acak untuk mengurangi waktu berjalan yang diharapkan atau penggunaan memori, tetapi selalu berakhir dengan hasil yang benar dalam jumlah waktu yang terbatas, dan algoritma probabilistik , yang,...
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...
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 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 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....
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...
Apa perbedaan antara mesin Turing deterministic dan nondeterministic? Model NDTM yang berbeda namun setara. Secara khusus, apa frasa yang sering digunakan ini "menebak nondeterministis"? Cara menggunakannya dengan benar, dan contoh penggunaan yang salah. Tujuan saya adalah membuat pertanyaan...
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...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Buku teks saya mengatakan: "Kami mendefinisikan fungsif:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} sebagai berikut: f(1)=2f(1)=2f(1)=2 dan f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}} . Perhatikan bahwa diberikan nnn , kita dapat dengan mudah menemukan di O(n1.5)O(n1.5)O(n^{1.5}) waktu jumlah...
Saya belajar cara mengonversi NFA ke DFA dan saya ingin memastikan saya melakukannya dengan benar. Jelas, kembali ke arah lain bukanlah sesuatu. Adakah yang tahu algoritma untuk memeriksa apakah DFA setara dengan
Saya sedang mengerjakan Buku Sipser (edisi ke-2) dan menemukan contoh ini, yang saya tidak mengerti. Dalam buku itu menyatakan bahwa NFA ini menerima string kosong, .ϵϵ\epsilon Bisakah seseorang menuntun saya mengapa hal ini terjadi? Pemahaman saya adalah bahwa akan pindah ke yang bukan merupakan...
Biarkan string input diberikan sebagai . Kemudian jika NFA saat ini dalam keadaan r (dan telah membaca input hingga alfabet w i ) maka sebelum membaca simbol input berikutnya NFA terbagi menjadi dua NFA, satu berada di keadaan r dan yang lainnya di s , jika ada transisi dari tipe r ϵ → s . Jika ada...