«universal-computation» etiketlenmiş sorular

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 …

31 computability  turing-machines  universal-computation 

DTIME hiyerarşi teoremine bakarsak, deterministik bir Turing Makinesi'nin evrensel bir makine tarafından simülasyonunda genel gider nedeniyle bir kayıt tutarız: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) NTIME DSPACE için bu tür bir ek yükümüz yok. Temel bir gerekçe, simülatörler arasındaki farkı göz önünde bulundurarak ispatın detaylarından gelir. Sorum şu: DTIME hiyerarşisi teoreminin ispatının …

30 cc.complexity-theory  universal-computation  time-hierarchy 

Bize Turing makineleri ve evrensel Turing makinesinin bir ön ek içermeyen kodlama düzeltmek izin UUU girişte söz ( T , x )(T,x)(T,x) (önek içermeyen kodu olarak kodlanmış TTT , ardından Xxx ne olursa olsun, çıkışlar) TTT girişi çıkış xxx muhtemelen ( ikisi de sonsuza dek koşuyor). Kolmogorov karmaşıklığı tanımlar xxx …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Böyle bir model düşünemiyorum, belki de bir tür yazılı lambda matematiği? bazı temel hücresel otomatlar? Bu neredeyse Wolfram’ın “Hesaplamalı Denklik Prensibi” ni yanlışlar: Açıkça basit olmayan hemen hemen tüm işlemler eşdeğer karmaşıklığın hesaplamaları olarak görülebilir.

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Bu, gramer programlarının yeniden düzenlenmesi midir? önceki Vag tarafından sordu ve yorumculardan birçok öneri ile. Bir dilbilgisi bir hesaplama modelini ne şekilde tanımlayabilir? Örneğin, aşağıdaki gibi bağlam içermeyen basit bir dilbilgisi alırsak, G ::= '1' -> '0' '+' '1' '1' -> '1' '+' '0' '2' -> '2' '+' '0' '2' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Lambda hesabında böyle bir birleştiriciyi belirtmek için gereken soyutlamaların ve uygulamaların sayısı ile ölçülen mümkün olan en küçük evrensel birleştiriciyi arıyorum . Evrensel birleştiricilere örnekler: boyut 23: λf.f (fS (KKKI)) K boyut 18: λf.f (fS (KK)) K boyut 14: λf.fKSK boyut 12: λf.fS (λxyz.x) boyut 11: λf.fSK burada S = …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

Von Neumann olmayan programlama modelleri için pratik uygulamalar var mı? En yaygın olarak kabul edilen von Neumann olmayan programlama dilleri nelerdir?

16 universal-computation  logic-programming 

Greg Egan kurgusunda "Dark Integers" (aritmetikteki tutarsızlık etrafında teoremleri kanıtlayarak iki farklı matematikle iletişim kuran iki evren hakkında hikaye), sadece temel işlevlerini kullanarak genel amaçlı bilgisayar inşa etmenin mümkün olduğunu iddia ediyor paket anahtarlama (ve sağlama toplamı düzeltmesi, kesin olarak). Prensipte bu mümkün müdür? Güncelleme. Soruyu daha kesin hale getirmek …

14 computability  universal-computation 

P = NP ise SAT'ı polinom zamanında çözen bir algoritma yazmak için eski bir hile vardır. Esasen, tüm polinom zaman makineleri ve bunlar üzerindeki çoklu görevler listelenir. Tek yönlü işlevler (hatta tek yönlü kapı kapısı işlevleri) için benzer bir hile var mı? Yani, tek yönlü işlevler varsa, mutlaka tek yönlü …

13 universal-computation  one-way-function 

Robin Gandy , Alan Turing'in öğrencisiydi . Gandy, Babbage'ın Analitik Motorunun bir analizini yaptı (bkz. 'Herken, Rolf - Evrensel Turing Makinesi — Yarım Yüzyıl Anketi . Springer Verlag'). s. 52–53): Aritmetik fonksiyonlar +, -, ×, burada - y ≥ x ise "uygun" çıkarma x - y = 0 belirtir. Herhangi …

10 turing-machines  universal-computation  charles-babbage 

Bernstein ve Vazirani'nin seminal gazetesi olan "Kuantum Karmaşıklık Teorisi" nde, boyutlu bir üniter dönüşümün, "önemsiz dönüşler" ve "önemsiz faz değişimleri" olarak adlandırdıkları bir ürünle verimli bir şekilde tahmin edilebileceğini gösteriyorlar.ddd "Neredeyse önemsiz rotasyonlar", 2 boyut dışındaki tüm boyutlarda kimlik olarak hareket eden, ancak bu iki boyutun kapsadığı düzlemde bir rotasyon …

10 quantum-computing  linear-algebra  universal-computation 

Birkaç farklı (muhtemelen eşit olmayan) hesaplama evrenselliği kavramı vardır (örneğin, http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf dosyasının son birkaç sayfasına bakın ) ve arasında fikir birliği yoktur hangi kavramların en doğru olduğu konusunda uzmanlar (örneğin bkz . http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ). Belirli bir biyomoleküler hesaplama modeli hakkında bir şeyler söylemeye çalışıyorum. Diğer modellerden daha "evrensel" veya "daha …

10 universal-computation 

Turing makinelerinin ve evrensel bir Turing makinesinin (U) girişindeki (T, x), x girişindeki T çıkışlarını (muhtemelen her ikisi de sonsuza dek çalışan) çıkardığı bir kodlamasını düzeltelim. X, K (x) 'in Kolmogorov karmaşıklığını, en kısa programın uzunluğu (p) olarak tanımlayın, öyle ki U (p) = x. Tüm n> N için K …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines