«undecidability» etiketlenmiş sorular

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 

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 

Bağımlı tip sistemlerin zorunluluk olmadığını, kontrol edilebilir olduğunu belirtti. Bunun neden böyle olduğuna dair basit bir açıklama olup olmadığını ve tiplerin değerlerle endekslenebildikleri “bağımlılık” sınırı olup olmadığını, hangi tip çıkarımın mümkün olduğu ve hangisinin altında olmadığını merak ediyordum.

42 undecidability  type-theory  type-inference  dependent-types 

Ö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 

Rice teoremi bize Turing Machines'in tek anlamsal özelliklerinin (yani makine tarafından hesaplanan fonksiyonun özellikleri) karar verebileceğimiz iki önemsiz özellik olduğunu (yani her zaman doğru ve her zaman yanlış olduğunu) söyler. Ancak Turing Makinelerinin kararsız olmayan başka özellikleri de var. Örneğin, belirli bir Turing makinesinde erişilemez bir durum olması özelliği belirlenemez. …

30 computability  undecidability 

Durma sorununun kararsızlığının kanıtını (örneğin Papadimitriou'nun ders kitabında köşegenleştirmeye dayanarak) anladım. Kanıt inandırıcı olsa da (her adımını anlıyorum), tek başına sorundan başlayarak birinin nasıl türeteceğini görmeme anlamında benim için sezgisel değil. Kitabın kanıtı şöyle devam eder: " girişindeki durma problemini çözdüğünü varsayalım , yani Turing makinesi girişi için durup karar …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Bildiğim her çözülemeyen sorun aşağıdaki kategorilerden birine giriyor: Köşegenleştirme nedeniyle çözülemeyen problemler (dolaylı öz referans). Bu problemler, durma problemi gibi, kararsızdır, çünkü davranışı çelişkiye yol açan bir TM oluşturmak için dilin iddialı bir karar vericisini kullanabilirsiniz. Ayrıca, Kolmogorov'un karmaşıklığı ile ilgili olarak saptanamayan birçok sorunu bu kampa götürebilirsiniz. Doğrudan referans …

28 computability  proof-techniques  undecidability 

Açıkçası, NP’de tespit edilemeyen herhangi bir problem yoktur. Ancak, Wikipedia'ya göre : NP, cevabın "evet" olduğu durumların, belirleyici bir Turing makinesi tarafından polinom zamanında doğrulanabilir [.. ispatları] olduğu tüm karar sorunlarının kümesidir. [...] Bir problemin sadece eğer polinom zaman içinde yürütülen problem için bir doğrulayıcı varsa ve eğer NP cinsinden …

25 complexity-theory  computability  undecidability  decision-problem 

Yapılandırmacı mantık, Hariç Tutulan Orta Yasasını ve Çifte Olumsuzluğu aksiyom olarak kaldıran bir sistemdir. Burada ve burada Vikipedi'de tanımlanmıştır . Özellikle, sistem çelişki ile ispatlamaya izin vermez. Merak ediyorum, bunun Turing Makineleri ve biçimsel dillerle ilgili sonuçları nasıl etkilediğini bilen var mı? Bir dilin kararsız olduğu hemen hemen her ispatın …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Hindley-Milner tipindeki çıkarımın ( polimorfizmi olan basitçe yazılan calculus) tanımlanabilir tipteki çıkarımı olduğu iyi bilinmektedir : herhangi bir ek açıklama olmadan herhangi bir program için ilke türlerini yeniden oluşturabilirsiniz.λλ\lambda Haskell tarzı yazı sınıfları eklemek, bu kararsızlığı koruyor gibi görünmektedir, ancak ek eklemeler ek açıklamalar olmadan çıkarılamaz (yazım aileleri, GADT'ler, bağımlı …

22 undecidability  type-theory  type-inference  dependent-types 

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 

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 

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 

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 

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