«computability» etiketlenmiş sorular

Halting Probleminin neden bir programın durup durmayacağını belirleme olasılığını reddetmek için neden bu kadar sık ​​kullanıldığını anlamıyorum . Wikipedia [makale] [1], sınırlı belleğe sahip deterministik bir makinenin önceki durumu durduracağını ya da tekrarlayacağını doğru bir şekilde açıklıyor. Bağlantılı bir listenin, Halting Fonksiyonunu uygulamak için O (1) uzay karmaşıklığına sahip olup …

149 computability  halting-problem 

Aşağıdaki alıştırma verildi. İzin Vermek f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Kanıtlamak hesaplanabilir olduğunu.fff Bu nasıl mümkün olabilir? Hava gibi bildiğim …

130 computability  undecidability 

Her zaman belirsiz bir şekilde yukarıdaki sorunun cevabının aşağıdaki satırlar boyunca olumlu olduğunu düşündüm. Gödel'in eksiklik teoremi ve durma sorununun kararsızlığı hem karar verilebilirlik konusunda olumsuz sonuçlar doğuruyor hem de diyagonal argümanlarla (ve 1930'larda) ortaya çıkar, bu nedenle aynı konuları görmenin iki yolu olmalılar. Ve Turing'in durma probleminin çözülemez olduğunu …

75 computability  logic  halting-problem  incompleteness 

Durma sorununun (Turing Makineleri üzerinde) Turing Makineleri için kararsız olduğunu biliyoruz. İnsan zihninin bu sorunla ne kadar iyi başa çıkabileceği, muhtemelen Turing Makineleri veya genel amaçlı bilgisayarların yardımı ile ilgili bir araştırma var mı ? Not : Açıkçası, en katı anlamda, her zaman hayır diyebilirsiniz, çünkü tek bir insanın hayatında …

60 computability  turing-machines  halting-problem  human-computing 

Turing Complete olarak kabul edilmesi için bir programlama dilinde bir dizi programlama dili yapısı var mı? Wikipedia'dan söyleyebileceğimden , dilin özyinelemeyi desteklemesi gerekiyor ya da görünüşte durmadan çalışabilmesi gerekiyor. Hepsi bu kadar mı?

55 computability  programming-languages  turing-machines  turing-completeness 

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 

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 

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 

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 

Hesaplanabilirlik ve karmaşıklık teorisinde (ve belki başka alanlarda), indirimler her yerde bulunur. Pek çok çeşit var, ancak prensip aynı kalıyor: probleminin bir çözüme eşdeğer olanlara eşleştirilmesiyle en azından diğer problemleri kadar zor olduğunu . Temel olarak, eğer işlevini önişlemci olarak kullanmasına izin , için herhangi bir de çözebileceğini .L 2 …

40 complexity-theory  computability  reductions  proof-techniques  reference-question 

C'ye Turing'in eksiksiz olduğunu açıklamaya çalışıyordum ve gerçekten de teknik olarak Turing'in eksiksiz olup olmadığını bilmediğimi fark ettim. (Soyut anlambilimdeki gibi C, gerçek bir uygulamadaki gibi değil.) "Açıkça" cevabı (kabaca: keyfi bir hafıza miktarına hitap edebilir, bu yüzden bir RAM makinesini taklit edebilir, bu yüzden Turing-tamamlandı), C standardının izin verdiği …

39 computability  turing-completeness  c 

En azından bazı bölgelerde Turing makinelerinin kapasitesini aşan teorik makineler var mı?

39 computability  turing-machines  hypercomputation 

Özet: Rice teoremine göre her şey mümkün değildir. Yine de, sözde imkansız şeyleri her zaman yapıyorum ! Tabii ki, Rice teoremi sadece "her şey imkansız" demiyor. Daha spesifik bir şey söylüyor: "Bir bilgisayar programının her özelliği hesaplanamaz." (Eğer kılları bölmek istiyorsanız, her "önemsiz" mülkün mülkiyeti vardır. Yani, tüm programların sahip …

37 terminology  computability  undecidability  rice-theorem 

İdris'in bağımlı türleri olduğunu biliyorum ama tam bir sonuç almadı. Turing eksiksizliğini bırakarak ne yapamaz ve bu bağımlı türlere sahip olmakla mı ilgilidir? Sanırım bu oldukça özel bir soru, ancak bağımlı tipler ve ilgili tip sistemler hakkında çok fazla bir şey bilmiyorum.

35 computability  programming-languages  type-theory  dependent-types