Bilgisayar Bilimi

Min-öbek otomatların tanımları hakkında bazı açıklamalar için bu yazının sonuna bakınız. Devlet makineleri tarafından kullanılmak üzere bilgilerin depolanması için çeşitli veri yapılarının kullanılması düşünülebilir. Örneğin, aşağı açılır otomatik veriler bilgileri bir yığında depolar ve Turing makineleri bir bant kullanır. Kuyruk kullanan devlet makinelerinin ve iki çoklu yığın veya bant kullananların, …

44 formal-languages  automata 

Ben öğreniyorum otomatik teorem ispatlama / SMT çözümleyici / Kanıtı Yardımcıları başıma ve burada başlayan süreci hakkında sorular, bir dizi yayınlamak. Bu konuların (matematiksel) mantıkta bir arka plan olmadan kolayca sindirilmediğini unutmayın. Temel terimlerle ilgili sorunlarınız varsa, lütfen bunları okuyunuz, örneğin M. Huth ve M. Ryan tarafından Bilgisayar Bilimi Mantıkları …

44 logic  proof-assistants  automated-theorem-proving  coq 

Yüksek dereceli desen eşleşmesi kararsız bir sorundur. Vasıtasıyla orada bir denklem verilen hiçbir algoritma a => b, ave bsadece yazılmış lambda hesabı açık terimlerdir bir ikame bulur S, böylece aS => bSburada, =>"aynı Bn, normal formu vardır" anlamına gelir. Ancak insanlar bu sorunu etkili bir şekilde çözebilir. Örneğin, aşağıdaki sorun …

44 computability 

Eşzamanlı programlamaya bakıldığında, iki terim sıklıkla kullanılır, yani eşzamanlı ve paralel. Bazı programlama dilleri, özellikle Java gibi paralel programlama için destek talep eder . Bu paralel ve eşzamanlı programlamanın aslında farklı olduğu anlamına mı geliyor?

44 terminology  parallel-computing  concurrency 

Bağlamsız bir dille ilgili şu soruya rastladığımı hatırlıyorum, ancak bunun bir kanıtı bulamadım. Belki de soruyu yanlış anladınız mı? Neyse, işte soru: Bu dilin içerikten bağımsızdır.L={xy∣|x|=|y|,x≠y}L={xy∣|x|=|y|,x≠y}L = \{xy \mid |x| = |y|, x\neq y\}

43 formal-languages  context-free 

Bir fonksiyonun hesaplanabilir olması durumunda, bir Turing Makinesi olduğunu biliyorum. Öyleyse, işlevin hesaplanabilir olmadığını ya da bunun için herhangi bir Turing Makinesi olmadığını gösterme. Pumping lemması gibi bir şey var mı?

43 computability  proof-techniques  undecidability  reference-question 

Bir programcı olduğumu ve onu çözmek için ihtiyacım olan NP-tamam bir sorunum olduğunu varsayalım. NPC problemleriyle başa çıkmak için hangi yöntemler mevcut? Bu konuda bir anket ya da benzeri bir şey var mı?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Bağımlı tip sistemlerin zorunluluk olmadığını, kontrol edilebilir olduğunu belirtti. Bunun neden böyle olduğuna dair basit bir açıklama olup olmadığını ve tiplerin değerlerle endekslenebildikleri “bağımlılık” sınırı olup olmadığını, hangi tip çıkarımın mümkün olduğu ve hangisinin altında olmadığını merak ediyordum.

42 undecidability  type-theory  type-inference  dependent-types 

Dış programlara / işlevlere kanca olması gereken bir tercüman yazarken garip bir sorunla karşılaştım: 'C' ve 'C ++' içindeki işlevler değişken işlevlere bağlanamıyor , örneğin 'printf' adında bir işlev yapamıyorum onunla aynı argümanlar ile ve bunun yerine, değişken bir nesneyi alan alternatif bir sürümü çağırmak zorundadır. Bu çok sorunlu çünkü …

42 computability  programming-languages  turing-completeness 

Bilgisayar sistemleri dersimizde MIPS işlemcisiyle tanıştık. Dönem boyunca (yeniden) geliştirildi ve anlaşılması oldukça kolaydı. Bir RISC tasarımını kullanır , temel komutları düzenli olarak kodlanır ve telleri basit tutmak için bunlardan yalnızca birkaçı vardır. CISC'nin farklı bir felsefe izlediği belirtildi . X86 komut setine kısaca baktım ve şok oldum . Kimsenin …

42 computer-architecture 

Kırmızı-siyah bir ağacın aşağıdaki tanımını varsayalım: Bu bir ikili arama ağacıdır. Her bir düğüm kırmızı ya da siyah renklidir. Kök siyah. Bir kenar tarafından birbirine bağlanmış iki düğüm aynı anda kırmızı olamaz. İşte WIL'deki gibi bir NIL yaprağının iyi bir tanımı olmalı . NIL yaprağı siyah renklidir. Kökten herhangi bir …

41 data-structures  search-trees  balanced-search-trees 

Yığın Overflow'u görüyordum, örneğin, burada , burada , burada , burada , burada ve bazılarında "yinelemeyi kullanan herhangi bir programın yalnızca yinelemeyi kullanan bir programa dönüştürülebileceğini" söylemek istemiyorum. Evet, bunun mümkün olduğunu söyleyen son derece yükseltilmiş bir cevabı olan çok iyi bir iş parçacığı bile vardı . Şimdi yanlış olduklarını …

41 computability  recursion  iteration 

Gelen bu cevap söz konusu buluşu Düzenli bir dil sonlu bir otomat tarafından tanınabilir. Bağlamsız bir dil yığın gerektirir ve bağlam duyarlı bir dil iki yığın gerektirir (tam bir Turing makinesi gerektirdiğini söylemeye eşdeğerdir) . Yukarıdaki kalın bölümün gerçeği ile ilgili bilmek istedim. Aslında doğru mu değil mi? Buna cevap …

41 computability  turing-machines  automata  pushdown-automata 

Çok benzer simetri gösteren ve Peterson ve Dekker'in algoritmalarını anlamaya çalışıyorum. Algoritmaları gayrı resmi bir dilde aşağıdaki gibi formüle etmeye çalıştım: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter CS! // CS …

41 concurrency  synchronization  mutual-exclusion 

Oldukça büyük bir sözlükle çalışması gereken bir yazım denetleyicisi yazmaya çalışıyorum. Hangi kelimelerin yanlış hecelenen kelimeye en yakın olduğunu belirlemek için Damerau-Levenshtein mesafesi kullanılarak kullanılmak üzere sözlük verilerimi endekslemek için etkili bir yol istiyorum . Bana alan karmaşıklığı ile çalışma zamanı karmaşıklığı arasında en iyi uzlaşmayı sağlayacak bir veri yapısı …

41 data-structures  strings  string-metrics