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...
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...
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...
Dapatkah seseorang memberikan contoh dua yang setara (mengenali bahasa yang sama) minimal automata non-deterministik (NFA) minimal yang bukan
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,...
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...
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...
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...
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 diberikan...
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...
Apakah mungkin untuk membangun suatu algoritma yang mengambil sebagai input suatu pushdown automaton bersama dengan janji bahwa bahasa yang diterima oleh automaton ini L ( M ) adalah bahasa bebas bebas konteks-deterministik dan menghasilkan sebuah otomatisasi pushdown deterministic N yang menerima...
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...
Pertanyaan ini terkait dengan pertanyaan terbaru oleh Janoma . Latar Belakang Dalam pemrograman kendala, sebuah rutin global yang kendala ccc selama domain DDD adalah sepasang (s,M)(s,M)(s, M) dengan sss tupel variabel (lingkup) dan MMM DFA atas domain DDD . Tugas θθ\theta to sss memuaskan ccc...
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...
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...
Saya mencari teknik umum yang dapat membantu saya membuktikan tidak hanya bahwa Buchi automata adalah model yang lebih ekspresif daripada LTL, tetapi formula spesifiknya dapat / tidak dapat diungkapkan dalam LTL. Misalnya, " terjadi setidaknya pada posisi genap" dapat dijelaskan oleh Buchi...
Saya tertarik dengan sedikit generalisasi DFA. Seperti biasa kita memiliki set-negara QQQ , alfabet terbatas ΣΣ\Sigma , sebuah aksi Σ∗Σ∗\Sigma^* didefinisikan pada QQQ oleh δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Q , dan kondisi awal q0q0q_0 ; tapi bukannya biasa set terminal, kita...
Hai Semua, Saya saat ini mencoba untuk menemukan topik tesis master yang solid yang berkaitan dengan beberapa cabang teori automata atau terkait dengan bahasa formal. Saya mencoba untuk menghasilkan beberapa ide bagus untuk topik yang dapat diterima, sesuatu yang ambisius tetapi sesuatu yang bisa...
Apakah ada 2DFA dengan negara (di mana n adalah non trivial, katakan setidaknya 4) yang membutuhkan setidaknya 2 negara n untuk mensimulasikan menggunakan DFA?nnnnnn2n2n2^n Sebuah dua arah DFA (2DFA) adalah deterministik finite-state automaton yang diperbolehkan untuk bergerak maju mundur pada...
DFA atau NFA membaca melalui string input dengan satu kepala, bergerak dari kiri ke kanan. Tampaknya wajar untuk bertanya-tanya tentang mesin negara-terbatas yang memiliki banyak kepala , yang masing-masing bergerak melalui input dari kiri ke kanan, tetapi tidak harus di tempat yang sama dalam...