«computability» etiketlenmiş sorular

Hesaplanabilirlik teorisi, yani özyineleme teorisi ile ilgili sorular

7
Tüm turing dilleri birbiriyle değiştirilebilir mi
Not, nasıl programlandığını bilmeme rağmen, CS teorisinde oldukça yeni bir başlangıç ​​yapıyorum. Bu cevaba göre Bütünlüğü tamamlamak, soyut bir hesaplanabilirlik kavramıdır. Eğer bir dil Turing tamamlandıysa, diğer bir Turing tamamlayıcı dilin yapabileceği herhangi bir hesaplama yapabilir. Ve herhangi Turing tam bir dilde yazılmış herhangi bir program diğerinde tekrar yazılabilir . …
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
5
Neden NP'de bu çözülemez bir problem değil?
Açıkçası, NP’de tespit edilemeyen herhangi bir problem yoktur. Ancak, Wikipedia'ya göre : NP, cevabın "evet" olduğu durumların, belirleyici bir Turing makinesi tarafından polinom zamanında doğrulanabilir [.. ispatları] olduğu tüm karar sorunlarının kümesidir. [...] Bir problemin sadece eğer polinom zaman içinde yürütülen problem için bir doğrulayıcı varsa ve eğer NP cinsinden …
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
Meşgul kunduz insanoğlunun bildiği en hızlı büyüyen işlev midir?
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. 7 yıl önce göç etti . Daha yeni ilginç bir sorum vardı. İnsanoğlunun bildiği en hızlı büyüyen fonksiyon nedir? Öyle mi meşgul kunduz ? Biz gibi işlevleri biliyorum x2x2x^2 , ancak bu işlev …
4
Hesaplanabilir işlevler neden özyinelemeli işlevler olarak da adlandırılır?
Hesaplanabilirlik teorisinde, hesaplanabilir fonksiyonlara özyinelemeli fonksiyonlar da denir. En azından ilk bakışta, günlük programlamada "özyinelemeli" dediğiniz şeyle ortak hiçbir şeyleri yok (yani, kendilerini tanımlayan işlevler). Hesaplanabilirlik bağlamında özyinelemenin asıl anlamı nedir? Neden bu işlevler “özyinelemeli” olarak adlandırılıyor? Başka bir deyişle, “özyinelemenin” iki anlamı arasındaki bağlantı nedir?
6
Turing'in “Durma problemini” çözme algoritması
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. 7 yıl önce göç etti . "Alan Turing, 1936'da, olası tüm program giriş çiftleri için durma problemini çözmek için genel bir algoritma bulunmadığını kanıtladı. " Bazı olası program giriş çiftleri için durma problemini …
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 …
3
Kolmogorov karmaşıklığına yaklaşmak
Kolmogorov Karmaşıklığı hakkında bir şeyler okudum, Vitanyi ve Li'den bazı makaleler ve kitaplar okudum ve Yazarların stilometrisini doğrulamak için Normalize Sıkıştırma Mesafesi kavramını kullandım (her bir yazarın bazı metinleri ve grup belgelerini benzerliklerine göre nasıl yazdığını belirleyin). Bu durumda, veri kompresörleri bir Kolingogo makinesi olarak kullanılabileceğinden, Kolmogorov karmaşıklığını yaklaşık olarak …
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 …
1
Belirsizlikten ekstra güç kazanmayan bağlamsız diller için makineler
Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir. İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer …
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.