Pertanyaan yang diberi tag «finite-automata»

Perpotongan bahasa bebas konteks L dengan bahasa reguler M, dikatakan selalu bebas konteks. Saya memahami bukti konstruksi produk silang, tetapi saya masih belum mengerti mengapa ini bebas konteks tapi tidak teratur. Bahasa yang dihasilkan oleh persimpangan semacam itu memiliki string yang diterima baik oleh PDA dan DFA. Karena itu diterima …

16 regular-languages  context-free  finite-automata  formal-grammars 

Baru-baru ini sebuah pertanyaan menarik diajukan dan kemudian dihapus. Untuk bahasa biasa LLL, kompleksitas DFA -nya adalah ukuran DFA minimal yang menerimanya, dan kompleksitas NFA -nya adalah ukuran NFA minimal yang menerimanya. Sudah diketahui bahwa ada pemisahan eksponensial antara dua kompleksitas, setidaknya ketika ukuran alfabet tidak terikat. Memang, pertimbangkan bahasa …

15 regular-languages  finite-automata 

Algoritma minimisasi DFA Brzozowski membangun DFA minimal untuk DFA GGG dengan: membalikkan semua tepi dalam GGG , menjadikan status awal sebagai kondisi terima, dan status terima sebagai awal, untuk mendapatkan NFA N′N′N' untuk bahasa terbalik, menggunakan konstruksi powerset untuk mendapatkan G′G′G' untuk bahasa terbalik, membalikkan tepian (dan swap penerimaan-awal) di …

15 algorithms  finite-automata  runtime-analysis 

Diberi bahasa , tentukan panjang himpunan L sebagai himpunan panjang kata dalam L : L S ( L ) = { | kamu | ∣ u ∈ L }L.LLL.LLL.LLL S (L)={ | kamu | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Set bilangan bulat mana yang dapat menjadi set …

15 formal-languages  computability  regular-languages  finite-automata 

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 tersebut. Yang berarti itu deterministik.

14 finite-automata  nondeterminism 

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 konfigurasi awal dan akhir yang berbeda, jadi kami memiliki batas …

14 formal-languages  regular-languages  finite-automata  combinatorics 

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 minimalisasi NFA begitu sulit ketika minimisasi …

14 complexity-theory  finite-automata  nondeterminism 

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. Penentu dapat dengan mudah memiliki algoritma untuk …

14 computability  finite-automata 

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 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. Tetapi dalam kasus NFA kita harus memeriksa semua …

13 finite-automata  efficiency  nondeterminism 

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 

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 

Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan kompleksitas keadaan untuk komplemen dan persimpangan mereka, tetapi tidak untuk …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata