Pertanyaan yang diberi tag «automata-theory»

Misalkan Anda diberi dua deterministic push down automata yang mengenali bahasa dan B , dan ingin menentukan apakah ada bahasa reguler R sehingga A ⊆ R dan R ∩ B = ∅ . Pada dasarnya, tantangannya adalah menentukan apakah ada DFA yang dapat mengenali dari dua bahasa mana string yang …

12 automata-theory 

Saya mencari makalah survei tentang konsep-konsep penting di bidang Quantum Automata. Saya telah menemukan Teori Quantum Automata - Tinjauan oleh Hirvensalo, tetapi kedengarannya terlalu ringkas untuk memahami topik tersebut. Apakah ada survei yang cukup komprehensif tentang topik Quantum Automata? Juga, bisakah Anda mengarahkan saya ke literatur penting tentang topik ini?

12 reference-request  quantum-computing  automata-theory 

Biarkan menjadi konstanta. Bagaimana kita bisa provably membangun pseudorandom generator yang bodoh d -state terbatas automata?dddddd Di sini, automata terbatas state memiliki d node, node mulai, satu set node yang menyatakan status terima, dan dua tepi terarah berlabel 0, 1 yang keluar dari setiap node. Ini mengubah keadaan dengan cara …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Automata keadaan terbatas residual (RFSA, didefinisikan dalam [DLT02]) adalah NFA yang memiliki beberapa fitur bagus yang sama dengan DFA. Secara khusus, selalu ada RFSA berukuran minimum kanonik untuk setiap bahasa reguler, dan bahasa yang dikenali oleh setiap negara bagian dalam RFSA adalah residu, seperti halnya dalam DFA. Namun demikian, dimana …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Saat ini saya sedang melakukan penelitian Bahasa Formal yang melibatkan kelas-kelas bahasa di atas Reguler tetapi di bawah Konteks Gratis. Saya melihat hal-hal seperti Mesin Multicounter Berbalik-Pembalikan, mesin penghitung tumpukan tunggal, CFL deterministik, dll. Saya ingin tahu apakah ada yang tahu buku bagus atau makalah survei yang menguraikan sifat-sifat bahasa …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

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.

12 automata-theory  lg.learning  regular-expressions  dfa 

Dapatkah seseorang memberikan contoh dua yang setara (mengenali bahasa yang sama) minimal automata non-deterministik (NFA) minimal yang bukan isomorfik?

12 fl.formal-languages  automata-theory 

Apa hubungan antara ekspresifitas LTL , Büchi / QPTL , CTL dan CTL * ? Bisakah Anda memberikan beberapa referensi yang mencakup sebanyak mungkin logika temporal ini (terutama antara waktu linier dan bercabang)? Diagram Venn dengan logika temporal dan beberapa sifat praktis sebagai contoh akan sempurna. Contohnya: Benarkah ada properti …

12 lo.logic  automata-theory  model-checking  temporal-logic 

MPA (multipebble automaton) adalah 2DFA (otomat hingga hingga deterministik dua arah) yang dapat menggunakan jumlah kerikil yang sewenang-wenang (sebenarnya paling banyak kerikil pada input yang diberikan - input ditulis pada kaset di antara dua ujung -Penanda sebagai ). Selama perhitungan, MPA dapat mendeteksi apakah simbol di bawah kepala memiliki kerikil, …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Katakanlah seseorang memiliki bahasa , tetapi orang tidak tahu string apa yang sebenarnya bagian dari bahasa tersebut. Semua yang dimiliki adalah pandangan terbatas bahasa: seperangkat string terbatas A ⊆ L yang dikenal dalam bahasa tersebut, dan seperangkat string terbatas B ⊆ ( Σ ∗ ∖ L ) yang diketahui tidak …

12 cc.complexity-theory  fl.formal-languages  automata-theory 

Saya mencari bahasa L dengan properti berikut: L seharusnya tidak bebas konteks. Komplemen L tidak boleh bebas konteks. (Segala sesuatu yang Anda lihat dalam buku teks sebagai contoh utama dari bahasa bebas-konteks tampaknya gagal persyaratan kedua ini.) L seharusnya tidak terlalu sulit, Misalnya, saya tahu bahwa bahasa yang tidak dapat …

12 fl.formal-languages  automata-theory 

Seperangkat kata di atas alfabet terbatas bebas awalan jika tidak ada dua kata yang berbeda di mana satu merupakan awalan dari yang lain. Pertanyaannya adalah: Apa kompleksitas memeriksa apakah bahasa reguler yang diberikan sebagai NFA berisi subset bebas awalan tak terbatas? Jawaban (karena Mikhail Rudoy, ​​di sini di bawah ini) …

11 fl.formal-languages  automata-theory  prefix-free-code  nfa 

Setelah membaca pertanyaan terkait , tentang bukti keberadaan algoritma yang tidak konstruktif, saya bertanya-tanya apakah ada metode untuk menunjukkan keberadaan mesin komputasi "kecil" (katakanlah, bijaksana) tanpa benar-benar membangunnya. Secara formal: misalkan kita diberi beberapa bahasa dan memperbaiki beberapa model perhitungan (NFA / mesin turing / dll.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Apakah ada hasil …

11 cc.complexity-theory  automata-theory  turing-machines 

One-way alternating pushdown automata (1APDA) dapat mengenali bahasa apa pun di (Alternatif oleh Chandra, Kozen, dan Stockmeyer, 1981) . Dengan mengganti penyimpanan pushdown 1APDA dengan penghitung, kita bisa mendapatkan otomat bolak-balik satu arah dengan satu penghitung (1ACA). Pertanyaan saya adalah tentang 1ACA pada bahasa unary.D TsayaM.E( 2O ( n ))DTsayaM.E(2HAI(n)) …

11 automata-theory  counter-automata  unary-languages 

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 …

11 automata-theory  regular-expressions  dfa