«computability» etiketlenmiş sorular

Turing makineleri ve sınırsız gramerler, RE dillerini tanımlayan iki farklı biçimselciliktir. Bazı RE dilleri karar verilebilir, ancak hepsi değildir. Dilin tüm dizeleri durduran ve kabul eden bir dil varsa ve dilde olmayan tüm dizeleri durduran ve reddeden dilin karar verilebilir olduğunu söyleyerek Turing makineleri ile karar verilebilir dilleri tanımlayabiliriz. Sorum …

10 computability  turing-machines  formal-grammars 

Rasyonel ağırlığa sahip sinir ağlarının , Nöral Ağlarla Evrensel Turing Makinesi Turing hesaplanabilirliğinin hesaplama gücüne sahip olduğu kanıtlanmıştır . Anladığım kadarıyla, gerçek değerli ağırlıklar kullanmanın daha fazla hesaplama gücü sağladığı görülüyor, ancak bundan emin değilim. Bununla birlikte, bir sinir ağının hesaplama gücü ile aktivasyon fonksiyonu arasında herhangi bir korelasyon var …

10 computability  neural-networks 

Bir numaralandırıcıdan bir Turing Makinesine gitmenin kanıtını alıyorum (numaralandırıcıyı çalışmaya devam edin ve girdiyle eşleşip eşleşmediğine bakın) ama diğer yolun nasıl çalıştığını görmüyorum. Notlarıma ve (Hesaplama Teorisine Giriş - Sipser) kitabına göre, Turing sayımını bir Turing makinesinden almak için, temelde alfabenin tüm kombinasyonlarını yazıyoruz. Daha sonra TM'yi bu girişte çalıştırırsınız, …

10 computability  turing-machines  intuition 

Var mı bir ihtiyaç için olmaya sonsuz undecidable olunur?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Bence bir dil seçerseniz neler anlama bir olmak arasında sınırlandırılmış sonlu versiyonu olduğunu ( birlikte), . nin kararsız bir dil olması mümkün müdür ? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L ′ ⊂ …

10 formal-languages  computability  undecidability 

A ve B'nin A ⊆ B ile dil olmasına izin verin ve B Turing tarafından tanınabilir. A Turing tarafından tanınamıyor mu? Varsa, herhangi bir örnek var mı?

10 computability 

Tamam, işte burada Hesaplama Teorisi sınıfımdaki geçmiş bir testten bir soru: TM'deki işe yaramaz durum, herhangi bir giriş dizesine asla girilmeyen durumdur. Let un kararsız olduğunu kanıtlayın .USELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in M}.\mathrm{USELESS}_{\mathrm{TM}} = \{\langle M, q \rangle \mid q \text{ is a …

10 computability  undecidability  formal-methods  turing-machines 

"Rice'ın hesaplanabilir gerçekler için teoremi" - yani, belirli bir hesaplanabilir gerçek tarafından temsil edilen sayının önemsiz hiçbir özelliği karar verilemez - doğru mu? Bu, gerçeklerin bağlantılılığına doğrudan bir şekilde karşılık geliyor mu?

10 computability  real-numbers  computable-analysis 

Bu sitede, TM'lerin diğer tüm TM'ler veya belirli alt kümeler için durdurma sorununa karar verip vermeyeceği sorusu üzerinde birçok varyant vardır. Bu soru biraz farklı. Durma sorununun tüm TM'ler için geçerli olup olmadığına bir TM tarafından karar verilebilir. Cevabın hayır olduğuna inanıyorum ve akıl yürütmemi kontrol etmek istiyorum. Meta-durdurma dili …

9 computability  turing-machines  undecidability  halting-problem 

Rice teoreminin bir ifadesi 35. sayfada "Hesaplamalı Karmaşıklık: Modern Bir Yaklaşım" (Arora-Barak): Kısmi bir işlev {0,1}∗{0,1}∗\{0,1\}^*to , tüm girdilerinde mutlaka tanımlanmayan bir işlevdir. Bir TM söylemek kısmi işlevi hesaplar her için eğer üzerinde tanımlanır, ve her durum için üzerinde tanımlanmadı girişi üzerinde çalıştırıldığı zaman sonsuz bir döngüye geçer . Eğer …

9 computability  turing-machines  undecidability  rice-theorem 

Aşağıdakiler için bir kanıt bulmaya çalışıyorum: Herhangi bir dil için , bir dil vardır öyle ki ancak B .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Ben izin düşünüyordum olmak , ama tüm diller indirgenemez Turing değil fark , bu nedenle tutmazlar. Ne diğer seçenek ben bu beni bir kahini kullanan bir TM yazmak …

9 computability  reductions  undecidability 

Bu soru durma problemi hakkında bana geldi ve çevrimiçi olarak iyi bir cevap bulamadım, birinin yardım edip edemeyeceğini merak ettim. Giriş TM'nin kendisi olmadığı sürece herhangi bir girişteki herhangi bir TM için durma sorununun çözülebilmesi mümkün müdür? Temelde: Halts(TM, I) IF TM == I: Undecidable, return a random result/throw an …

9 computability  undecidability  halting-problem 

Bugün öğle yemeğinde, bu sorunu meslektaşlarımla birlikte gündeme getirdim ve sürpriz olarak Jeff E.'nin sorunun karar verilebilir olduğu iddiası onları ikna etmedi ( burada mathoverflow ile ilgili bir yazı). Açıklanması daha kolay olan bir problem bildirimi de ("P = NP?") Karar verilebilir: ya evet ya da hayır, ve bu cevapları …

9 computability  undecidability 

3 renklendirmenin karar verilebilir olduğunu kanıtlamak için şunu söylemek yeterli mi? Grafikteki her düğümün 3 olası rengi vardır Bu nedenle her şeyi sıralayabiliriz 3n3n3^n ve iki kenarın aynı renkteki düğümleri bağlamadığını kontrol edin Bu, 3 renklendirmenin karar verilebilir olduğunu kanıtlıyor mu? Yoksa doğru bir kanıt için Turing makinesi mi yapmam …

9 computability  turing-machines  colorings 

Diyelim ki iki işlevi vardır varsayalım ve ve ben olmadığının belirlenmesinde ilgilenen kulüplerFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Diyelim ki işlevlerim temel işlevlerden (polinomlar, üstel, günlükler ve trigonometrik işlevler) oluşuyor, ancak Taylor serisinden oluşmuyor. Bu sorun karar verilebilir mi? Değilse, yarı-doğrulanabilir mi? (Soruyorum çünkü hesaplanabilirlik hakkında bir ders veriyorum ve bir …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Bu, burada başka bir sorunun takibi ve umarım çok felsefi değildir. Raphael'in önceki sorumla ilgili bir yorumda işaret ettiği gibi, gerçekten "hesaplanabilir" tanımını alamıyorum, ancak okuduğum bazı makalelere göre, tanım, turingden daha zayıf hesaplama modelleri söz konusu olduğunda da net değil. giriş ve çıkış kodlaması nedeniyle makineler. Hesaplanabilir turingin tipik …

9 computability  computation-models