Pertanyaan yang diberi tag «finite-automata»

Atau setidaknya menghasilkan serangkaian string yang diterima oleh satu NFA, jadi saya bisa memasukkannya ke NFA lainnya. Jika saya melakukan pencarian melalui setiap jalur NFA, apakah itu akan berhasil? Meskipun itu akan memakan waktu lama.

10 algorithms  regular-languages  finite-automata 

Saya bermain-main dengan demo Labirin Google Blocky , dan ingat aturan lama bahwa jika Anda ingin menyelesaikan labirin, jaga tangan kiri Anda tetap di dinding. Ini berfungsi untuk setiap labirin yang terhubung sederhana dan dapat diimplementasikan oleh transduser terbatas. Biarkan robot kami diwakili oleh transduser dengan tindakan berikut, dan dapat …

10 automata  finite-automata  artificial-intelligence 

Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m &lt; n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm &lt; nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Bagaimana saya bisa membangun contoh DFA yang memiliki menyatakan di mana NFA setara memiliki menyatakan. Jelas negara-set DFA harus berisi semua himpunan bagian dari negara-set NFA, tapi saya tidak tahu bagaimana memulainya. Ada saran untuk menempatkan saya di jalur yang benar?2n2n2^nnnn

10 automata  finite-automata 

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 kondisi terima.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

Ada teorema yang mengatakan bahwa: Diberi otomat keadaan terbatas yang memiliki keadaan, jika ada string yang panjangnya memenuhi n \ leq | w | \ leq 2n-1 maka bahasa yang diterima oleh automaton tidak terbatas.w n ≤ | w | ≤ 2 n - 1nnnwwwn ≤ | w | ≤ …

9 automata  finite-automata 

DFA, NFA, dan epsilon NFA, ketiganya memungkinkan kami mewakili bahasa reguler tertentu. Dengan salah satu dari representasi tersebut kita dapat sampai pada ekspresi reguler yang sama, lalu mengapa kita perlu mempelajari ketiga bentuk representasi dari automata terbatas? Ada beberapa penjelasan tentang apa yang dapat dilakukan NFA yang DFA tidak bisa …

9 automata  finite-automata  education 

Kami dapat membentuk DFA yang menerima angka biner yang dapat dibagi dengan .nnn Misalnya DFA yang menerima angka biner yang dapat dibagi 2 dapat dibentuk sebagai berikut: Demikian pula DFA yang menerima angka biner yang dapat dibagi 3 dapat dibentuk sebagai berikut: Kami dapat mengikuti prosedur yang didefinisikan dengan baik …

9 regular-languages  automata  finite-automata  regular-expressions 

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 …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Saya ingat dari kelas sarjana bahwa untuk Mesin Turing dengan kaset berhingga akan selalu ada Finite State Automata yang sesuai, tetapi saya tidak dapat menemukan ini dikonfirmasi di mana pun di internet. Apakah ini yang sebenarnya terjadi atau saya salah mengingat?

9 turing-machines  finite-automata 

Saya membuat DFA acak untuk menguji algoritma reduksi DFA. Algoritma yang saya gunakan saat ini adalah sebagai berikut: untuk setiap status , untuk setiap simbol dalam alfabet , tambahkan \ delta (q, c) ke beberapa keadaan acak. Setiap negara bagian memiliki probabilitas yang sama untuk menjadi negara bagian terakhir.qqqcccδ( q, …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan kondisi akhir (menerima) bisa berbeda. Biarkan …

9 formal-languages  reference-request  finite-automata 

Saya terjebak menyelesaikan latihan berikutnya: Berargumen bahwa jika bebas konteks dan teratur, maka (yaitu hasil bagi yang tepat ) bebas konteks.R L / R = { w ∣ ∃ x ∈ RL.LLRRRL / R = { w ∣ ∃ x ∈ Rstw x ∈ L }L/R={w∣∃x∈Rs.twx∈L}L / R = \{ …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Saya sudah mulai belajar automata non deterministik menggunakan buku Hopcroft dan Ullman . Saya terjebak dalam masalah yang menurut saya sangat menarik: Berikan otomat terbatas hingga non deterministik yang menerima semua string yang memiliki nilai yang sama ketika dievaluasi dari kiri ke kanan sebagai kanan ke kiri dengan mengalikan menurut …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Diberi bahasa reguler tak terbatas L.LL, bagaimana saya bisa membuktikannya L.LL dapat dipartisi menjadi 2 bahasa reguler tak terhingga terpisah L.1,L.2L1,L2L_1, L_2? Itu adalah:L.1∪L.2= LL.1∪L.2=L.L_1 \cup L_2 = L, L.1∩L.2= ∅L.1∩L.2=∅L_1 \cap L_2 = \varnothing, dan L.1L.1L_1 dan L.2L.2L_2 keduanya tak terbatas dan teratur. Sejauh ini, saya memikirkan: menggunakan lemma …

9 formal-languages  regular-languages  finite-automata