Bilgisayar Bilimi

Bilgisayar bilimi öğrencileri, araştırmacıları ve uygulayıcıları için soru-cevap

3
Analiz ve programlama dili arasındaki fark nedir?
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 …

3
Bağlamdan bağımsız gramerlere parametre eklerseniz ne elde edersiniz?
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 …





2
“Üretim” kelimesi Bilgisayar Bilimi bağlamında “kural” kelimesi ile nasıl eşanlamlı hale geldi?
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 …



1
Keyfi kanıtın dairesel olup olmadığını test etmek?
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ığı …

1
Bu, özyinelemeli yordamı kuyruk özyinelemeye dönüştürmenin genel bir yolu mu?
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 …

2
Referans istek: Tip sistemleri için geçerli olduğu gibi kategori teorisi
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ş …

1
Birleştirici matematik ifadeleri hangi işlevleri hesaplayabilir?
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 …


3
NP-Complete'te herhangi bir sonlu problem olabilir mi?
Öğ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 

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.