«turing-machines» etiketlenmiş sorular

Turing makineleri hakkında sorular, herhangi bir bilgisayar programını simüle edebilen teorik bir mekanik hesaplama modeli.

8
Neden bir algoritmanın bit dizesi olarak gösterilebileceğini varsayabiliriz?
Hesaplamalı Karmaşıklık ve Turing Makineleri hakkında bir kitap okumaya başlıyorum. İşte alıntı: Bazı kanonik kodlamaya karar verdikten sonra bir algoritma (yani bir makine) bir bit dizesi olarak temsil edilebilir. Bu iddia basit bir gerçek olarak sağlanıyor, ama anlayamıyorum. Örneğin, giriş olarak alan ve hesaplayan ( x + 1 ) 2 …
3
Tüm girdilerde duran bir TM var mı, ancak bu özellik kanıtlanabilir değil mi?
Tüm girdileri durduran bir Turing makinesi var mı, ancak bu özellik bir nedenden dolayı kanıtlanamaz mı? Bu sorunun incelenip incelenmediğini merak ediyorum. "Kanıtlanamaz", "sınırlı" bir kanıt sistemi anlamına gelebilir (zayıf anlamda cevabın evet olması gerektiğini düşünür). Tabii ki mümkün olan en güçlü cevaba, yani ZFC set teorisindeki ya da her …
1
N-Beden Probleminin çözülemezliği Durma Problemine eşit midir?
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 …
1
Turing makineleri ile ilgili ilginç bir metrik alan
Bu soruda yalnızca tüm girdilerde duran Turing makinelerini ele alıyoruz. Eğer k∈Nk∈Nk \in \mathbb{N} o sırada TkTkT_k kimin kodudur Turing makinesi ifade kkk . Aşağıdaki işlevi göz önünde bulundurun s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} Başka bir deyişle, , dizelerinden birini tam olarak tanıyan en küçük Turing …
1
Turing makinelerinin evrensel simülasyonu
Let fff sabit zaman constructable fonksiyon olsun. TM'ler için klasik evrensel simülasyon sonucu (Hennie ve Stearns, 1966), verilen iki bantlı TM olduğunu belirtir.UUU bir TM açıklaması ve⟨M⟩⟨M⟩\langle M \rangle bir giriş dizesi ,xxx adımları için çalışır ve üzerinde cevabını döndürür . Ve içinde herhangi bir fonksiyon olarak alınabilir .g(|x|)g(|x|)g(|x|)MMMxxxgggω(f(n)lgf(n))ω(f(n)lg⁡f(n))\omega(f(n)\lg f(n)) …
2
Dilbilgisi ve Otomata Dillerinde Karar Verme
Bu bir üniversitede CS kursuna çalışmaya ilişkin bir sorudur Not, bu ödev DEĞİLDİR ve bulunabilir burada Güz 2011 exam2 altında. İşte geçmiş bir sınavdan baktığım iki soru. İlki gibi görünüyorlar, ilki: İzin Vermek FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}\qquad \mathrm{FINITE}_{\mathrm{CFG}} = …
5
Turing makinesi + zaman genişlemesi = durma problemini çözüyor musunuz?
Sonlu bir gözlemcinin geçmişinde sonsuz süreli bir dünya çizgisinin yer aldığı göreceli uzay zamanları vardır (örneğin MH uzay zamanları; bkz. Hogarth 1994). Bu, normal bir gözlemcinin sonsuz sayıda hesaplama adımına erişebileceği anlamına gelir. Bir bilgisayarın sonsuz bir süre boyunca mükemmel bir şekilde çalışmasının mümkün olduğunu varsayarsak (ve bunun büyük bir …
8
Algoritmalar kümesinin temelliliği
Bir tartışmadaki biri, belirli bir soruna yaklaşmak için en azından sürekli stratejilerin olabileceğini düşünüyor. Özel sorun ticaret stratejileri (algoritmalar değil stratejiler) idi ama sorumun yanı sıra şu düşünüyorum. Bu bana algoritma kümesinin temelliğini düşündürdü. Biraz araştırıyorum ama hiçbir şey bulamadım. Turing makinelerinin sınırlı bir alfabe seti ile çalıştığı ve kasetin …
6
Mükemmel bir satranç algoritması olabilir mi?
Mevcut satranç algoritmaları, oyuncunun hamlesine ve rakibin hamlelerine bağlı olarak olası yolların ağacında yaklaşık 1 veya belki 2 seviye aşağı gider. Diyelim ki bir satranç oyununda rakibin olası tüm hareketlerini tahmin eden bir algoritma geliştirmek için hesaplama gücümüz var. Oyuncuların hareketlerine bağlı olarak rakibin herhangi bir anda alabileceği tüm olası …
2
Turing tamlığı neden doğru?
Bu mesajı yazmak için dijital bir bilgisayar kullanıyorum. Böyle bir makine, düşünürseniz, aslında oldukça dikkat çekici bir özelliğe sahiptir: Uygun şekilde programlandığında, olası herhangi bir hesaplamayı gerçekleştirebilen bir makinedir . Tabii ki, bir ya da başka türdeki hesap makineleri antik çağa geri döner. İnsanlar toplama ve çıkarma (örneğin bir abaküs), …
2
NAND kapıları ve Turing bütünlüğü arasındaki bağlantı
NAND kapılarının her doğruluk tablosunu uygulayan devreler oluşturmak için kullanılabileceğini ve modern bilgisayarların NAND kapılarından oluştuğunu biliyorum. NAND kapıları ile Turing tamlığı arasındaki teorik bağlantı nedir? Bana öyle geliyor ki NAND geçit devreleri Turing makinelerine göre sonlu otomata daha yakın. Sezgim, flip-floplar oluşturabilmem ve bu nedenle NAND kapılarının dışında kayıtlar …
3
çözülemez sorun ve olumsuzlanması kararsızdır
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 …
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.