Pertanyaan yang diberi tag «automata-theory»

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 automata berikut: mana dan .phalp(q0,q1,Σ,δ,q0,{q0})(q0,q1,Σ,δ,q0,{q0})({q_0, q_1}, \Sigma, \delta, …

11 lo.logic  automata-theory 

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 jika MMM menerima string θ(s1)θ(s2)…θ(sn)θ(s1)θ(s2)…θ(sn)\theta(s_1)\theta(s_2)\ldots\theta(s_n) …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language 

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 secara tepat bahasa yang diterima oleh M ?M.MML ( …

11 reference-request  computability  fl.formal-languages  automata-theory 

Immerman (Kompleksitas Deskriptif, 1999) menyajikan game EF untuk urutan kedua monadik eksistensial (game Ajtai-Fagin) di halaman 127. Karena MSO pada kata-kata setara dengan bahasa biasa, permainan dapat ditulis sebagai berikut.∃∃\exists Sebuah bahasa adalah biasa jika dan hanya jika Delilah tidak memiliki strategi menang di game berikut: 1. Samson memilih c …

11 lo.logic  automata-theory  descriptive-complexity 

Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan: Diberikan: transduser dan bahasa reguler Putuskan: Apakah ia berpendapat bahwa , word, …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = {nnn .L.n= {ww|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .L.nLnL_n2 n2n2n Pertimbangkan fungsi kompleksitas keadaan berikut sehingga s …

10 fl.formal-languages  automata-theory  grammars  context-free 

Ada masalah terbuka dalam bahasa formal yang dikenal sebagai Masalah Pemisahan; yang secara singkat dinyatakan memiliki dua string panjang , seberapa besar DFA diperlukan untuk "memisahkan" mereka, artinya menerima satu string tetapi menolak yang lain.nnn Berikut adalah beberapa makalah yang relevan 1 , 2 . (Saya punya beberapa lagi tetapi …

10 fl.formal-languages  automata-theory 

Apa pendekatan standar untuk meminimalkan Büchi-Automata (atau juga Müller-Automata)? Mentransfer teknik yang biasa dari kata-kata terbatas, yaitu menetapkan dua negara menjadi sama jika kata-kata "kehabisan" dari negara-negara yang diterima adalah sama, tidak akan berfungsi. Misalnya, pertimbangkan Büchi-Automoton yang menerima semua kata dengan jumlah tak terbatas dari a yang terdiri dari …

10 fl.formal-languages  automata-theory 

Khususnya yang saya maksud dengan penambahan adalah, kita mendefinisikan sebagai alfabet . Mengingat bahasa biasa dan di bawah beberapa alfabet , lihat . { 0 , 1 , 2 , . . . , i } A B Σ i A × BΣsayaΣi\Sigma_i{ 0 , 1 , 2 , . …

10 automata-theory 

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 tape read-only input, tidak seperti automata terbatas-negara yang mungkin hanya …

10 automata-theory  lower-bounds 

Otomat deterministik disebut k- lokal untuk k > 0 jika untuk setiap w ∈ X k himpunan { δ ( q , w ) : q ∈ Q } berisi paling banyak satu elemen. Secara intuitif itu berarti jika kata w dengan panjang k mengarah ke keadaan, maka keadaan ini …

10 fl.formal-languages  automata-theory  synchronization 

Biarkan menjadi bahasa bebas konteks. Tentukan menjadi penutupan sebelum dan postfix dari L , dengan kata lain, ppc (L) mengandung semua L 's prefiks dan postfixes, dan karenanya L sendiri. Pertanyaan saya: jika L bebas konteks dan memiliki tata bahasa yang tidak ambigu, apakah hal yang sama berlaku untuk ppc …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Saya mencoba menyusun taksonomi algoritma untuk mengubah ekspresi reguler menjadi automata sehingga dapat melakukan beberapa tes empiris dari sifat kompleksitas mereka di domain tertentu. Saya mengetahui beberapa nama 'besar', misalnya, Thompson "Algoritma Pencarian Ekspresi Reguler", Thompson, 1968 Glushkov "Algoritma Quadratic Baru untuk Mengubah Ekspresi Reguler menjadi Automaton", Ponty, et. al, …

10 automata-theory  fl.formal-languages  regular-expressions 

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 dilakukan pada saat yang bersamaan. Setiap …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

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 input dengan yang lain. Mari kita …

10 fl.formal-languages  automata-theory  regular-language  nfa