Pertanyaan yang diberi tag «finite-automata»

Pertanyaan tentang finite automata, model otomat dasar dengan memori terbatas. Ini setara dengan bahasa reguler dan dasar untuk banyak model yang lebih kompleks.

5
Automata keadaan terbatas: keadaan akhir
Dalam kursus konsep bahasa pemrograman kami, instruktur kami mengklaim bahwa tidak apa-apa bagi keadaan akhir untuk mengarah ke keadaan lain dalam diagram keadaan terbatas. Tetapi ini tampaknya merupakan konsep yang secara fundamental kontradiktif. Karena definisi final adalah definisi yang mengakhiri transisi, yaitu, begitu Anda mencapainya, tidak ada lagi yang bisa …
1
Bukti penutupan yang salah di bawah operasi bintang menggunakan NFA menghasilkan NFA mengenali string yang tidak diinginkan?
Saat ini saya sedang membaca buku Pengantar Teori Komputasi (edisi ke-2 atau ke-3) oleh Michael Sipser , dan telah menemukan pertanyaan di Bab 1 - Bahasa Reguler , yaitu ketika penulis menyajikan ide bukti Teorema 1.49 - "Kelas bahasa reguler ditutup di bawah operasi bintang." menggunakan NFA. Pendekatan yang disarankan …
2
Menghitung jumlah kata yang diterima oleh NFA asiklik
Membiarkan MMM menjadi NFA asiklik. Sejak MMM asiklik, L(M)L(M)L(M) terbatas. Bisakah kita menghitung |L(M)||L(M)||L(M)| dalam waktu polinomial? Jika tidak, bisakah kita memperkirakannya? Perhatikan bahwa jumlah kata tidak sama dengan jumlah jalur penerimaan di MMM, yang mudah dihitung. Izinkan saya menyebutkan satu pendekatan yang jelas tidak berhasil: ubah NFA menjadi DFA …
3
Algoritma untuk mengecilkan DFA dengan memperkenalkan nondeterminisme?
Ini agak terkait dengan pertanyaan lain yang saya ajukan , tetapi saya merasa itu cukup berbeda untuk menjamin pertanyaannya sendiri. Saya sedang melakukan penelitian di mana saya mencoba untuk menemukan struktur pelengkap kelas tertentu dari bahasa yang terbatas. Sangat mudah bagi saya untuk mendapatkan DFA minimal yang menerima bahasa-bahasa ini, …
3
Membuktikan bahasa yang terdiri dari semua string dalam beberapa bahasa sama panjangnya dengan beberapa string dalam bahasa lain biasa
Jadi saya sudah menggaruk-garuk kepala karena masalah ini selama beberapa hari sekarang. Diberi beberapa bahasaAAAdan yang teratur, menunjukkan bahwa bahasa yang terdiri dari semua string dalam yang panjangnya sama dengan beberapa string dalam adalah bahasa biasa.BBBLLLAAABBB Dalam bentuk persamaan: L={x∈A∣∃y∈B s.t. |x|=|y|}L={x∈A∣∃y∈B s.t. |x|=|y|}L = \{x \in A \mid \exists …
1
Masalah dengan penerapan algoritma Brzozowski
Saya sudah mencoba menerapkan algoritma Brzozowski tetapi saya baru saja menemukan bahwa itu menciptakan automata suboptimal untuk kelas input tertentu, memiliki satu keadaan lebih dari apa yang benar-benar diperlukan dalam hasilnya. Saya bisa menunjukkannya pada robot yang sepele: a b a b a b a b a b >0 0 …
1
Buktikan bahwa bahasa reguler ditutup di bawah operator siklus
Saya mendapat ujian beberapa hari dan memiliki masalah untuk menyelesaikan tugas ini. Membiarkan LLL menjadi bahasa biasa di atas alfabet ΣΣ\Sigma. Kami memiliki operasi cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Dan sekarang kita harus menunjukkan itu cycle(L)cycle⁡(L)\operatorname{cycle}(L) juga biasa. Referensi …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.