Pertanyaan yang diberi tag «formal-languages»

Saya bertanya-tanya kapan bahasa yang berisi jumlah instance yang sama dari dua substring akan teratur. Saya tahu bahwa bahasa yang mengandung jumlah 1s dan 0s yang sama tidak teratur, tetapi merupakan bahasa seperti , di mana = jumlah dari substring "001" sama dengan jumlah instance dari substring " 100 " …

14 formal-languages  regular-languages  pumping-lemma 

Saya sedang memikirkan tata bahasa untuk bahasa indendasi-sensitif dan sepertinya tata bahasa CF akan melakukan trik jika dikombinasikan dengan parameter. Sebagai contoh, pertimbangkan fragmen ini untuk tata bahasa Python yang disederhanakan dalam format seperti ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's consider …

13 formal-languages  context-free  formal-grammars  parsers 

Saya mempelajari bahasa formal dan sistem basis produksi (sistem basis aturan) dan saya sedikit bingung mengapa dua kata "produksi" dan "aturan" ini memiliki arti yang sama dalam banyak konteks dalam Ilmu Komputer. Dalam Bahasa Inggris mereka tampaknya tidak berarti hal yang sama. Saya bukan penutur asli bahasa Inggris, tetapi saya …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Saat melakukan tugas saat ini untuk bahasa formal dan kursus automata saya, saya agak terjebak pada latihan yang melibatkan bahasa unary (saya harap itu istilah yang tepat), yaitu, bahasa yang dibangun di atas satu huruf. Saya tidak ingin bertanya tentang latihan spesifik, tetapi tentang dugaan yang jauh lebih umum yang …

13 formal-languages  regular-languages 

Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat ditentukan dan tidak dapat ditentukan? Saya berpikir tentang bahasa …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Tetapkan bahasa sebagai . Dengan kata lain,LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLL berisi kata-kata yang tidak dapat diekspresikan karena beberapa kata diulang dua kali. ApakahLLL bebas konteks atau tidak? Saya sudah mencoba untuk berpotongan LLL dengan a∗b∗a∗b∗a∗b∗a∗b∗a^*b^*a^*b^* , tapi aku masih tidak bisa membuktikan apa-apa. Saya …

13 formal-languages  context-free  formal-grammars 

Saya mencari algoritma yang efisien untuk masalah berikut atau bukti NP-hardness. Biarkan menjadi himpunan dan seperangkat himpunan bagian dari . Temukan urutan panjang paling sedikit sehingga untuk setiap , ada sedemikian rupa sehingga .Σ\SigmaA⊆P(Σ)A\subseteq\mathcal{P}(\Sigma)Σ\Sigmaw∈Σ∗w\in \Sigma^*L∈AL\in Ak∈Nk\in\mathbb{N}{wk+i∣0≤i&lt;|L|}=L\{ w_{k+i} \mid 0\leq i < |L| \} = L Misalnya, untuk A={{a,b},{a,c}}A = \{\{a,b\},\{a,c\}\} …

13 algorithms  formal-languages  encoding-scheme 

Apakah ada cara alami atau terkenal untuk menghubungkan atau menautkan kelompok matematika dan bahasa formal CS atau konsep inti CS lainnya misalnya mesin Turing? Saya mencari referensi / aplikasi. Namun perhatikan bahwa saya mengetahui tautan antara semigroup dan bahasa CS (yaitu via finata automata ). (Apakah literatur tentang semiautomata ini …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Ada banyak bahasa populer. Tetapi, para ilmuwan komputer memberi tahu kita bahwa untuk memahami perilaku program dalam bahasa-bahasa itu dengan jelas dan jelas mendebatkan perilaku program (misalnya membuktikan identitas mereka), kita perlu menerjemahkannya ke bahasa lain yang dipahami dengan baik. Mereka menyebut bahasa itu "semantik". Penulis mengusulkan satu dari banyak …

13 formal-languages  semantics 

Saya sangat suka bantuan Anda dengan yang berikut: Untuk setiap tetap saya perlu untuk memutuskan apakah ada penutupan di bawah operator berikut:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Opsi yang relevan adalah: Bahasa reguler ditutup …

13 formal-languages  regular-languages  closure-properties 

adalah bahasa reguler di atas alfabet Σ = { a , b } . Hasil bagi kiri L mengenai w ∈ Σ ∗ adalah bahasa w - 1 L : = { v ∣ w v ∈ L }LLLΣ = { a , b }Σ={Sebuah,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in …

13 formal-languages  regular-languages  closure-properties 

Saya tahu bahwa ada bahasa non-reguler, sehingga teratur, tetapi semua contoh yang saya temukan adalah peka konteks tetapi tidak bebas konteks.L∗L∗L^* Jika tidak ada, bagaimana Anda membuktikannya?

13 formal-languages  context-free  regular-languages 

Tampaknya "Ekspresi Reguler Dasar" seperti yang didefinisikan oleh POSIX.1-2008 tidak mendukung pergantian, a|b(meskipun beberapa implementasi grep mengenali versi yang lolos, \|). Karena bahasa reguler ditutup di bawah penyatuan menurut definisi, apakah ini berarti bahwa POSIX BRE memiliki daya ekspresif yang kurang dari otomat terbatas? Atau ada beberapa cara untuk mensimulasikan …

13 formal-languages  regular-expressions 

Masalah Tidak ada cara mudah untuk mendapatkan permutasi dengan regex. Permutasi: Mendapatkan kata ("aabc") ke urutan lain, tanpa mengubah jumlah atau jenis huruf.w=x1…xnw=x1…xnw=x_1…x_n Regex: Ekspresi reguler. Untuk verifikasi: "Regex permutasi tanpa pengulangan" Jawabannya menciptakan kode JavaScript, bukan regex, dengan asumsi ini akan lebih sederhana. "Bagaimana menemukan semua permutasi dari kata …

13 formal-languages  regular-languages  regular-expressions 

Saya pikir semua bahasa reguler dapat diekspresikan dengan ekspresi reguler (jika suatu bahasa biasa, dapat diekspresikan dengan regex), tetapi saya telah diberitahu bahwa Anda memerlukan ketiga operasi reguler (penggabungan, penyatuan, dan bintang) untuk itu untuk menahan. Sebagai contoh, saya telah diberitahu bahwa jika saya hanya dapat menggunakan operasi regex gabungan …

12 formal-languages  regular-languages  regular-expressions  kleene-star