«computability» etiketlenmiş sorular

Hesaplanabilirlik teorisi, yani özyineleme teorisi ile ilgili sorular

5
Ölü kodun derleyiciler tarafından algılanamayacağının kanıtı
Birisi derleyici olacak olan çok sayıda konuda bir kış kursu öğretmeyi planlıyorum. Şimdi, çeyrek boyunca vereceğim ödevleri düşünürken bu problemle karşılaştım, ama bunun yerine bir örnek olarak kullanabilmem için beni çok kızdırdı. public class DeadCode { public static void main(String[] args) { return; System.out.println("This line won't print."); } } Yukarıdaki …
2
Durma durumu bilinmeyen çok kısa programlar nelerdir?
Binary Lambda Calculus'taki bu 579 bit program bilinmeyen durma durumuna sahiptir: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Yani, bu programın sonlandırılıp sonlandırılmadığı bilinmemektedir. Bunu belirlemek için Collatz varsayımını - veya en azından 2 ^ 256'ya kadar olan tüm numaralar için çözmelisiniz . Bu depoda , bu programın nasıl …
2
NP'de olmayan fakat karar verilebilen NP-Zor problemleri
NP-Komple olmayan ve çözülemeyen NP-Zor probleminin kolay anlaşılır bir örneği olup olmadığını merak ediyorum. Örneğin, durma sorunu NP-Hard'tır, NP-Complete değil, ancak kararlaştırılamaz. Bunun, bir çözümün polinom zamanında doğrulanamamasının ancak bir problem olduğu anlamına geldiğine inanıyorum. (Lütfen böyle değilse, bu ifadeyi düzeltin).
1
Anlamsız özellikler için Rice teoremi
Rice teoremi bize Turing Machines'in tek anlamsal özelliklerinin (yani makine tarafından hesaplanan fonksiyonun özellikleri) karar verebileceğimiz iki önemsiz özellik olduğunu (yani her zaman doğru ve her zaman yanlış olduğunu) söyler. Ancak Turing Makinelerinin kararsız olmayan başka özellikleri de var. Örneğin, belirli bir Turing makinesinde erişilemez bir durum olması özelliği belirlenemez. …
7
Durma sorununun köşegenleştirmeden daha kararsız olduğuna dair daha sezgisel bir kanıt var mı?
Durma sorununun kararsızlığının kanıtını (örneğin Papadimitriou'nun ders kitabında köşegenleştirmeye dayanarak) anladım. Kanıt inandırıcı olsa da (her adımını anlıyorum), tek başına sorundan başlayarak birinin nasıl türeteceğini görmeme anlamında benim için sezgisel değil. Kitabın kanıtı şöyle devam eder: " girişindeki durma problemini çözdüğünü varsayalım , yani Turing makinesi girişi için durup karar …
2
Kilise-Turing Tezi ve sinir ağlarının hesaplama gücü
Kilise-Turing tezi, fiziksel olarak hesaplanabilecek her şeyin bir Turing Makinesi üzerinde hesaplanabileceğini belirtir. "Sinir ağları üzerinden analog hesaplama" (Siegelmannn ve Sontag, Teorik Bilgisayar Bilimi). , 131: 331-360, 1994; PDF ), belirli bir formdaki bir sinir ağının (ayarlar kağıtta sunulmuştur) daha güçlü olduğunu iddia ediyor. Yazarlar, üstel bir zamanda, modellerinin Turing …
4
Turing, “makinelerin sürprizlere yol açamayacağını” söylerken yanlış anlama yüzünden ne demek istedi?
Alan M. Turing'in buradaki ifadesiyle karşılaştım : “Makinelerin sürprizlere yol açamayacağı görüşü, filozofların ve matematikçilerin özellikle konuştuğu bir yanılgıdan kaynaklandığına inanıyorum. Bu gerçeğin bir sonucu ortaya çıkar çıkmaz, bu gerçeğin tüm sonuçlarının ortaya çıktığı varsayımıdır. onunla eşzamanlı olarak zihin. Birçok koşulda çok faydalı bir varsayımdır, ancak biri yanlış olduğunu unutur. …
2
Neden hesaplanabilir fonksiyonlardan daha hesaplanabilir fonksiyonlar var?
Şu anda algoritmalar ve karmaşıklık ile ilgili bir kitap okuyorum. Şu anda, hesaplanabilir ve hesaplanamayan işlevler hakkında okuyorum ve kitabım, hesaplanabilir olandan daha fazla hesaplanamayan işlev olduğunu söylüyor; Bazı açılardan sezgisel olarak bunu kabul edebilirim ama kitap resmi bir kanıt sunmuyor ve konuyla ilgili çok fazla detaylandırmıyor. Sadece bir kanıt …
2
Neden toplam fonksiyonlar numaralandırılamıyor?
Fonksiyon numaralandırma kavramını öğrendik. Uygulamada, programlama dillerine karşılık gelirler. Geçen bir açıklamada, profesör tüm toplam fonksiyonların (yani her girdi için daima sonlanan fonksiyonlar) sınıfının numaralandırılabilir olmadığını belirtti . Bu, toplam fonksiyonların hepsini yazmamıza izin veren bir programlama dili tasarlayamayacağımız anlamına gelir; başkaları olmaz - ki bu güzel olurdu! Peki, düzgün …
6
İki dil arasında kaynak kodlarını 'çevirebilen' programlar var mı?
Herhangi bir iki dil arasında kaynak kodunu 'çevirebilen' programlar var mı (çevirmenin gerekli kütüphanelere erişimi olduğunu varsayarsak)? Varsa, nasıl çalışırlar (kullanılan teknikler, gerekli bilgi vb.)? Fizibil olarak nasıl inşa edilirler? Olmazlarsa, gelişimlerini engelleyen kısıtlamalar nelerdir? Bu bir AI tam sorunu mu (doğal dil çevirisi bir tane olarak listeleniyor)? DÜZENLEME Dönüşüm, …
2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
2
Köşegenleştirme, öz referans veya indirgenebilirlik dışındaki nedenlerden dolayı tespit edilemez olduğu bilinen belirli bir problem var mı?
Bildiğim her çözülemeyen sorun aşağıdaki kategorilerden birine giriyor: Köşegenleştirme nedeniyle çözülemeyen problemler (dolaylı öz referans). Bu problemler, durma problemi gibi, kararsızdır, çünkü davranışı çelişkiye yol açan bir TM oluşturmak için dilin iddialı bir karar vericisini kullanabilirsiniz. Ayrıca, Kolmogorov'un karmaşıklığı ile ilgili olarak saptanamayan birçok sorunu bu kampa götürebilirsiniz. Doğrudan referans …
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.