Bilgisayar Bilimi

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Düzenli bir ifade alıp ayrıştırma ağacını oluşturmak için basit bir düzenli ifade yazıcısı ve ayrıştırıcı oluşturdum. Bu ayrıştırma ağacından deterministik olmayan bir sonlu durum otomatı oluşturmak, temel normal ifadeler için …

26 automata  finite-automata  regular-expressions 

Gayri Problem Sorunu: Bir dize verildiğinde, örneğin ACCABBABACCABBABACCABBAB , bazı harfleri kırmızı, bazı harfleri mavi (ve bazılarını değil) renklendirmek istiyoruz, öyle ki sadece soldan sağa doğru kırmızı harfleri okumak aynı sonucu verir. sadece mavi harfler. Örnekte onları şu şekilde renklendirebiliriz: ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} Bu nedenle, A C C A B B A …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Blockly, friends ve Github'da barındırılan diğer projeler gibi birkaç açık kaynaklı görsel programlama aracı buldum, ancak doğrudan soyut sözdizimi ağacı ile çalışan herhangi bir şey bulamadım. Neden? Soruyorum, çünkü derleyici işleminde her derleyicinin bir AST'ye kaynak kodunu ayrıştırdığı bir aşama olduğunu öğrendiğimde, bazı görsel programlama araçlarının programlayıcıya yol vermek için …

25 programming-languages  language-design  syntax-trees 

itfa süresi içerisinde aşağıdaki işlemleri destekleyen sıralı bir listeyi tutacak bir veri yapısı var mı ?0 ( 1 )O(1)O(1) GetElement (k) : Listenin .kkk InsertAfter (x, y) : Yeni öğeyi y'den hemen sonra listeye ekleyin. Sil (x) : Listeden x'i kaldır. Son iki işlem için, x'in doğrudan veri yapısına gösterici …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Durma sorununun neden saf olmayan programlar için (örneğin, makinenin global durumuna bağlı I / O ve / veya durumlara sahip olanlar) kararsız olduğunu anlamak oldukça basittir. ancak sezgisel olarak, saf bir programın ideal bir bilgisayarda durması, örneğin statik analizler ile karar verilebilir gibi görünüyor. Aslında durum bu mu? Olmazsa, bu …

25 halting-problem  static-analysis 

Halting Probleminin kararsızlığının kanıtını anlamakta güçlük çekiyorum. Eğer döner programına olsun veya olmasın bir girişi durur b , neden kodunu geçmek zorunda do P ikisi için a ve b ?'H( a , b )H(a,b)H(a,b)biraabbbPPPbiraabbb Neden yı P ve bazı rasgele girdilerle besleyemiyoruz , örneğin, x ?'H( )H()H()PPPxxx

25 computability  turing-machines 

Eğer iki general sorunu çözülemezse, biz insanlar şeyler üzerinde nasıl anlaşabiliriz? Demek istediğim, her gün iletişim kurarız ve bilgisayar bilimi tarafından ele alınan herhangi bir iletişim problemiyle aynı sınırlamalara sahibiz. Neden bizi etkilemiyor?

25 computer-networks  communication-protocols 

Kurzweil tarafından yazılmış "Tekillik yakındadır" kitabını okuyordum ve örneğin Fredkin kapısı gibi tersinir kapılardan bahsetti . Bu gibi geçitleri kullanmanın avantajı, bitlerin sadece ısıya kaybolduğu hesaplamayla ilgili termal atıklardan kurtulabilmemiz ve hesaplamanın herhangi bir enerji girdisine ihtiyaç duymamasıdır. Bu varsayımlar bu kapıların mucize bir çözüm gibi görünmesini sağlar. Öyleyse asıl …

25 computer-architecture 

WP , anladığımı düşündüğüm bir sayfalama tartışmasına sahipti . Çerçevelerin ve sayfaların farklı şeyler olduğunu düşündüm. Birisi lütfen farkı açıklığa kavuşturur mu?

25 memory-management 

Prolog yorumlayıcıyı tamamen işlevsel bir dilde nasıl uygulayacağınıza dair sözde kodla açık bir referans var mı? Şimdiye dek bulduklarımın yalnızca zorunlu dillerle ilgilendiği görülüyor, yalnızca kendi başına uygulanan Prolog'un bir gösterimi veya yorumlama için kullanılacak somut bir algoritma sunmuyor. Bir cevabı çok takdir ediyorum.

25 functional-programming  prolog  logic-programming 

Bir sorunu kodlamak için çözücü bir SAT kullanıyorum ve SAT örneğinin bir parçası olarak, ben boolean değişkenler var bu tam olarak bir gerçek olması gerektiğini amaçlanan ve nerede dinlenme gerektiği yanlış ol. (Bunu bazen "sıcak" bir kodlama olarak tanımlandığını gördüm.)x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n SAT'da "tam olarak doğru olması gerekir " kısıtlamasını kodlamak istiyorum …

25 satisfiability  sat-solvers  applied-theory 

Bir Bloom filtresi , işleme sırasında çeşitli değerlerle karşılaşılmış olup olmadığını etkin bir şekilde takip etmeyi sağlar. Çok sayıda veri öğesi olduğunda, bir Bloom filtresi bir karma tablo üzerinde önemli bir hafıza tasarrufuna neden olabilir. Bir hash tablosuyla paylaştığı bir Bloom filtresinin temel özelliği, bir öğe yeni değilse her zaman …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

Bilgisayar bütünlüğü uzmanlarına NP eksiksizliği öğretmenin en iyi yolunu sormakla ilgileniyorum. Özellikle, Karp azaltmalarını kullanarak mı yoksa Turing azaltmalarını mı kullanmalıyız? NP bütünlüğü ve azaltma kavramlarının her bilgisayar biliminin bilmesi gereken bir şey olduğunu hissediyorum. Ancak, NP'nin eksiksizliğini öğretirken, Karp azaltmalarının kullanımının bazı olumsuzlukları olduğunu fark ettim. Her şeyden önce, …

25 complexity-theory  np-complete  reductions  education  didactics 

İşte çözmeye çalıştığım bir sınavdan bir soru: Olumsuz ağırlıkları olan yönlendirilmemiş bir grafik için minimum kesimi bulmaya çalışıyorum. Max-flow min-cut teoremini kullanmanın yanı sıra bunu yapmanın başka yollarını da bilmiyorum. Ancak grafik yönlendirilmemiş, peki nasıl yönlendirmeliyim? Her iki ucunda kenarları yönlendirmeyi düşündüm, ama sonra hangi köşe kaynak olacaktı ve hangi …

25 algorithms  graph-theory 

Bu sorunun cevabını net olarak araştırdım ve görünüşe göre cevabı benden başka herkes biliyormuş gibi görünüyor. Muhtemelen bunun nedeni, umursayan tek insanın konuyla ilgili yükseköğretim eğitimi almış olmasıdır. Öte yandan, lise ödevi için derinlere atıldım. Benim sorum şu, biçimsel dillerle ilgili programlama dilleri tam olarak nasıl? Okuduğum her yerde "programlama …

25 formal-languages  programming-languages  regular-expressions