Ilmu Komputer

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 ingin contoh quine dalam kalkulus lambda murni . Saya cukup terkejut bahwa saya tidak dapat menemukannya dengan googling. Halaman quine mencantumkan quine untuk banyak bahasa "nyata", tetapi tidak untuk kalkulus lambda. Tentu saja, ini berarti mendefinisikan apa yang saya maksudkan dengan quine dalam kalkulus lambda, yang saya lakukan di …

13 lambda-calculus 

Saya sedang membaca entri Wikipedia tentang Kolmogorov Complexity ( berkat pertanyaan ini ), yang menyatakan: Dapat ditunjukkan bahwa kompleksitas Kolmogorov dari string apa pun tidak boleh lebih dari beberapa byte lebih besar dari panjang string itu sendiri. Mengapa Anda perlu lebih dari string itu sendiri untuk menggambarkannya?

13 kolmogorov-complexity 

Pemrograman fungsional memiliki Lambda Calculus yang sangat elegan dan variannya sebagai teori cadangan. Apakah ada hal seperti itu untuk OOP? Apa yang dimaksud dengan abstraksi untuk model berorientasi objek?

13 terminology  lambda-calculus  functional-programming  object-oriented 

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 

Menggunakan algoritma Fibonacci rekursif berikut: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Jika saya memasukkan angka 5 untuk menemukan fib (5), saya tahu ini akan menghasilkan 5 tetapi bagaimana saya memeriksa kompleksitas algoritma ini? Bagaimana cara menghitung langkah-langkah yang terlibat?

13 algorithms  time-complexity  recursion 

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 nnn sampah, yang bin th mengandung bola. Bola memiliki warna, ada bola warna . Biarkan .iiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Swap adalah mengambil bola dari satu nampan dan menukar dengan bola dari nampan lain. Kami ingin jumlah swap minimum sehingga setiap nampan hanya berisi bola dengan warna yang sama. Saya tahu kasus …

13 algorithms  complexity-theory  balls-and-bins 

Saya mencoba memahami apa yang dimaksud dengan "deterministik" dalam ungkapan seperti "tata bahasa bebas konteks deterministik". (Ada lebih banyak "hal-hal" deterministik dalam bidang ini). Saya akan menghargai contoh lebih dari penjelasan yang paling rumit! Jika memungkinkan. Sumber kebingungan utama saya adalah dari tidak dapat mengatakan bagaimana properti tata bahasa ini …

13 context-free  formal-grammars  parsers 

Saya telah membaca tentang perbedaan antara serializability dan linearizability , yang keduanya merupakan kriteria konsistensi untuk sistem yang direplikasi seperti database yang direplikasi. Namun, saya tidak tahu dalam hal apa linierabilitas akan diperlukan, meskipun itu lebih kuat dari serializability. Bisakah Anda membuat skenario di mana properti kuat seperti itu sebenarnya …

13 concurrency  databases 

Biarkan bahasa L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* menjadi reguler. Faktorisasi LL\mathcal{L} adalah pasangan maksimal (X,Y)(X,Y)(X,Y) dari kumpulan kata dengan X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , dimana X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y) adalah maksimal jika untuk setiap pasangan(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq …

13 algorithms  regular-languages  optimization 

Apakah output parser harus berupa pohon atau bisa juga grafik umum? Selain itu, apakah ada bahasa yang ada atau bahasa yang masuk akal yang menggunakan representasi grafik umum alih-alih pohon untuk sintaksinya?

13 compilers  parsing 

Fungsi sibuk berang-berang max bergeser, S(n)S(n)S(n) , memiliki nilai yang diketahui untuk . Adakah alasan mendasar dan struktural mengapa kita tidak dapat menemukan untuk ? Apa perbedaan dari dari ? Atau ? Di suatu tempat di sepanjang jalan harus ada beberapa perbedaan mendasar, jika akan, pada prinsipnya, dihitung untuk semua …

13 computability  busy-beaver 

Misalkan saya memiliki grafik dengan M ( G ) yang (tidak diketahui) set matching sempurna G . Misalkan set ini tidak kosong, lalu seberapa sulitkah untuk mengambil sampel secara acak dari M ( G ) ? Bagaimana jika saya baik-baik saja dengan distribusi yang dekat dengan seragam, tetapi tidak cukup …

13 algorithms  complexity-theory  matching  sampling 

Saya agak baru, tetapi sangat tertarik pada bidang teori komputasi dan kompleksitas, dan saya ingin memperjelas pemahaman saya tentang bagaimana masalah kelas, dan seberapa kuat masalah terkait dengan mesin yang digunakan untuk menyelesaikannya. Pemahaman saya Standard Turing Machine - Mesin Turing yang memiliki alfabet terbatas, jumlah negara terbatas dan satu …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes