«computability» etiketlenmiş sorular

Bir dil verilen , uzunluğu kümesini tanımlamak kelimelerin uzunluklarının kümesi olarak : L L L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Hangi tamsayı kümeleri normal bir dilin uzunluk kümesi olabilir?

15 formal-languages  computability  regular-languages  finite-automata 

Gibi diller olan RE tamamlama birçok kimse indirimleri altında. Co-RE'nin de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ELEM ve REC arasındaki bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar.DURTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} İçin komple sorun var mı (diğer adıyla KAYIT ) göreli …

14 computability  reductions  turing-completeness  recursion-theory 

Aşağıdaki sorunun karar verilebilir olup olmadığını bilmek istiyorum: Eşgörünüm: n durumlu bir NFA A Soru: A'nın bazı uzunluk dizesini kabul etmesi için bir asal sayı p var mı? Benim inancım, bu sorunun çözülemez olduğu, ancak kanıtlayamıyorum. Karar verici, belirli bir sayının asal olup olmadığını anlamak için kolayca bir algoritmaya sahip …

14 computability  finite-automata 

Eğer aslında yapar eşit , bu hızlı faktör tamsayılar bizim algoritmalar geliştirmek nasıl. Başka bir deyişle, bu gerçek bize tamsayı çarpanlarına ayırma yöntemini daha iyi anlamada ne tür bir fikir verecektir?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Çözmeye çalıştığım eski bir sınavdan bu sorularım var. Her sorun için, giriş bazı Turing makinesi bir kodlamasıdır .MMM C> 1 tamsayısı c>1c>1c>1ve aşağıdaki üç sorun için: Her giriş için doğru mu olduğunu xxx , M geçmez |x|+c|x|+c|x|+c çalışırken konumunu xxx ? Her giriş için olduğu doğru mudur xxx , M …

14 computability  turing-machines  undecidability 

Aşağıdaki dil olduğunu gelip nasıl acaba RR\mathrm R . LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} ( Bu çoktan seçmeli soruya …

14 computability  undecidability 

Açık problemlerin örneklerini vermek için hesaplanabilirlikteki açık ve problemli açık problemleri (hesaplanabilirlikteki ilk derslerini alan lisans öğrencileri tarafından anlaşılabilir) araştırıyordum (ve açıkçası öğrencilerin problemi çok fazla yeni bir şeye ihtiyaç duymadan anlamalarını istiyorum) tanımları ve aynı zamanda onlar için ilginç). Bu listeyi buldum ama içindeki problemler lisans öğrencileri için çok …

14 computability 

Bununla birlikte, pek çok "ünlü" kararlaştırılamaz sorun en azından yarı yarıya kesilebilir ve tamamlayıcıları kararsızdır. Her şeyden önce bir örnek durdurma sorunu ve bunun tamamlayıcısı olabilir. Ancak, birisi bana hem sorunun hem de tamamlayıcısının kararsız olduğu ve yarı kararsız olmadığı bir örnek verebilir mi? Köşegenleştirme dili Ld'yi düşündüm, ancak bana …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Sorunun karar verilebilirliğinin karar verilebilir bir sorun olup olmadığını merak ediyorum. Tahmin etmiyorum, ancak ilk aramalardan sonra bu sorunla ilgili herhangi bir literatür bulamıyorum.

13 computability  undecidability  decision-problem 

Raphael'in iki NPDA'nın kesişimine ilişkin önerisine yaklaşması : Let ve bağlam bağımsız diller için NPDA ve sırasıyla. Biliyoruz ki varsayarsak bağlam içermeyen, biz (etkili) NPDA gerçekleştirebilmesi için ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Her türlü algoritma kabul edilebilir, ancak ne kadar pratik olursa o kadar iyidir.

13 computability  automata  pushdown-automata 

Meşgul kunduz maks . işlevi , için bilinen değerlere sahiptir . için bulabilmemizin akıl almaz olmasının bazı temel, yapısal bir nedeni var mı? Ne hakkında çok farklı den ? Yoksa mı? Yol boyunca bir yerlerde, aksi takdirde bazı temel bir fark var olmalıdır herkes için hesaplanabilir, prensipte olacağını , bu …

13 computability  busy-beaver 

Ben biraz yeniyim, ancak bilgi işlem ve karmaşıklık teorisi alanıyla çok ilgileniyorum ve problemlerin nasıl sınıflandırılacağı ve problemlerin bunları çözmek için kullanılan makine ile ne kadar güçlü bir şekilde ilişkili olduğu konusundaki anlayışımı netleştirmek istiyorum. Anlayışım Standart Turing Makinesi - Sonlu alfabesi, sonlu sayıda durumu ve tek bir sağ sonsuz …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Meşgul kunduz sayıları ve bunların herhangi bir hesaplanabilir fonksiyondan asimptotik olarak nasıl büyüdüklerini okudum. Bu neden böyle? Meşgul kunduz işlevinin hesaplanamazlığı nedeniyle mi? Eğer öyleyse, tüm hesaplanamayan fonksiyonlar asimptotik olarak hesaplanabilir fonksiyonlardan daha büyür mü? Düzenle: Büyük cevaplar aşağıda ama ben plainer ingilizce onları anlamak ne açıklamak istiyorum. Meşgul kunduz …

13 computability  asymptotics 

Mesaj Yazışmalar Sorunu (PCP) undecidable. PCP sınırlı versiyonu olan Komple ve PCP işaretlenmiş versiyonu (iki liste birinin kelimeler, öncelikle harfi farklılık gerekmektedir) içinde [1].NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} Bu kısıtlı sürümler diğer sorunların bazı karmaşıklık sonuçlarını kanıtlamak için kullanılıyor mu (azaltma yoluyla)? PCP'nin karar verilebilmesini sağlayan (ve özellikle -complete) başka kısıtlı sürümleri var mı?PSPACEPSPACE\mathrm{PSPACE} …

13 complexity-theory  computability  reference-request 

Bir RAM'in komutlar listesini yaparak ve bu listeyi bir tamsayı yaparak Gödel numarasını alabilirsiniz. Peki, ne düşünce kendi Gödel numarası (diyelim ki, dönecekti RAM" gibi bir şey bilgilere sahip olmak gerekir) x tamsayı daha büyük olurdu böylece o, x kendi Gödel dönmek olmaz bu yüzden, numara."xxxxxxxxx Ama sonra, belirli numaralar …

12 computability