«undecidability» etiketlenmiş sorular

Aşağıdaki sorunun karar verilebilir olup olmadığını ve nasıl bulunacağını bilmek istiyorum. Gördüğüm her sorun ona "evet" ya da "hayır" diyebilirim, bu yüzden çoğu sorun ve algoritma ( burada sağlanan ) dışında bir çok karar verilebilir mi? Girdi: Yönlendirilmiş ve sonlu grafik , v ve u köşeleri ile Soru: G'de başlangıç …

17 algorithms  computability  graph-theory  undecidability 

N-cisim problemine, n-cisim sisteminin durumunu rastgele bir zamanda kesin bir hassasiyetle vermek için kullanılabilecek bir analitik fonksiyon üretebilen genel bir analitik çözüm yoktur. Bununla birlikte, analitik bir fonksiyonun bilindiği bazı özel n-gövde sistemleri vakaları vardır. Aynı şekilde, keyfi bir Turing makinesinin sonucunu tahmin edebilecek genel bir algoritma yoktur. Her ne …

16 computability  turing-machines  undecidability  computation-models 

İki aşağı itmeli otomatın aynı dili tanıması sorunu çözülemez. Aşağı açılan bir otomatın boş dili tanıması sorunu çözülebilir, dolayısıyla belirli bir sonlu dili tanıyıp tanımadığı da kararlaştırılabilir. Aşağı açılan bir otomat tarafından kabul edilen dilin düzenli olup olmadığı kararlaştırılamaz. Fakat ... ... bir aşağı açılan otomasyonun belirli bir normal dili …

16 computability  undecidability  pushdown-automata 

Doğrusal sınırlı otomatların kararlaştırılamaz özellikleri var mı (boş ayarlanmış dil numarasından kaçınıyor)? Deterministik bir sonlu otomat ne olacak? (çekilmezliği bir kenara koyun). Turing makinelerini açıkça kullanmadan tanımlanamayan bir problemin (mümkünse) bir örneğini almak istiyorum . Hesaplanamayan problemleri desteklemek için bir modelin bütünlüğünü tamamlamak gerekli midir?

15 computability  automata  undecidability 

Eşit sayıda 0 ve 1 içeren kelimelerin dilinin düzenli olmadığı, oysa eşit sayıda 001 ve 100 içeren kelimelerin dilinin düzenli olduğu bilinmektedir ( buraya bakınız ). İki kelime , eşit sayıda ve içeren kelimelerin dilinin düzenli olup olmadığı karar verilebilir mi?w 1 w 2w1, w2w1,w2w_1,w_2w1w1w_1w2w2w_2

14 regular-languages  undecidability 

Çö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 

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 

Wikipedia'da ve diğer bazı metinlerde okudum Durma problemi [...] doğrusal sınırlı otomata (LBA) [ve] sonlu hafızalı deterministik makineler için kararlıdır. Ancak daha önce, durdurma sorununun çözülemez bir sorun olduğu ve böylece TM'nin çözemediği yazılmıştır! LBA bir tür TM olarak tanımlandığından, bunlar için de geçerli değil mi?

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Bağlam duyarlı dilin Wikipedia tanımından geçiyordum ve bunu buldum: Her dil kategorisi, doğrudan üstündeki kategorinin uygun bir alt kümesidir. Her kategorideki herhangi bir otomat ve herhangi bir dilbilgisi, doğrudan üstündeki kategoride eşdeğer bir otomat veya dilbilgisine sahiptir. Doğrusal sınırlı otomatın makalenin sıralamasında doğrudan karar verenin altında olduğunu görebiliyordum. Bu durumda, …

12 formal-grammars  turing-machines  undecidability  context-sensitive 

Sendikaları / kavşakları / birleştirilmiş dilleri karar verilebilecek şekilde kararsız diller var mı? Genel olarak, kararlaştırılamayan diller bu işlemler altında kapatılmadığından, bu örneğin fiziksel yorumu nedir? Kleene kapatılması hakkında ne söyleyebiliriz? Bunun için de örneklerimiz var mı? Yani kararsız bir dilin kapatılması karar verilebilir mi? Ayrıca, bu tür kararsız sınıfları …

12 formal-languages  undecidability  closure-properties 

Son bir sorunun cevabını okuyordum ve aklıma garip, geçici bir düşünce geldi. Bunu sormak, teorik pirzolamın ciddi şekilde eksik olduğuna (çoğunlukla doğru) ya da bu siteyi okumak için henüz çok erken olduğuna ihanet edebilir. Şimdi, feragatname yoldan çekilince ... Hesaplanabilirlik teorisinin, durma probleminin TM'ler için belirlenemediği iyi bilinen bir sonuçtur. …

12 turing-machines  undecidability  halting-problem 

Kararsız sorunların varlığı derhal fiziksel sistemlerin öngörülemezliğini ima ediyor mu? Durma problemini düşünelim, önce normal devre tabanlı yapıyı kullanarak fiziksel bir UTM inşa ediyoruz. Daha sonra, devrelerin herhangi bir giriş ayarı verildiğinde, devrenin durup durmayacağını belirleyebilen hiçbir karar verilebilir fiziksel teori olamaz. Bu önemsiz gibi görünüyor, ama bu bize kuantum …

11 computability  turing-machines  undecidability  physics 

Bu soruda eksik olduğum önemsiz bir cevap varsa üzgünüm. Kararsız olduğu kanıtlanmış bir sorun üzerinde çalıştığımda, kanıtın kararsız olduğu kanıtlanmış başka bir soruna indirgemeye dayandığını gözlemliyorum. Bir sorunun zorluk derecesi hakkında bir çeşit emir yarattığını anlıyorum. Ama sorum şu ki - kararsız olan tüm problemlerin kararsız olan başka bir probleme …

11 computability  reductions  undecidability