Pertanyaan yang diberi tag «fl.formal-languages»

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 

Barry Jay dalam bukunya membuat beberapa klaim berani - pada dasarnya dengan mengatakan bahwa, pada intinya sebuah program, semuanya adalah atom atau komposisi. Maka hal-hal dapat dengan mudah diulang, disaring, diperbarui, hanya dengan menavigasi hubungan komposisi ini. Apakah ini perbatasan baru dalam Ilmu Komputer untuk bahasa komputer - atau apakah …

11 fl.formal-languages 

Di mana saya dapat menemukan pengantar untuk automata probabilistik dan apa yang mereka kenali (fungsi tertentu dari kata ke )? Apakah ada istilah standar untuk fungsi seperti itu yang dikenali oleh automata probabilistik, analog dengan "bahasa reguler" untuk apa yang dikenali deterministik finite automata (DFA)?[0,1][0,1][0,1] Saya mencari sesuatu yang mendekatinya …

10 reference-request  fl.formal-languages  probabilistic-automata 

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 

Pertanyaan ini adalah tentang apakah ada tarpit Turing reversibel yang dikenal, di mana "reversibel" berarti dalam arti Axelsen dan Glück , dan "tarpit" adalah konsep yang jauh lebih informal (dan mungkin bukan pilihan kata yang sangat baik), tapi saya akan melakukan yang terbaik untuk menjelaskan apa yang saya maksud dengan …

10 fl.formal-languages  computability  machine-models 

Dalam Bab 13 "Objek Atom" dari buku "Algoritma Terdistribusi" oleh Nancy Lynch, linearitas (juga dikenal sebagai atomisitas) terbukti menjadi properti yang aman. Dengan kata lain, properti jejak yang sesuai adalah nonempty, prefix-closed, dan limit-closed , sebagaimana didefinisikan dalam Bagian 8.5.3. Secara tidak resmi, properti keselamatan sering diartikan sebagai mengatakan bahwa …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

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 

Pertimbangkan bahasa tidak kosong panjang string biner . Saya dapat menggambarkan dengan rangkaian Boolean dengan input dan satu output sedemikian rupa sehingga benar iff : ini sudah terkenal.n L C n C ( w ) w ∈ LL.LLnnnL.LLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Namun, saya ingin mewakili dengan Boolean …

10 fl.formal-languages  circuit-complexity 

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 

Bahasa bebas konteks deterministik (DCFL) dan bahasa pushdown tampak (VPL) keduanya set bahasa formal antara bahasa bebas konteks (CFL) dan bahasa biasa (REG). Apakah ada notasi yang dapat dibaca yang dapat diekspresikan dalam ASCII sederhana seperti Backus-Naur-Form untuk CFL dan ekspresi reguler untuk REG?

10 fl.formal-languages 

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