Pertanyaan yang diberi tag «automata»

Linear logika temporal dan deterministik automata Büchi yang tak tertandingi: DBA tidak bisa mengungkapkan , dan LTL tidak bisa mengungkapkan "setidaknya setiap huruf aneh adalah 'a'" . Tetapi kadang-kadang menarik untuk mengetahui apakah bahasa DBA dapat diekspresikan dalam LTL.FG aFGSebuahFGa Saya membutuhkan algoritma yang memutuskan apakah bahasa DBA yang diberikan …

10 logic  automata  linear-temporal-logic  buchi-automata 

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 

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 

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 

Saya telah membaca beberapa makalah teori bahasa formal, dan saya menemukan istilah yang tidak saya mengerti. Makalah ini akan sering merujuk pada satu set yang "ditutup secara efektif di bawah persimpangan" atau operasi lainnya. Apa arti "efektif" di sini? Apa bedanya dengan penutupan normal? Sebagai referensi, makalah yang saya lihat …

9 formal-languages  terminology  computability  automata  closure-properties 

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 …

8 regular-languages  automata  finite-automata  nondeterminism 

Saya mengalami masalah dalam menentukan apakah semua angka kuadrat (1, 4, 9, 16, ...) ditulis dalam bentuk biner (1, 100, 1001, ...) adalah bahasa biasa. Setelah beberapa upaya untuk menemukan pola umum dari angka-angka itu, saya menemukan bahwa untuk setiap angka kuadrat , sama dengan 0 atau 1, dan jadi …

8 formal-languages  regular-languages  automata  finite-automata 

Setelah kelas Teori Komputasi saya hari ini, pertanyaan ini muncul di benak saya: Jika masalah dapat diselesaikan oleh robot terbatas, masalah ini milik P. Saya pikir itu benar, karena automata mengenali bahasa yang sangat sederhana, maka semua bahasa ini akan memiliki algoritma polinomial untuk menyelesaikannya. Jadi, apakah benar bahwa masalah …

8 complexity-theory  automata  finite-automata  polynomial-time 

Diberi DFA, A, misalkan L (A) menunjukkan jumlah kata yang diterima A. Saya pikir mudah untuk menghitung L (A): Terjemahkan pengkodean A ke dalam ekspresi reguler. Jika bintang Kleene muncul di mana saja dalam ekspresi - bahasanya tidak terbatas. Lain: Periksa dan hitung semua kombinasi kata yang memungkinkan untuk dibuat …

8 regular-languages  automata  regular-expressions 

Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian kompleksitas yang dapat diekspresikan automata? Jika jawabannya ya untuk pertanyaan itu, adakah …

8 complexity-theory  automata  reference-request  complexity-classes 

Saya memiliki otomat terbatas tanpa status akhir / penerimaan, jadi F kosong. Bagaimana cara menguranginya? Saya mendapatkan ini pada tes dan saya tidak tahu bagaimana mendekati masalah karena otomat tidak memiliki keadaan menerima. Apakah satu keadaan awal dengan semua transisi itu sendiri adalah jawaban yang benar?

8 automata  finite-automata 

Apakah mungkin untuk meminimalkan automata pushdown? Jika tidak, mengapa? Apakah karena untuk minimalisasi, kelas ekivalensi perlu memiliki indeks yang terbatas dan kami tidak dapat menjaminnya untuk CFG?

8 computability  automata  pushdown-automata