«computability» etiketlenmiş sorular

Hesaplanabilirlik teorisi, yani özyineleme teorisi ile ilgili sorular

2
Algoritmaya giriş olarak bir
Bir algoritmaya girdi olarak bir cebiri vermenin ne anlama geldiğini ve bununla ilgili çok fazla literatür bulamadığını belirtmek istiyorum. İlk önce cebirlerin alanlar üzerinde karmaşıklık analizi konusunu ele alan ve karar problemini açıkça tanımlayan bir kitap veya makale önerip öneremeyeceğinizi sormak istiyorum . Bazı kazmalardan sonra bir şey buldum ve …
1
sonsuz özyinelemeli kümelerin alt kümeleri
Yakın tarihli bir sınav sorusu şu şekildedir: , sonsuz bir yinelenen numaralandırılabilir kümedir. A'nın sonsuz bir özyinelemeli altkümesiolduğunu kanıtlayın.AAAAAA Let sonsuz özyinelemeli alt kümesi A . Must C olan bir alt kümeyi değil ardışık enumerable?CCCAAACCC Ben zaten 1. cevapladım. 2. ile ilgili olarak, olumlu cevap verdim ve şöyle tartıştım. Tüm …
1
Bu yeniden yazma sisteminde bir dize türetmek mümkün müdür?
Yeniden yazma sistemi şeklinde bir dizi kuraldır . Biz bir dizeye bu kuralı uygularsanız w herhangi alt dize yerine A içinde ağırlık bir alt dize ile B tersi ve yardımcısı.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Bir başlangıç ​​dizesi verildiğinde, sistemde B A A B'yi aşağıdaki kurallarla türetebiliriz :AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow …
1
Bir fonksiyon hesaplanabilir hane dizileri arıyor mu?
Pi'nin bazı basamak dizileri olup olmadığı nasıl belirlenebilir ? ππ\pibana aşağıdaki masum görünümlü varyasyonun hesaplanabilir olup olmadığını sormam için ilham verdi: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation …
1
Durdurma kehaneti ile çözülemeyecek mevcut sorunlar var mı?
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 …
2
Bir dilin doğrulayıcı olmadığını göstererek hesaplanabilir sayılamayacağını gösterebilir miyiz?
Hesaplanabilir numaralandırılabilir (ce, özyinelemeli numaralandırılabilir eşdeğer, yarı-doğrulanabilir eşdeğer) kümesinin tanımlarından biri şudur: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ,tüm x ∈ Σ ∗ içinkarar verilebilir bir dilV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* (doğrulayıcı olarak adlandırılır) varsa,x∈Σ∗x∈Σ∗x\in \Sigma^* x∈Ax∈Ax\in A bir vardır ancak ve ancaky∈Σ∗y∈Σ∗y\in\Sigma^* st⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V . Dolayısıyla, bir dilin ce olmadığını göstermenin …
2
A eşleme B'ye indirgenebilirse, A kompleman B eşlemesine indirgenebilir eşlenir
Hesaplama teorisinde finalimi inceliyorum ve bu ifadenin yanlış için doğru olup olmadığını doğru bir şekilde cevaplamaya çalışıyorum. By tanımı içinde biz aşağıdaki ifadeyi oluşturabilirsiniz≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Burada sıkıştığım yer, söylemek istediğim, gibi böylesine hesaplanabilir bir fonksiyona sahip …
1
Mantıkta “Turing Complete” için ikili bir kavram var mı?
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. …
1
Fonksiyonel programlama dili uygulamalarında Algoritma Karmaşıklık Analizi
Bugün algoritma analizinin hesaplama modeline göre değiştiğini öğrendim . Hiç düşünmediğim ya da duymadığım bir şey. User @chi tarafından daha fazla örnek veren bana verilen bir örnek : Örneğin şu görevi göz önünde bulundurun: verilen x i döndürür . RAM'de, dizi erişimi sabit zaman olduğundan bu O ( 1 ) …
1
3 sembol bir boyutlu hücresel otomata için durma problemi karar verilebilir mi?
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 …
3
Sonlu zamanda sonsuz hesaplamalar
Bu muhtemelen saçma bir düşünce, ama biz hesaplamalar sonsuz dizisini gerçekleştirmek ve varsaymak programlanmış bir bilgisayar olduğunu varsayalım ithbenincii^\text{th} hesaplama alır tam saniye. Daha sonra bu bilgisayar, sınırlı bir süre içinde sonsuz sayıda hesaplama yapabilir.1/2i1/2ben1/2^i Bu neden imkansız? Önemsiz bir hesaplama yapmanın ne kadar sürdüğü konusunda bir alt sınır var …
1
Evrensel bir Turing makinesi “büyük” olanları nasıl simüle edebilir?
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?
2
Öz referans olmadan durdurma sorunu
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 …
2
Açık, eksiksiz, bir dilin Turing Compete olduğunu kanıtlıyor musunuz?
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" …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.