Bilgisayar Bilimi

Sanırım matematik ve programlama dili olarak adlandırılan şeyler hakkında oldukça kafam karıştı. Bir analizin, programların denkliği hakkında muhakeme için resmi bir sistem olduğunu düşünmeye eğilimliyim ve söylenmiş olabilirim. Programların, bir makine tarafından belirlenmiş, (bence?) Belirleyici olması gereken işlevsel bir semantiği vardır. Bu şekilde, dili için (doğru) bir hesap , program …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Girintiye duyarlı diller için gramerler düşünüyordum ve CF gramerleri parametrelerle birleştirilirse hile yapacak gibi görünüyor. Örnek olarak, ANTLR benzeri formatta basitleştirilmiş Python dilbilgisi için bu parçayı düşünün: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement and one simple statement …

13 formal-languages  context-free  formal-grammars  parsers 

İki dize verildiğinde, O (1) alanı kullanarak birbirlerinin permütasyonu olup olmadığını nasıl kontrol edebilirsiniz? Dizelerin değiştirilmesine hiçbir şekilde izin verilmez. Not: O (1) hem dize uzunluğuna hem de alfabenin boyutuna göre boşluk.

13 algorithms  strings  space-complexity 

Bir üniversitede bir eğitim oturumu olduğunu varsayalım. Bir grup soru Q = { q 1 … q k } ve bir dizi n öğrenci S = { s 1 … s n } var . Her öğrenci, her öğrencinin için sorular, yani belli bir alt kümesinde bir şüphesinin olmadığını s …

13 algorithms  complexity-theory  np-complete  np-hard 

Son zamanlarda algoritmik bir röportajda bu soruyu sordum ve çözemedim. İki değer N ve M verildiğinde, permütasyondaki herhangi bir sayı ile permütasyondaki konumu arasındaki mutlak fark M'ye eşit olmayacak şekilde N uzunluğundaki permütasyon sayısını (1'den N'ye kadar sayıları kullanarak) saymanız gerekir. Örnek - N = 3 ve M = 1 …

13 algorithms  permutations  algorithm-design 

O (sqrt (N)) bir SPACE karmaşıklığı gerektiren formüle edilmiş problemler için bilinen herhangi bir algoritma var mı? Bu büyük-O zaman karmaşıklığına sahip algoritmaların var olduğunu biliyorum.

13 complexity-theory  asymptotics  space-complexity 

Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Resmi dillerim ve otomata kursum için geçerli ödevi yaparken, tek dilde (umarım bu doğru terimdir), yani tek bir harf üzerine inşa edilen dilleri içeren alıştırmalara takıldım. Bununla birlikte, belirli alıştırmalar hakkında soru sormak istemiyorum, aksine daha genel bir varsayım hakkında: Let ve . Benim varsayımım:L = { a f ( …

13 formal-languages  regular-languages 

Yarın benim sunumum ve konseptlerimi temizlemek istiyorum… DFA'da "Her durum için olası tüm sembollere (alfabe) geçişin tanımlanması gerektiğini" okudum. Her bir durum için DFA'da olası tüm semboller üzerindeki geçişi tanımlamak zorunlu mudur? Değilse, lütfen herhangi bir örnek verin?

13 automata  finite-automata  nondeterminism 

Kanıtları düşünüyordum ve ilginç bir gözlemle karşılaştım. Bu nedenle kanıtlar Curry-Howard İzomorfizmi ile programlara eşdeğerdir ve dairesel kanıtlar sonsuz özyinelemeye karşılık gelir. Ancak durdurma probleminden, genel testlerde keyfi bir programın sonsuza dek geri çekilip çekilmediğinin bilemeyiz biliyoruz. Curry-Howard, bu, bir ispatın dairesel muhakeme kullanıp kullanmadığını belirleyebilecek bir "ispat denetleyicisi" olmadığı …

13 logic  curry-howard 

Görünüşe göre herhangi bir özyinelemeli işlemi kuyruk özyinelemeye dönüştürmek için genel bir yol buldum : Ek bir "sonuç" parametresi ile bir yardımcı alt prosedür tanımlayın. Prosedürün dönüş değerine uygulanacakları bu parametreye uygulayın. Başlamak için bu yardımcı prosedürü çağırın. "Sonuç" parametresinin başlangıç ​​değeri, özyinelemeli işlemin çıkış noktası değeridir, böylece elde edilen …

13 algorithms  logic  recursion  lisp 

Programlama dili teorisini gerçekten anlamak için kategori teorisini nasıl öğrenmesi gerektiğini duymaya devam ediyorum. Şimdiye kadar, kategoriler alanına adım atmadan iyi bir PL öğrendim. Ancak, neyi kaçırdığımı görmek için büyük bir adım atmanın zamanının geldiğini düşündüm. Ne yazık ki, bulabildiğim kaynakların hiçbiri tip sistemlerine veya programlamaya herhangi bir bağlantı kurmuş …

13 reference-request  programming-languages  type-theory  category-theory 

Bir birleştirici ifadesi (SK bazında diyelim), birleştirici hesap ifadelerini birleştirici hesap ifadelerine eşleyen bir işlev olarak düşünülebilir. Yani, ifadesi fonksiyonu olarak düşünülebilir ; burada , SK bazında tüm sözdizimsel olarak geçerli birleştirici ifadelerin kümesidir. Bu eşleme, girdiyi ifadeye uygulayarak ve ardından çıktıyı almak için normal forma indirgeyerek gerçekleştirilir.XXXX:L→LX:L→LX:L \to LLLL …

13 lambda-calculus  combinatory-logic 

P, NP'ye eşitse, en uygun kriptanaliz algoritmasının, örneğin meşru şifreleme ve şifre çözme algoritmaları tarafından alınan zamanın karesini aldığı bir şifreleme sistemi tasarlamak hala mümkün olacak mı? Bu tür algoritmalar zaten var mı?

13 cryptography  encryption 

Öğretim üyem açıklama yaptı Herhangi bir sonlu problem NP-Complete olamaz O sırada Sudoku'nun 8x8 Sudoku için sınırlı bir dizi çözüm olduğunu söyleyen bir şey söyleyerek konuşuyordu ama tam olarak ne dediğini hatırlayamıyorum. Alıntıladığım notu yazdım ama hala anlamıyorum. Eğer yanılmıyorsam Sudoku'nun NP'si tamamlandı. Klips problemi de NP-Complete ve 4-Clique problemim …

13 np-complete  np