«turing-machines» etiketlenmiş sorular

Turing makinesi, özellikle teorik çalışmalarda temel bir hesaplama modelidir.

2
Gerçekleşebilirlik teorisi: Lambda matematiği ve Turing Makineleri arasındaki güç farkı
Aşağıdaki mermi noktalarıyla vurgulanmış üç ilgili alt sorum var (merak ediyorsanız, hayır, bölünemezlerdi). Andrej Bauer, burada bazı işlevlerin bir Turing makinesi üzerinden gerçekleştirilebileceğini, ancak lambda-calculus aracılığıyla gerçekleştirilemediğini yazdı . Akıl yürütmenin önemli bir adımı: Bununla birlikte, eğer lambda matematiğini kullanırsak, o zaman [program] c bir f fonksiyonunu temsil eden bir …
5
Turing Makinesinin birincil hesaplama modeli olarak benimsenmesinin tarihsel nedenleri.
Anladığım kadarıyla Turing'in modelinin hesaplamayı tarif ederken "standart" olduğu ortaya çıktı. Bunun neden böyle olduğunu bilmek ilgimi çekiyor - yani, TM modeli neden diğer teorik olarak eşdeğer (benim bilgime göre) modellerden daha yaygın bir şekilde kullanıldı, örneğin Kleene's Rec-Recursion veya Lambda Calculus (anlıyorum) eski olan daha sonra görünmüyordu ve ikincisi …
10
Gerçek bilgisayarların yalnızca sınırlı sayıda devleti vardır, bu yüzden Turing makinelerinin gerçek bilgisayarlarla ilgisi nedir?
Gerçek bilgisayarlar sınırlı belleğe ve yalnızca sınırlı sayıda duruma sahiptir. Bu yüzden aslında sonlu otomatlardır. Teorik bilgisayar bilim adamları neden bilgisayarları incelemek için Turing makinelerini (ve diğer eşdeğer modellerini) kullanıyorlar? Gerçek bilgisayarlara göre bu çok daha güçlü modelleri incelemek ne anlama geliyor? Sonlu otomata modeli neden yeterli değil?
2
Tek Bantlı Turing makinesinin alfabesi
Can her fonksiyonu zaman içinde hesaplanabilir olan boyutu bir alfabe ile makine Turing tek bant üzerinde hesaplanabilmektedir Tekli Teypte zamanı büyüklüğünde (say, ve boş) bir alfabe kullanarak Turing makinesi ?f:{0,1}∗→{0,1}f:{0,1}∗→{0,1}f : \{0,1\}^* \to \{0,1\}tttk=O(1)k=O(1)k = O(1)O(t)O(t)O(t)3330,1,0,1,0,1, (OP tarafından aşağıdaki yorumlardan) Girişin kullanılarak yazıldığına dikkat edin , ancak büyüklüğündeki alfabeyi kullanan …
7
Gerçekten rastgele sayı üreteci: Hesaplanabilir mi?
"Gerçekten rastgele" sayıların üretilmesinin Turing ile karşılaştırılabilir olup olmadığına dair kesin bir cevap arıyorum. Bunu tam olarak nasıl ifade edeceğimi bilmiyorum. "Rastgele sayı üretimi için verimli algoritmalar" konulu bu StackExchange sorusu sorumu yanıtlamaya yaklaşıyor. Charles Stewart cevabında, "Martin Löf'in rastgeleliği] bir makine tarafından üretilemez" diyor. Ross Snider, “herhangi bir belirleyici …
7
Kilise-Turing tezinin etkileşimli hesaplama modellerine uygulanabilirliği
Paul Wegner ve Dina Goldin, on yıldan fazla bir süredir, öncelikle Kilise-Turing tezinin CS Teorisi topluluğunda ve başka yerlerde yanlış tanıtıldığını iddia eden bildiri ve kitaplar yayınlamaktadır. Yani, aslında sadece tüm hesaplamaların çok küçük bir alt kümesi olan fonksiyonların hesaplanması için geçerli olduğunda, tüm hesaplamaları kapsayacak şekilde sunulur. Bunun yerine, …
3
Lamda-kalkülüs yoluyla P ve NP sınıflarının açıklanması
Giriş ve açıklamalarda P ve NP karmaşıklık sınıfları genellikle Turing makinesi aracılığıyla verilir. Hesaplama modellerinden biri lambda hesabıdır. Tüm hesaplama modellerinin eşdeğer olduğunu anlıyorum (ve Turing makinesi ile ilgili herhangi bir şey tanıtabilirsek, bunu herhangi bir hesaplama modeli olarak tanıtabiliriz), ancak lambda-calculus aracılığıyla açıklama fikri P ve NP karmaşıklık sınıflarını …
3
Durmayı kararsız kılan Turing Machine kısıtlamaları
Eğer bir tanesi Turing Machines'i sınırlı bir bantla sınırlarsa (yani, sınırlı alan kullanmak için ), o zaman durdurma problemi, esasen birkaç adımdan sonra ( , ve durumlarından hesaplanabilir) ve alfabe boyutu), bir yapılandırma tekrarlanmalıdır.SSSSQQSSS Durmayı kararlaştırılabilir kılan başka doğal Turing Makinesi kısıtlamaları var mı? Kesin olarak durum geçiş grafiğinin döngüler …
6
En basit tartışmasız 2 durumlu üniversal Turing makinesi nedir?
Bir kart oyunu kurallarına basit bir Turing makinesini kodlamak istiyorum. Turing'in eksiksiz olduğunu kanıtlamak için evrensel bir Turing makinesi yapmak istiyorum. Şimdiye kadar Alex Smith'in 2 durumlu, 3 sembollü Turing makinesini kodlayan bir oyun durumu yarattım . Ancak, (kuşkusuz Vikipedi'ye dayanarak) makinenin gerçekten evrensel olup olmadığı konusunda bazı tartışmalar olduğu …
4
Olasılıklı bir Turing makinesi durma problemini çözebilir mi?
Sonsuz bir gerçek rasgele bit akımı veren bir bilgisayar, bir bilgisayarı olmayan bir bilgisayardan daha güçlüdür. Soru şu: durma problemini çözebilecek kadar güçlü mü? Yani, olasılıksal bir bilgisayar deterministik bir programın durup durmayacağını belirleyebilir mi? Belirleyici bir şey yapan olasılıklı bir bilgisayar örneği yapamaz: Koligogorov karmaşıklığı ile gigabayttan daha büyük …
1
Verimli Hesaplanabilir, fakat Öğrenilebilir Olan Fonksiyonlar
Turing makinesi tarafından polinom zamanında ("verimli bir şekilde hesaplanabilir") verimli bir şekilde hesaplanabilen fonksiyonların, kabaca konuşulduğunda, (örneğin, [1] 'in Teoremleri 1’e bakınız) polinom sinir ağları tarafından ifade edilebileceğini biliyoruz. makul boyutlarda olan ve bu nedenle herhangi bir girdi dağılımında polinom örnek karmaşıklığıyla ("öğrenilebilir") öğrenilebilir. Burada "öğrenilebilir", hesaplama karmaşıklığından bağımsız olarak …
2
F Sistemi hangi işlevleri hesaplayamaz?
In Turing Bütünlük bu wikipedia makalesinde bu belirtmektedir: Yazılmamış lambda matematiği Turing tamamlandı, ancak Sistem F de dahil olmak üzere birçok tipte lambda matematiği yok. Yazılan sistemlerin değeri, daha fazla hata algılayarak en tipik bilgisayar programlarını temsil etme yeteneklerine dayanır. F sistemi tarafından hesaplanamayan bir toplam hesaplanabilir fonksiyon örneği nedir …
1
TCS teoremleri için makul bir otomatik ispat sistemi var mı?
Bir makinenin kontrol edebilmesi için Turing'in durma problemiyle ilgili kanıtını resmileştirmek istediğimi varsayalım. Tanınmış otomatik teorem kanıtlama sistemlerinden bazıları Mizar, Coq ve HOL4'ü içerir. Coq'u indirip denedim, ancak Turing makineleri için bir kütüphane yok. Kendimden birini kodlamayı düşündüm, ancak öğretici eksik ve dili almak zor. Sorum şu: Turing makinelerini içeren …
6
Bir C uygulamasının maksimum hesaplama gücü
Kitabın önüne geçersek (veya tercih ederseniz dil spesifikasyonunun herhangi bir versiyonunu kullanırsak), bir C uygulamasının ne kadar hesaplama gücü olabilir? “C uygulaması” nın teknik bir anlamı olduğunu unutmayın: Uygulama-tanımlanmış davranışın belgelendiği C programlama dili spesifikasyonunun özel bir örneğidir. AC uygulamasının gerçek bir bilgisayarda çalışabilmesi gerekmez. Bit-dizili bir temsili olan her …
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.