Pertanyaan yang diberi tag «dfa»

Pertanyaan tentang automata terbatas deterministik

Apa pencerahan yang seharusnya saya dapatkan setelah mempelajari automata terbatas?
Saya telah merevisi Teori Komputasi untuk bersenang-senang dan pertanyaan ini telah mengganggu saya untuk sementara waktu (lucu tidak pernah memikirkannya ketika saya belajar Teori Automata di sarjana saya). Jadi "mengapa" tepatnya kita mempelajari automata terbatas deterministik dan non-deterministik (DFA / NFA)? Jadi, inilah beberapa jawaban yang saya dapatkan setelah soliloquing …

Apakah ada masalah terbuka yang tersisa tentang DFA?
Setelah mempelajari deterministic finite state automata (DFA) di tingkat sarjana, saya merasa mereka sangat dipahami. Pertanyaan saya adalah apakah ada sesuatu yang masih belum kita mengerti tentang mereka. Maksud saya bukan generalisasi DFA tetapi DFA asli yang tidak dimodifikasi yang kami pelajari di tingkat sarjana. Ini adalah pertanyaan yang tidak …

Persimpangan DFA di ruang subquadratic?
Perpotongan dua (minimal) DFA dengan n status dapat dihitung menggunakan O (n 2 ) waktu dan ruang. Ini optimal secara umum, karena DFA (minimal) yang dihasilkan mungkin memiliki n 2 status. Namun, jika DFA minimal yang dihasilkan memiliki status z, di mana z = O (n), dapatkah ia dihitung dalam …




Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …
computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Rangkaian DFA yang efisien?
Ada bukti teoretis bahwa konstruksi produk-kartesian naif untuk persimpangan DFA adalah "yang terbaik yang bisa kita lakukan". Bagaimana dengan gabungan dua DFA? Konstruksi sepele melibatkan konversi setiap DFA menjadi NFA, menambahkan transisi epsilon dan menentukan NFA yang dihasilkan. Bisakah kita berbuat lebih baik? Apakah ada batasan yang diketahui pada ukuran …

Dapatkah finite automata (NDFA) nondeterministic dikonversi secara efisien menjadi automata (DFA) deterministik dalam ruang / waktu subeksponensial?
Dua puluh tahun yang lalu, saya membangun paket ekspresi reguler yang mencakup konversi dari ekspresi reguler ke mesin keadaan terbatas (DFA) dan mendukung sejumlah operasi ekspresi reguler tertutup (bintang Kleene, penggabungan, pembalikan, set operasi, dll). Saya tidak yakin tentang kinerja terburuk dari paket saya. DFA memiliki kekuatan ekspresif yang sama …


Memisahkan kata-kata dengan DFA acak
Salah satu masalah terbuka yang menarik tentang DFA yang terdaftar di Apakah ada masalah terbuka yang tersisa tentang DFA? adalah ukuran DFA yang diperlukan untuk memisahkan dua string panjang nnn . Saya ingin tahu apakah ada hasil tentang kemampuan DFA acak untuk memisahkan dua string (nonrandom) yang diberikan. Jelas DFA …

meminimalkan ukuran ekspresi reguler untuk set yang terbatas
Diketahui bahwa meminimalkan ukuran ekspresi reguler adalah PSPACE-complete bahkan jika kita memiliki DFA sebagai spesifikasi bahasa . Apa hasil jika bahasanya terbatas? Satu dapat mempertimbangkan masalah ini dalam dua model: Input adalah semua string dalam bahasa, dan kami mengukur ukuran input dengan jumlah panjang semua string. Input adalah DFA, dan …

Algoritma untuk mengkonversi NFA yang sangat besar ke DFA
Saya memiliki otomat terbatas non-deterministik yang sangat besar dan saya perlu mengubahnya ke DFA. Secara umum saya maksudkan 40 000+ negara bagian. Sejauh ini saya telah melakukan beberapa percobaan dan memprogram algoritma default yang mencari melalui tabel (seperti dijelaskan di sini ), tetapi bahkan setelah optimasi cukup lambat dan sangat …
dfa 

Biaya Kueri Kesetaraan untuk DFA
Terinspirasi oleh pertanyaan ini , saya ingin tahu tentang yang berikut: Apa kompleksitas kasus terburuk dari memeriksa apakah DFA yang diberikan menerima bahasa yang sama dengan ekspresi reguler yang diberikan? Apakah ini diketahui? Harapannya adalah bahwa masalah ini ada di P - bahwa ada algoritma polinomial dalam ukuran keduanya.

Algoritma apa yang ada untuk konstruksi DFA yang mengenali bahasa yang dijelaskan oleh regex yang diberikan?
Semua buku teks saya menggunakan algoritma yang sama untuk menghasilkan DFA diberi regex: Pertama, buat NFA yang mengenali bahasa regex, kemudian, dengan menggunakan konstruksi subset (alias "powerset"), ubah NFA menjadi DFA yang setara ( opsional meminimalkan DFA). Saya juga pernah mendengar seorang profesor menyinggung ada algoritma lain. Apakah ada yang …

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.