«turing-machines» etiketlenmiş sorular

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

5
Bir turing makinesi ve sonlu durumlu bir makine arasındaki fark?
Turing makineleri hakkında bir sunum yapıyorum ve Turing Machines'i tanıtmadan önce FSM'lerde biraz bilgi vermek istiyorum. Sorun şu ki, birbirinden çok farklı olanı gerçekten bilmiyorum. İşte farklı olduğunu bildiğim şey: FSM, karşılaşılan karşılık gelen duruma bağlı olarak sıralı durumlara sahiptir; Turing makineleri, sonsuz bir "Bant" üzerinde okunan ve yazan bir …
6
Turing Makinesi ile ilgili fiziksel bir benzetme var mı?
Geçenlerde CS sınıfımda Turing Makinesi ile tanıştım. Dersten sonra, bir bantla makine arasındaki ilişkinin ne olduğunu anlamaya çalışmak için 2 saatimi harcadım. Bilgisayar kasetlerinin varlığından ya da kasetlerin ve makinelerin bugüne kadar nasıl etkileşime geçtiğinin farkında değildim. Bir makinenin neden kaset okuduğunu hala göremiyorum ama bir tarayıcı, kağıdın bant olarak …
5
Turing makinelerinin pratik önemi?
Ben elektrik mühendisiyim ve 26 yıl önce kolejde yalnızca bir CS kursu vardı. Ancak, ben de sadık bir Mathematica kullanıcısıyım. Turing Makinelerinin bilgisayar bilimlerinde çok önemli olduğu kanısındayım. Sadece bilgisayar bilimi teorisindeki önemi var mı? Pratik uygulamalar / uygulamalar varsa, bunlardan bazıları nelerdir?
6
Bir Turing makinesine giriş sonsuz uzunlukta olabilir mi?
Sadece alfabesini göz önüne alarak , Turing makinelerine giriş olarak verilebilecek diziler Σ ∗ kümesindendir . Fakat girişin sonsuz bir ikili dize olması mantıklı geliyor mu? Örneğin, bir Turing makinesi 0 ile başlayan tüm dizeleri kabul ederse, bir ikili sonsuz sıfır dizisi de Turing makinesi tarafından kabul edilen dile ait …
4
Durma Probleminin kararsızlığının kanıtı
Halting Probleminin kararsızlığının kanıtını anlamakta güçlük çekiyorum. Eğer döner programına olsun veya olmasın bir girişi durur b , neden kodunu geçmek zorunda do P ikisi için a ve b ?'H( a , b )H(a,b)H(a,b)biraabbbPPPbiraabbb Neden yı P ve bazı rasgele girdilerle besleyemiyoruz , örneğin, x ?'H( )H()H()PPPxxx
6
Bir meslekten olmayan kişi için özyinelemeli ve özyinelemeli numaralandırılabilir dil tanımı
Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 6 yıl önce göç etmiş . Özyinelemeli ve özyinelemeyle numaralandırılabilir dillerin birçok tanımlarına rastladım. Ama ne olduklarını tam olarak anlayamadım. Birileri lütfen bana basit kelimelerle ne olduklarını söyleyebilir mi?
4
Yapılandırmacı mantıkta kararsız diller var mı?
Yapılandırmacı mantık, Hariç Tutulan Orta Yasasını ve Çifte Olumsuzluğu aksiyom olarak kaldıran bir sistemdir. Burada ve burada Vikipedi'de tanımlanmıştır . Özellikle, sistem çelişki ile ispatlamaya izin vermez. Merak ediyorum, bunun Turing Makineleri ve biçimsel dillerle ilgili sonuçları nasıl etkilediğini bilen var mı? Bir dilin kararsız olduğu hemen hemen her ispatın …
1
Kuantum Hesaplama ve Turing Makinaları: Turing Makinaları Hala Doğru Bir Tedbir midir?
Geçen hafta sınıfta, profesörüm yorumladı ve Turing makinelerinin hesaplanabilir olanın standart bir ölçü / model olarak kullanıldığını ve bu konuda tartışmanın yararlı bir temeli olduğunu söyledi. Ayrıca, Turing makinelerinin tüm varyantlarının hesaplamalı olarak eşdeğer - okunmuş, aynı kadar güçlü - birbirlerinin olduğu kanıtlanmış olduğunu söyledi. W Dün, hesaplanabilirlik gücü ile …
5
İşlevsel diller neden Turing tamamlandı?
Belki de konuyla ilgili sınırlı bir anlayışım yanlıştır, ancak şu ana kadar anladığım şey bu: İşlevsel programlama, Alonzo Church tarafından formüle edilen Lambda Calculus'a dayanmaktadır. Zorunlu programlama, Church'un öğrencisi Alan Turing tarafından yapılan Turing makine modeline dayanmaktadır. Lambda hesabı, Turing Makinası gibi güçlü ve muktedir olduğunu onlar hesaplama kapasitesiyle eşdeğerdir …
5
Duruş Problemi, daha üst düzey bir hesaplama tanımından kaçarak “çözülebilir” mi?
Son zamanlarda, Turing'in durma sorununun kararsızlığına dair kanıtının Russell'ın berber paradoksuna çok benzediğini belirten ilginç bir benzetme duydum. Merak ettim: matematikçiler sonunda Cantor'un alanın naif formülasyonundan daha karmaşık bir aksiyom sistemine (ZFC set teorisi) geçerek, önemli dışlamalar (kısıtlamalar) ve yol boyunca eklemeler yaparak set teorisini tutarlı hale getirmeyi başardılar. Bu …
2
İkinci dereceden zaman gerektiren makul sorunlar
Ben giriş için ) alt sınırı olan sorun örnekleri arıyorum .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx Sorunun aşağıdaki özelliklere sahip olması gerekir: Ω ( n2)Ω(n2)\Omega(n^2) herhangi bir algoritma için çalışma zamanı kanıtı - ilk öncelik, mümkün olduğunca alt sınır bağımsız değişkenine sahip olmaktır. O ( n2)Ö(n2)O(n^2) algoritması, mümkünse, basit olanı da. …
1
Turing makinesini tanıyan dilini nasıl kısıtlamasız bir dilbilgisine dönüştürebilirim?
Göre bu Wikipedia makalesinde , sınırsız dilbilgisi Turing makineleri eşdeğerdir. Makale, herhangi bir Turing makinesini sınırsız bir dilbilgisine dönüştürebileceğimi not ediyor, ancak sadece bir dilbilgisinin Turing makinesine nasıl dönüştürüleceğini gösteriyor. Gerçekten bunu nasıl yaparım ve Turing makinesini tanıyan dilini kısıtlamasız bir dilbilgisine dönüştürürüm? Geçiş kurallarını dilbilgisi kurallarıyla değiştirmeyi denedim, ancak …
4
Deterministik olmayan otomata için durma probleminin tanımlanması
Turing makinesinin (TM) birincil tanımı, en azından kendi referans ders kitabımda (Hopcroft + Ullman 1979) belirleyicidir. Dolayısıyla, durma problemine ilişkin kendi anlayışım öncelikle deterministik TM içindir, ancak diğer otomata türleri için de düşünülebileceğinin farkındayım. Ayrıca determinizmin insanların TM'ye ya da durma problemine sık sık başvurma biçiminde genellikle az ya da …
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.