«computability» etiketlenmiş sorular

Hesaplamanın bir anlamda belirsiz olduğunu biliyorum (bilgisayarların yaptığı şeydir), ancak daha titiz bir tanım istiyorum. Dictionary.com'nin hesaplama, hesaplama, hesaplama ve hesaplama tanımları daireseldir, bu yüzden yardımcı olmaz. Wikipediahesaplamayı "iyi tanımlanmış bir modeli izleyen herhangi bir hesaplama türü" olarak tanımlar. Hesaplamayı "bir veya daha fazla girdiyi değişken değişiklikle bir veya daha …

20 terminology  computability 

Andrew W. Appel'in ML'deki Modern Derleyici Uygulaması kitabında bölüm 17'de Hesaplanabilirlik teorisinin yeni optimizasyon dönüşümleri icat etmenin her zaman mümkün olacağını ve tamamen optimize eden bir derleyicinin durma problemini çözeceğini kanıtladığını söylüyor : Bir program Hiçbir çıkış üretmeyen ve hiç durmayan Q'nun yerine optimum temsili olan Opt (Q) , "L: …

20 computability  compilers  program-optimization 

Bazı “makul” biçimsel dilde belirtilen karar sorunlarını düşünün. Bir referans çerçevesi olarak bir serbest değişkeni olan yüksek dereceli Peano aritmetiğindeki formüller diyelim, ancak diğer hesaplama modellerine de eşit derecede ilgi duyuyorum: Diophantine denklemleri, Turing makineleri kullanarak yeniden yazma kurallarından kelime problemleri, vb. klasik resmileştirme iyi olurdu, ancak resmileştirme seçiminin cevabı …

20 computability  undecidability 

Kolmogorov-Karmaşıklığını tanımlamanın birçok yolu vardır ve genellikle tüm bu tanımlar bir katkı sabitine eşittir. Eğer ki ve Kolmogorov karmaşıklığı fonksiyonlardır (farklı dil ya da modeller aracılığıyla tanımlanır), sonra bir sabiti vardır öyle ki her dize için , . Bunun her Kolmogorov karmaşıklık fonksiyonu ve her için , bazı sabitler için …

20 computability  kolmogorov-complexity 

NP zor bir sorunun hesaplanabilir olması gerekli midir? Ben öyle düşünmüyorum ama emin değilim.

19 complexity-theory  computability  np-hard 

Hücresel otomatlarda kural 110 için wikipedia sayfasını okudum ve az ya da çok nasıl çalıştıklarını biliyorum (bir dizi kural sonraki 1 veya 0 nerede çizileceğine karar verir). Sadece Turing tamamlandıklarını okudum, ama 'kural 110'da nasıl' programlayacağınızı bile anlayamıyorum?

19 computability  automata  turing-completeness  cellular-automata 

Let F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . F'nin karar verilebilir mi yoksa yinelemeli …

19 computability  undecidability 

Hesaplama teorisinde ders alan bir yüksek lisans öğrencisiyim ve istendiğinde içerik üretmekte ciddi sorun yaşıyorum. Ders kitabını (Michael Sipser tarafından Hesaplama Teorisine Giriş) ve dersleri takip edebiliyorum; ancak bir şeyi kanıtlaması ya da belirli bir TM'nin resmi bir tanımını bulması istendiğinde boğuldum. Bu gibi durumlarda ne yapabilirim? Sanırım benim sorunum, …

19 computability  education  intuition 

Durma problemi genel durumda çözülemez. İzin verilen girdileri kısıtlayan tanımlı kurallar bulmak mümkündür ve durdurma sorunu bu özel durum için çözülebilir mi? Örneğin, döngülere izin vermeyen bir dilin, programın durup durmayacağını söylemek çok kolay olacaktır. Şu anda çözmeye çalıştığım sorun, programın geçerliliğini kontrol eden bir komut dosyası denetleyicisi yapmaya çalışıyorum. …

18 computability  undecidability  software-engineering  formal-methods 

Şu şekilde hesaplanabilir bir işlevi var mı f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} : Tüm t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Nerede bir uncomputable gerçek sayıdır.XXX Bulduğum bu sorunun tek referansı bu sorunun cevabıydı : /math//a/1052579/168764 , burada fonksiyonun tutacağı anlaşılıyor, ancak bunu nasıl kanıtlayacağımı bilmiyorum bu işlevin sınırı hesaplanamayan gerçek …

18 computability 

Boş hücrelere yazma yeteneği olmayan bir Turing makinesi standart Turing'den daha az güçlü mü? Bence cevap evet ama standart Turing makinesinin yapabileceği bir hesaplama bulamıyorum ama bu makine yapamıyor. Herhangi bir fikir?

18 formal-languages  turing-machines  computability  automata 

Ayar: backreferences ile düzenli ifadeler tek dilli (1 sembol alfabe) Aşağıdaki ayar bu ayarda belirlenebilir mi? Backreferences ile düzenli bir ifade verildiğinde, normal bir dil tanımlar mı? Örneğin, (aa+)\1normal bir dil tanımlar, ancak tanımlamaz (aa+)\1+. Davanın hangisi olduğuna karar verebilir miyiz? Somutluk için, burada "backreferences ile düzenli ifadeler", örneğin, Perl …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Anladığım kadarıyla bellek birçok şey için kullanılıyor. Disk önbellek görevi görür ve programların talimatlarını ve yığınlarını ve yığınlarını içerir. İşte bir düşünce deneyi. Bir bilgisayarın gıcırdama yapması için gereken hız veya süreyi umursamıyorsa, çok büyük bir diske sahip olduğu varsayılarak, sahip olunabilecek minimum minimum bellek miktarı nedir? Hafızadan kurtulmak ve …

18 computability  memory-management  memory-hardware 

Mandelbrot kümesi Matematik güzel yaratıktır. Bu setin yüksek hassasiyetle oluşturulmuş çok güzel görüntüleri var, bu yüzden bu set bir anlamda "hesaplanabilir". Bununla birlikte, beni ilgilendiren şey, sadece setin sayılamadığı için özyinelemeli olarak bile numaralandırılamamasıdır. Bu, noktaların bir tür sonlu temsilini gerektirerek çözülebilir. Dahası, sete çok fazla puan ait olduğunu ve …

18 computability 

Tüm girişler kümesi sonsuz olduğunda, iki algoritmanın (örneğin, Birleştirme sıralaması ve Naif sıralaması) herhangi bir girdi için aynı sonucu döndürüp döndürmediğini nasıl kontrol edersiniz? Güncelleme: Ben , genel durumda bunun algoritmik olarak nasıl imkansız olduğunu anlattığınız için teşekkür ederim . Dave'in yanıtı , her zaman işe yaramayan, ancak oldukça etkili …

18 computability  formal-methods  software-engineering  software-verification