«undecidability» etiketlenmiş sorular

Herhangi bir Turing makinesi tarafından çözülemeyen sorunlar hakkında sorular.

3
bazı basamak dizisine sahip olup olmadığı nasıl belirlenebilir ?
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 …


1
Bağımlı türler için tür çıkarımı belirsiz kılan şey nedir?
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.

2
Rice teoreminin şaşkınlığı
Ö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 …

1
Anlamsız özellikler için Rice teoremi
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. …

7
Durma sorununun köşegenleştirmeden daha kararsız olduğuna dair daha sezgisel bir kanıt var mı?
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 …

2
Köşegenleştirme, öz referans veya indirgenebilirlik dışındaki nedenlerden dolayı tespit edilemez olduğu bilinen belirli bir problem var mı?
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 …

5
Neden NP'de bu çözülemez bir problem değil?
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 …

4
Yapılandırmacı mantıkta kararsız diller var mı?
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 …

1
Çıkarımı kesin olan bilinen en güçlü tip sistemler hangileridir?
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ı …


1
Karar verilebilir sorunların oranı
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ı …


5
Kısıtlanmış veya tahmin edilebilir bir girdiniz varsa durdurma sorununu çözmek mümkün müdür?
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. …

1
Tekli alfabe üzerinden referanslarla düzenli ifadeler
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 …

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.