Bilgisayar Bilimi

Bir kesme oluştuğunda, işlemci geçerli işlemi önler ve kesmeyi işlemek için çekirdek kodunu çağırır. İşlemci çekirdeğe nereden girileceğini nasıl biliyor? Her kesme hattı için kurulabilen kesme işleyicileri olduğunu anlıyorum. Ancak işlemci yalnızca 'kablolu kablolu mantık' yürüttüğünden, bir kesme işleyicisinin kendisini veya işleyiciden önce çalışan bir kodu işaret eden önceden tanımlanmış …

13 computer-architecture  operating-systems  os-kernel 

Raphael'in iki NPDA'nın kesişimine ilişkin önerisine yaklaşması : Let ve bağlam bağımsız diller için NPDA ve sırasıyla. Biliyoruz ki varsayarsak bağlam içermeyen, biz (etkili) NPDA gerçekleştirebilmesi için ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Her türlü algoritma kabul edilebilir, ancak ne kadar pratik olursa o kadar iyidir.

13 computability  automata  pushdown-automata 

Wikipedia'da ve diğer bazı metinlerde okudum Durma problemi [...] doğrusal sınırlı otomata (LBA) [ve] sonlu hafızalı deterministik makineler için kararlıdır. Ancak daha önce, durdurma sorununun çözülemez bir sorun olduğu ve böylece TM'nin çözemediği yazılmıştır! LBA bir tür TM olarak tanımlandığından, bunlar için de geçerli değil mi?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

varsayın .P≠NPP≠NPP\neq NP Tüm NP-tamamlama sorunlarının çalışma zamanı sınırları hakkında ne söyleyebiliriz? yani herhangi bir NP-tam problemi için en uygun algoritmanın en az zamanında çalışacağını garanti edebileceğimiz gibi en sıkı fonksiyonlar nelerdir? ve en fazla uzunluğunda bir girdi ?L,U:N→NL,U:N→NL,U:\mathbb{N}\to\mathbb{N}o ( U ( n ) ) nω(L(n))ω(L(n))\omega(L(n))o(U(n))o(U(n))o(U(n))nnn Açıkçası, . Ayrıca, .U …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

"Korelasyonun nedenselliğe eşit olmadığı" iyi bilinen bir gerçektir, ancak makine öğrenimi neredeyse tamamen korelasyona dayalı gibi görünmektedir. Öğrencilerin geçmiş performanslarına dayalı sorulardaki performanslarını tahmin etmek için bir sistem üzerinde çalışıyorum. Google arama gibi diğer görevlerin aksine, bu kolayca oynatılabilecek bir sistem gibi görünmüyor - bu nedenle nedensellik bu anlamda gerçekten …

13 machine-learning  statistics 

Saf lambda hesabında bir kine örneği istiyorum . Google'da bir tane bulamadığım için oldukça şaşırdım. Quine sayfası , birçok "gerçek" dil için quines listeler, ancak lambda hesabı için değil. Tabii ki, bu, aşağıda yaptığım lambda hesabındaki bir quine ile ne demek istediğimi tanımlamak anlamına geliyor. (Oldukça spesifik bir şey istiyorum.) …

13 lambda-calculus 

Fonksiyonel programlama, yedek teori olarak çok zarif Lambda Calculus ve varyantlarına sahiptir. OOP için böyle bir şey var mı? Nesneye yönelik model için soyutlama nedir?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Aşağıdaki özyinelemeli Fibonacci algoritmasını kullanarak: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Fib (5) bulmak için 5 sayısını girersem, bunun 5 çıktısı olacağını biliyorum ama bu algoritmanın karmaşıklığını nasıl inceleyebilirim? İlgili adımları nasıl hesaplayabilirim?

13 algorithms  time-complexity  recursion 

Matematik gruplarını ve CS resmi dillerini veya Turing makineleri gibi başka bir temel CS kavramını ilişkilendirmenin veya bağlamanın doğal veya kayda değer bir yolu var mı ? Referanslar / uygulamalar arıyorum. Ancak yarı gruplar ve CS dilleri arasındaki bağlantıdan haberdar olduğumu unutmayın ( sonlu otomata üzerinden ). (Semiautomata ilişkin bu …

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

"Deterministik bağlamsız dilbilgisi" gibi ifadelerde "deterministik" ile ne anlama geldiğini anlamaya çalışıyorum. (Bu alanda daha belirleyici "şeyler" vardır). En ayrıntılı açıklamadan daha çok bir örneği takdir ediyorum! Eğer mümkünse. Başlıca karışıklık kaynağım, bir dilbilgisinin bu özelliğinin (olmayan) belirsizlikten ne kadar farklı olduğunu söyleyememek. Ne anlama geldiğini bulabildiğim en yakın şey …

13 context-free  formal-grammars  parsers 

Dil düzenli olsun.L ⊆ Σ*L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Bir çarpanlara maksimal çifti kelimelerin setleri ile ( X , Y )LL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆ LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠ ∅ ≠ YX≠∅≠YX \neq \emptyset \neq Y , burada | .x ∈ X , y ∈ Y }X⋅ Y= { x …

13 algorithms  regular-languages  optimization 

Çoğaltılmış veritabanları gibi çoğaltılmış sistemler için tutarlılık ölçütü olan serileştirilebilirlik ve doğrusallaştırılabilirlik arasındaki farkları okudum . Ancak, serileştirilebilirlikten daha güçlü olmasına rağmen hangi durumlarda doğrusallaştırmaya ihtiyaç duyulacağını bilmiyorum. Böyle güçlü bir mülkün gerçekten gerekli olacağı senaryolar bulabilir misiniz?

13 concurrency  databases 

Aşağıdaki sorun veya NP sertliğinin bir kanıtı için verimli bir algoritma arıyorum. Let bir dizi ve olmak A ⊆ P ( Σ ) alt kümelerinin bir dizi Σ . Bir dizi Bul w ∈ Σ * en az bir uzunlukta, örneğin her biri için bu L ∈ A , bir …

13 algorithms  formal-languages  encoding-scheme 

Orada kutuları, ben inci bin ihtiva bir i topları. Toplar bulunmaktadır n renk vardır bir ı renk topları i . Let m = Σ n i = 1 , bir i .nnniiiaiaia_innnaiaia_iiiim=∑ni=1aim=∑i=1naim=\sum_{i=1}^n a_i Bir takas, bir kutudan bir topu alır ve başka bir kutudan bir topla değiştirir. Her bölmenin yalnızca …

13 algorithms  complexity-theory  balls-and-bins 

Meşgul kunduz maks . işlevi , için bilinen değerlere sahiptir . için bulabilmemizin akıl almaz olmasının bazı temel, yapısal bir nedeni var mı? Ne hakkında çok farklı den ? Yoksa mı? Yol boyunca bir yerlerde, aksi takdirde bazı temel bir fark var olmalıdır herkes için hesaplanabilir, prensipte olacağını , bu …

13 computability  busy-beaver