Ilmu Komputer

Apakah tugas perangkat lunak (sistem operasi) untuk mendeteksi stack overflow atau apakah stack overflow terdeteksi di perangkat keras, menyebabkan pengecualian pada CPU?

26 computer-architecture  stacks 

Sebagian besar dari kita tahu korespondensi antara logika kombinasi dan kalkulus lambda . Tapi saya belum pernah melihat (mungkin saya belum melihat cukup dalam) setara dengan "combinator yang diketik", sesuai dengan kalkulus lambda yang diketik sederhana. Apakah hal seperti itu ada? Di mana orang dapat menemukan informasi tentang itu?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Ada banyak teknik untuk membuktikan bahwa bahasa adalah tidak bebas konteks, tapi bagaimana saya membuktikan bahwa bahasa adalah bebas konteks? Teknik apa yang ada untuk membuktikan ini? Jelas, salah satu caranya adalah dengan menunjukkan tata bahasa bebas konteks untuk bahasa tersebut. Apakah ada teknik sistematis untuk menemukan tata bahasa bebas …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Pertanyaan ini terinspirasi oleh komentar di StackOverflow . Selain mengetahui masalah NP-lengkap dari buku Garey Johnson, dan banyak lainnya; adakah aturan praktis untuk mengetahui apakah suatu masalah terlihat seperti masalah NP-complete? Saya tidak mencari sesuatu yang ketat, tetapi untuk sesuatu yang bekerja dalam banyak kasus. Tentu saja, setiap kali kita …

26 complexity-theory  np-complete  intuition 

Apakah konteks bahasa berikut ini gratis? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Seperti yang ditunjukkan oleh sdcvvc, sebuah kata dalam bahasa ini juga dapat digambarkan sebagai gabungan dari dua kata dengan panjang yang sama …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Kapan beberapa (relatif) dasar (pikirkan siswa CS tingkat perguruan tinggi tahun pertama) ketika seseorang akan menggunakan rekursi alih-alih hanya satu lingkaran?

26 algorithms  recursion 

Saya telah mendengar beberapa kali bahwa untuk nilai n yang cukup kecil, O (n) dapat dipikirkan / diperlakukan seolah-olah itu O (1). Contoh : Motivasi untuk melakukannya didasarkan pada gagasan yang salah bahwa O (1) selalu lebih baik daripada O (lg n), selalu lebih baik daripada O (n). Urutan asimptotik …

26 asymptotics 

Saya tahu bahwa algoritma Euclid adalah algoritma terbaik untuk mendapatkan GCD (pembagi umum yang hebat) dari daftar bilangan bulat positif. Namun dalam praktiknya Anda dapat membuat kode algoritma ini dengan berbagai cara. (Dalam kasus saya, saya memutuskan untuk menggunakan Java, tetapi C / C ++ mungkin merupakan pilihan lain). Saya …

26 algorithms  recursion  arithmetic 

Saya belajar bahasa pemrograman Haskell, dan saya mencoba untuk membungkus kepala saya di sekitar apa perbedaan antara a typedan a kind. Seperti yang saya pahami a kind is a type of type,. Misalnya, a ford is a type of cardan a car is a kind of vehicle. Apakah ini cara …

26 type-theory 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Diketahui bahwa setiap masalah optimasi / pencarian memiliki masalah keputusan yang setara. Misalnya masalah jalur terpendek versi optimisasi / pencarian: Diberikan grafik tidak tertimbang yang tidak diarahkan …

26 complexity-theory  optimization  search-problem  decision-problem 

Pertanyaan ini dimigrasikan dari Mathematics Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Dominosa adalah permainan puzzle yang relatif baru. Ini dimainkan pada kotak . Sebelum permainan dimulai, tulang domino diletakkan di atas kisi (membentuk ubin sempurna ). Pada langkah berikutnya, tulang …

26 complexity-theory  np-hard  board-games  tiling 

Dengan hanya mempertimbangkan alfabet , string yang dapat diberikan sebagai input ke mesin Turing berasal dari himpunan Σ ∗ . Tetapi apakah masuk akal untuk input menjadi string biner yang tak terbatas? Sebagai contoh jika mesin Turing menerima semua string dimulai dengan 0, apakah string biner nol tak terbatas juga …

26 turing-machines 

Dengan anggapan permintaan cache l1 dan l2 menghasilkan kesalahan, apakah prosesor berhenti sampai memori utama telah diakses? Saya mendengar tentang gagasan untuk beralih ke utas lain, jika demikian, apa yang digunakan untuk membangunkan utas yang macet?

26 computer-architecture  cpu-cache  cpu-pipelines 

Saya telah melihat dua definisi pohon biner seimbang, yang terlihat berbeda bagi saya. Pohon biner seimbang jika untuk setiap node itu berpendapat bahwa jumlah node dalam di subtree kiri dan jumlah node dalam di subtree kanan berbeda paling banyak 1. Pohon biner seimbang jika untuk setiap dua daun perbedaan kedalaman …

26 data-structures  binary-trees 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya membuat ekspresi reguler sederhana lexer dan parser untuk mengambil ekspresi reguler dan menghasilkan pohon parsenya. Membuat otomat keadaan terbatas non-deterministik dari pohon parse ini relatif sederhana untuk ekspresi reguler …

26 automata  finite-automata  regular-expressions