«turing-completeness» etiketlenmiş sorular

Brainfuck, yalnızca 8 sembol kullanan bir Turing tam programlama dilidir (G / Ç'yi yoksayarsanız 6). Onu Turing bütünlüğüne iten en önemli iki [ve ]esasen Brainfuck'ın etiketi ve go. Normalde, Brainfuck'taki programlar birden fazla set kullanır [], ancak Brainfuck Turing'i tamamlamak için bu braketlerden kaç çiftin kullanılması gerektiğini merak ediyordum? Daha …

12 turing-completeness 

Talimatlarını değiştirebilecek keyfi bir bilgisayar programımız varsa, bu programı talimatlarını değiştiremeyen bir programla simüle etmek mümkün müdür? Düzenle: Stackexchange'te yeniyim, bu yüzden burada YENİ bir soru sorma iznim olup olmadığından emin değilim, ama işte gidiyor: Tamam, mümkün olduğunun kanıtı, gerçekten gösterdiğiniz gibi gerçekten basit. Şimdi merak ediyorum: Girdi-çıktı eşdeğeri en …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Tex üzerine bir yorum SE beni şaşırttı . İfade aslında: X dilinde X için bir derleyici yazabilirsem, X Turing-complete'tur. Hesaplanabilirlik ve biçimsel diller açısından: Eğer karar L ⊆ L , T , E ve ⟨ M ⟩ ∈ L , daha sonra F L = R, E .MMML⊆LTML⊆LTML \subseteq L_{\mathrm{TM}}⟨M⟩∈L⟨M⟩∈L\langle …

12 computability  turing-completeness 

Her biri diğeri için evrensel bir simülatörü kodlayabilirse, iki bilgi işlem modelinin birlikte tamamlandığı gösterilebilir. Eğer her birinin çıkarım kurallarının (ve eğer varsa aksiyomların) bir kodlamasının diğerinin teoremleri olduğu gösteriliyorsa, iki mantığın birlikte tamamlandığı gösterilebilir. Hesaplanabilirlik açısından bu, Turing bütünlüğü ve Kilise Turing Tezi hakkında doğal bir fikre yol açmıştır. …

10 computability  logic  turing-completeness 

Universal Turing makinesiyle ilgili iki sorunun yanıtını bulmaya çalışıyorum. Simüle edilen makinede daha fazla sayıda durum varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Simüle edilen makinede daha fazla sayıda alfabe karakteri varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Birisi bana bu sorularda yardımcı olabilir mi?

10 computability  turing-machines  simulation  turing-completeness 

HTML5 + CSS'nin Turing Complete olduğunu "kanıtladığını" iddia eden web siteleri gördüm. SQL "Turing Complete olduğunu kanıtlamak" iddia web siteleri gördüm. Turing Complete olmanın ne anlama geldiğini "açıklamayı" iddia eden bir grup web sitesi gördüm. Yeter! "Hesaplanabilirlik teorisinde bir uzman tarafından yazılmış) veya haklı bir makaleyi (saygın bir dergide) nerede" …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

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