«halting-problem» etiketlenmiş sorular

Turing makinesinin (TM) birincil tanımı, en azından kendi referans ders kitabımda (Hopcroft + Ullman 1979) belirleyicidir. Dolayısıyla, durma problemine ilişkin kendi anlayışım öncelikle deterministik TM içindir, ancak diğer otomata türleri için de düşünülebileceğinin farkındayım. Ayrıca determinizmin insanların TM'ye ya da durma problemine sık sık başvurma biçiminde genellikle az ya da …

19 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Tüm girdileri durduran bir Turing makinesi var mı, ancak bu özellik bir nedenden dolayı kanıtlanamaz mı? Bu sorunun incelenip incelenmediğini merak ediyorum. "Kanıtlanamaz", "sınırlı" bir kanıt sistemi anlamına gelebilir (zayıf anlamda cevabın evet olması gerektiğini düşünür). Tabii ki mümkün olan en güçlü cevaba, yani ZFC set teorisindeki ya da her …

17 computability  reference-request  turing-machines  halting-problem 

Sonlu bir gözlemcinin geçmişinde sonsuz süreli bir dünya çizgisinin yer aldığı göreceli uzay zamanları vardır (örneğin MH uzay zamanları; bkz. Hogarth 1994). Bu, normal bir gözlemcinin sonsuz sayıda hesaplama adımına erişebileceği anlamına gelir. Bir bilgisayarın sonsuz bir süre boyunca mükemmel bir şekilde çalışmasının mümkün olduğunu varsayarsak (ve bunun büyük bir …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Sorun var: Sonsuz uzun süre çalışan ve bu sayının ondalık basamaklarını yazan hiçbir programın bulunmadığı gerçek bir sayı olduğunu gösterin. Sanırım bunu Durma sorununa indirgeyerek çözülebilir, ama bunu nasıl yapacağım hakkında hiçbir fikrim yok. Ayrıca daha fazla uygulama için benzer sorunların bağlantılarını takdir ediyorum.

14 algorithms  reductions  halting-problem 

Wikipedia'da ve diğer bazı metinlerde okudum Durma problemi [...] doğrusal sınırlı otomata (LBA) [ve] sonlu hafızalı deterministik makineler için kararlıdır. Ancak daha önce, durdurma sorununun çözülemez bir sorun olduğu ve böylece TM'nin çözemediği yazılmıştır! LBA bir tür TM olarak tanımlandığından, bunlar için de geçerli değil mi?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Turing'in durma problemini anlamakta zorlanıyorum. Kanıtı, bir bilgisayarın belirli bir giriş için sonsuza kadar durup durmayacağını belirleyebilecek sihirli bir makine olduğunu varsayar . Sonra çıktıyı tersine çeviren başka bir makine ekliyoruz ve bir çelişkimiz var ve bu nedenle olamaz.HHHHHH Benim kaygım, sanki bir cevabın yanlış olduğunu söylüyoruz, çünkü tersine çevirdik. …

12 computability  halting-problem 

Son bir sorunun cevabını okuyordum ve aklıma garip, geçici bir düşünce geldi. Bunu sormak, teorik pirzolamın ciddi şekilde eksik olduğuna (çoğunlukla doğru) ya da bu siteyi okumak için henüz çok erken olduğuna ihanet edebilir. Şimdi, feragatname yoldan çekilince ... Hesaplanabilirlik teorisinin, durma probleminin TM'ler için belirlenemediği iyi bilinen bir sonuçtur. …

12 turing-machines  undecidability  halting-problem 

Durduran bir kehanet mevcutsa (veya, aynı şekilde hiper-hesaplama), çoğu problemin önemsiz olduğunu anlıyorum. Bununla birlikte, bir Turing makinesi için Durdurma Probleminin mümkün olmadığını gösteren argümanın uygulanması bir Turing + kehanetinin Turing + kehanet için Durdurma Problemine karar vermesinin imkansız olduğunu da gösterir. Durdurma kehaneti ile çözülemeyen gerçek, pratik, sorun örnekleri …

11 computability  undecidability  halting-problem  oracle-machines 

Durma probleminin 3 sembollü tek boyutlu hücresel otomata için karar verilip verilmediğini anlamaya çalışıyorum. Tanım Let zaman adımında sisteminin konfigürasyonunu belirtmek i . Daha resmi olarak f : A ∗ × N → A ∗ , burada A alfabedir.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Tanım. konfigürasyonunda bir hücresel otomat durdu , eğer …

10 computability  decision-problem  halting-problem  cellular-automata 

Durma probleminde, belirli bir Turing makinesi M'nin belirli bir girişte durup durmadığını söyleyebilen bir Turing makinesi TTT olup olmadığı ilgileniriz . Genellikle, kanıt böyle bir var olduğunu varsayar . Biz kısıtlamak nerede Sonra, bir davaya için kendisi ve sonra bir diyagonal argüman örneğini kullanarak bir çelişki türetmek. I söz verdiğimizde …

10 computability  undecidability  halting-problem 

Chaitin'in Meta Math'ında! Omega Arayışı , Hilbert'in 10. Probleminden kısaca bahsediyor. Daha sonra herhangi bir Diophantine Equation pozitif tamsayı katsayıları olan iki eşit polinom olarak değiştirilebileceğini söylüyor : .p = 0p = 0p=0p=0p = 0⟺p1= p2p=0⟺p1=p2p=0 \iff p_1 = p_2 Sonra bu denklemleri "bilgisayar" gibi düşünebileceğimizi söylüyor: Diophantine Denklem Bilgisayarı …

10 logic  halting-problem 

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 

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