«computability» etiketlenmiş sorular

Ben tersine çevrilebilir bilgisayar hakkında okumaya yeni başlamış bir mezunum. Landauer prensibi nedeniyle geri dönüşü olmayan hesaplamaların ısıyı dağıttığını biliyorum (ve tersinir olanların yapmadığını). Bunu daha önce geri dönüşümlü bilgisayar kullanımını hiç duymamış olan profesörümle büyüttüm ve geri dönüşümlü bilgisayar teorisinin neden önemsiz olduğunu anlamakta zorlanıyordu. Onun amacı sadece girişi …

9 computability  reversible-computing 

Bu soruyu okurken " Doğal RE kararlaştırılamaz problemler ama Turing-complete değil " şu aklıma geldi: Eğer yoğun kunduz fonksiyonu (boş banda ait yukarıda tarif edilen tipte, makineleri dönülerek tüm durdurulması 2-n simgesi-durum arasında maksimum ulaşılabilir puanı), işlevi tanımlayın:Σ(⋅)Σ(⋅)\Sigma(\cdot) BB(⟨M⟩)={10⟨M⟩ computes Σ(⋅) otherwiseBB(⟨M⟩)={1⟨M⟩ computes Σ(⋅)0 otherwiseBB(\langle M \rangle) = \begin{cases} 1 …

9 computability  turing-machines 

-square'i iki tür fayans kullanarak döşemek istiyoruz : -square kiremit ve -sare kiremit, üstteki her kare üst üste binmeden kaplanacak şekilde. -squares ve herhangi bir sayıda -squares kullanarak benzersiz şekilde eğilebilir en büyük karenin büyüklüğünü veren işlevini tanımlayalım .mxmm×mm\times m1x11×11 \times 12x22×22 \times 2f(n)f(n)f(n)nnn 1x11×11\times 12x22×22 \times 2 Bu işlev …

9 computability  combinatorics 

Hesaplanabilir sayılar (Turing anlamında) neden numaralandırılabilir? Çok açık olmalı, ama şu anda görmüyorum.

9 computability  turing-machines  enumeration 

Sonsuz bir alfabeden sembolleri okuma ve yazma izni olan bir Turing Makinesi normal bir TM'den daha güçlü mü (tek fark bu, makine hala sınırlı sayıda duruma sahiptir)? Sezgi bana söylemez, çünkü her sembolü farklılaştırmak için sonsuz sayıda duruma ihtiyacınız vardır. Bu yüzden sembollerin (veya geçişlerin bazı alt kümelerinin) neden olduğu …

9 computability  turing-machines  reductions  simulation 

Yardımınızı aşağıdaki sorunla kullanmak istiyorum: L = { ⟨ M⟩ ∣ L ( M) içerik içermez }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Show that .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Ben kanıtlamak için biliyorum , bir dil bulmak için yeterlidir öyle …

9 formal-languages  computability  context-free  turing-machines 

Ara sınavda aşağıdaki sorunun bir çeşidi vardı: Bir Karar verilebilen için tanımlamak o ABS zorunlu Karar verilebilen değildir.LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\}Pref(L)Pref(L)\text{Pref}(L) Ama eğer seçersem, o zaman de , böylece karar verilebilir. Ayrıca de aynı sonucu verir. Ve …

9 computability  undecidability