Pertanyaan yang diberi tag «fl.formal-languages»

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 

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 

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 

Ini mungkin cukup sederhana, tetapi pertimbangkan Masalah Post Correspondence standar: Mengingat dan β 1 , ... , β N , menemukan urutan indeks i 1 , ... , i K sehingga a i 1 ⋯ α i K = β i 1 ⋯ β i K . Ini, tentu saja, …

12 computability  fl.formal-languages 

Saya memindahkan pertanyaan ini dari stackoverflow di mana id tidak mendapat jawaban. Kami memiliki pertanyaan serupa apakah JSON biasa : JSON dan XML keduanya sering disebut sebagai bahasa bebas konteks - keduanya ditentukan terutama oleh tata bahasa formal di EBNF. Namun ini hanya berlaku untuk JSON sebagaimana didefinisikan dalam RFC …

12 fl.formal-languages 

Sudah diketahui umum bahwa komplemen bebas konteks. Tapi bagaimana dengan komplemen ?{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\}{www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\}

12 fl.formal-languages  context-free 

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 

Biarkan menjadi bahasa dan fungsi pada dua parameter dengan properti yang untuk semua dan , mengembalikan elemen dari jika dan hanya jika keduanya dan adalah elemen :f : Σ ⋆ × Σ ⋆ → Σ ⋆ x y f L x y LL.LLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffL.LLxxxyyyL.LL f( x , …

11 reference-request  fl.formal-languages 

Sistem Penambahan Vektor (VAS) adalah seperangkat tindakan terbatas . adalah himpunan tanda . Sebuah menjalankan adalah kata non-kosong tanda st . Jika ada kata seperti itu, kami katakan bahwa dapat dijangkau dari .N dA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^d ∀ i ∈ { 0 , … , n - 1 } , m …

11 fl.formal-languages  decidability 

Pertimbangkan masalah berikut: Dengan dua string x, y, tentukan apakah ada string homomorfisme f sedemikian rupa sehingga f (x) = y. Mudah untuk menunjukkan bahwa masalah ini ada di . Adakah hal lain yang bisa kita katakan tentang masalah ini? mis. Apakah itu dalam , atau bahkan ?NPNPNPc o NPcHaiNPcoNPPPP …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Saya memahami klaim berikut ini sebagai benar: Dua derivasi berbeda dari string dalam CFG yang diberikan kadang-kadang dapat menghubungkan pohon parse yang sama dengan string. Ketika ada derivasi dari beberapa string dalam CFG yang diberikan yang menghubungkan pohon parse yang berbeda, CFG bersifat ambigu. Beberapa bahasa bebas konteks yang dihasilkan …

11 fl.formal-languages  regular-language  context-free 

EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah berjenis affine berdimensi tidak dinyatakan …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

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 

Masalah berikut dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=∅L(G)=∅L(G) = \varnothing Masalah berikut tidak dapat diputuskan: Diberi tata bahasa bebas konteks , apakah ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Apakah ada karakterisasi bahasa bebas konteks dengan kesetaraan decidable ?MMML(G)=ML(G)=ML(G) = M

11 computability  fl.formal-languages