«turing-machines» etiketlenmiş sorular

Boole işlevi işlevidir .f: { 0 , 1}n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boole temelinin , herhangi bir dizinin çevrilmesine veya değiştirilmemesine izin verdiği için Turing tamamlandığı bilinir . Aynı şey kapıları için de söylenebilir .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}X O RXÖR,\mathrm{XOR} Bu anlamda …

9 turing-machines  turing-completeness  boolean-algebra 

Önceki bir soruda Algoritma tam olarak nedir? , Ben önceden hesaplanmış değerleri bir dizi dayalı bir işlevin değerini döndüren bir "algoritma" sahip bir algoritma olup olmadığını sordu. Dikkatimi çeken cevaplardan biri şuydu: Faktöriyel örnek, düzgün olmayan hesaplama adı verilen farklı bir hesaplama modeline girer. Turing Makinesi, tek tip bir hesaplama …

9 turing-machines  computation-models 

Kolejde genel olarak hesaplama teorisi ve Turing makineleri hakkında daha spesifik bilgi ediniyoruz. Büyük teorik sonuçlardan biri, potansiyel olarak büyük bir alfabe (semboller) pahasına, eyalet sayısını sadece 2'ye indirebilmenizdir. Farklı Turing Makineleri örnekleri arıyordum ve sunulan yaygın bir örnek Parantez eşleştiricisi / denetleyicisi. Esasen, örneğin bir parantez dizisinin (()()()))()()()dengeli olup …

9 turing-machines  context-free  parsers 

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 

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