Bilgisayar Bilimi

Resmi dilbilgileri vererek biçimsel dilleri belirtmek sıkça bir iştir: Dilbilgileri sadece dilleri tanımlamak için değil, aynı zamanda onları ayrıştırmak ve hatta uygun bilim yapmak için de kullanmamız gerekir . Her durumda, eldeki dilbilgisinin doğru olması, tam olarak istenen kelimeleri üretmesi önemlidir . Dilbilgisinin neden istenen dilin yeterli bir temsili olduğunu …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Kolmogorov Karmaşıklığı hakkında bir şeyler okudum, Vitanyi ve Li'den bazı makaleler ve kitaplar okudum ve Yazarların stilometrisini doğrulamak için Normalize Sıkıştırma Mesafesi kavramını kullandım (her bir yazarın bazı metinleri ve grup belgelerini benzerliklerine göre nasıl yazdığını belirleyin). Bu durumda, veri kompresörleri bir Kolingogo makinesi olarak kullanılabileceğinden, Kolmogorov karmaşıklığını yaklaşık olarak …

22 computability  approximation  data-compression  kolmogorov-complexity 

İşlevsel programlama kalıcı veri yapıları ve değişken nesneler kullanır. Sorum şu ki, burada bu tür veri yapılarına sahip olmak neden önemlidir? Düşük bir seviyede veri yapısı kalıcı değilse ne olacağını anlamak istiyorum. Program daha sık çöküyor mu?

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure 

Tam aynı bandın aynı hücresindeki okuma / yazma kafasıyla daha önce karşılaşılan bir duruma geri dönen bir Turing makinesi bir halkada yakalanır. Böyle bir makine durmuyor. Birisi, dönmeyen ve hiç durmayan bir makineye örnek verebilir mi?

22 computability  turing-machines  halting-problem 

Bağlamsız bir dilbilgisi G verildiğinde, G'nin kabul ettiği dili tam olarak kabul eden Nondeterministik bir Pushdown Otomatonu N yoktur. (ve tersi) Orada may ayrıca G de kabul aynen dili kabul eden bir Deterministik Aşağı Açılan Otomat D mevcuttur. Dilbilgisine bağlıdır. G'nin ürettiği algoritmalar ile D'nin var olup olmadığını belirleyebiliriz?

22 automata  context-free  pushdown-automata 

Let bir tam, ağırlıklı, yönsüz çizge. İkinci bir grafik oluşturmak kenarları tek tek ekleyerek için . Toplamda kenarlarını ye ekliyoruz .G ′ = ( V , E ′ ) E E ′ Θ ( | V | ) G ′G = ( V, E)G=(V,E)G=(V,E)G,'= ( V, E')G′=(V,E′)G'=(V, E')EEEE'E′E'Θ ( | …

22 algorithms  graphs  graph-theory  shortest-path 

Bayes ağlarının ardındaki teoriyi anlıyorum ve pratikte bir tane inşa etmenin ne olduğunu merak ediyorum. Diyelim ki bu örnek için, 100 ayrık rastgele değişkenli bir Bayesian (yönlendirilmiş) ağım var; her değişken en fazla 10 değerden birini alabilir. Tüm düğümleri bir DAG'da ve her düğüm için Koşullu Olasılık Tablosunu (CPT) saklıyor …

22 data-structures  machine-learning 

Kararsız olan herhangi bir "doğal" dil var mı? "doğal" ile, dizgelerin özellikleri ile tanımlanan, makinelerle ve eşdeğerleriyle değil, doğrudan bir dili kastediyorum. Başka bir deyişle, gibi dil görünüyor eğer nereye M bir TM DFA (veya normal-exp), PDA (veya dilbilgisi), vs .., o zaman L değildir doğal. Ancak L = { …

22 formal-languages  automata  computability  undecidability 

Diyelim ki . , de, ne P ne de N P- hard'de olmayan problemlerin sınıfıdır. N P I olarak düşünülen problemlerin bir listesini burada bulabilirsiniz .N P ı K PP≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Ladner teoremi eğer söyler NP≠PNP≠P\mathsf{NP}\neq\mathsf{P} sonra sonsuz bir hiyerarşi yoktur NPINPI\mathsf{NPI} sorunları, yani orada NPINPI\mathsf{NPI} zor diğerinden daha …

22 complexity-theory  np-hard 

Java, Ruby ve Python gibi diller için JIT derleyicileri hakkında çok fazla yutturmaca vardı. JIT derleyicileri C / C ++ derleyicilerinden nasıl farklıdır ve C / C ++ derleyicileri yalnızca derleyiciler olarak adlandırılırken, neden JIT derleyicileri Java, Ruby veya Python için yazılmış derleyicilerdir?

22 compilers 

Önceki bir soruda , ağırlık dengeli ağaçların tanımı ve kırmızı-siyah ağaçlarla ilgili bir soru vardı. Bu soru aynı soruyu sormak, ancak AVL ağaçları için . Soru, diğer sorudaki gibi dengelenmiş ağaçların tanımı göz önüne alındığında ,μμ\mu Yeterince büyük AVL ağaçları dengesiz olacak şekilde bazı mı?μμ>0μ>0\mu \gt 0μμ\mu AVL ağaçlarının yalnızca …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

Genel sıralama algoritmaları genellikle sıralanacak bir veri kümesi ve iki ayrı öğeyi karşılaştırabilecek bir karşılaştırıcı işlevi alır. Karşılaştırıcı bir sipariş ilişkisi¹ ise, algoritmanın çıktısı bir sıralama listesi / dizisidir. Hangi sıralama algoritmalarının aslında bir sipariş ilişkisi olmayan bir karşılaştırıcı ile çalışacağını merak ediyorum (özellikle her bir karşılaştırmada rastgele bir sonuç …

22 algorithms  randomized-algorithms  sorting 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Ben sadece dilbilgisi hiyerarşilerini değil, genel olarak biçimsel dilleri (dizgiler kümesi) tanımlamayı ele alan matematiksel teoriler arıyorum.

22 formal-languages  formal-grammars 

Bu sayfaya göre , Dijkstra'nın algoritması sadece öncelik sırasına sahip BFS'dir. Gerçekten bu kadar basit mi? Bence değil.

22 algorithms  graphs  shortest-path 

Bir çift genel ve özel anahtarın kullanımı hakkında gördüğüm kadarıyla, ortak anahtar bir mesajı şifrelemek için kullanılır ve özel anahtar, şifrelenmiş mesajın şifresini çözmek için kullanılır. Bir mesaj özel anahtarla şifrelenirse, ilgili genel anahtarla şifresi çözülebilir mi? Evet ise, bu davanın ne zaman kullanıldığına dair bazı örnekler verebilir misiniz? Teşekkürler.

22 cryptography