«ar.hardware-architecture» etiketlenmiş sorular

Son zamanlarda oldukça ilginç bir teorik yapıya rastladım. Bir sözde Gödel'in makinesi Kendi kendine optimizasyon yapabilen genel bir problem çözücüdür. Reaktif ortamlar için uygundur. Anladığım kadarıyla, evrensel Turing makinesi için bir program olarak uygulanabilir, ancak gereksinimleri şu anda mevcut olan donanımın çok ötesine geçer. Yine de çok fazla detay bulamadım. …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Bir süre önce, son birkaç on yılda bilgisayar programlarında görülen hızlanmanın çoğunun daha hızlı donanımdan ziyade daha iyi algoritmalardan geldiğini iddia eden bir çalışma veya makale gördüğümü hatırlıyorum. Çalışmayı veya makaleyi bilen var mı?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Microsoft Word'ün tek amaçlı (Turing tamamlanmamış) mekanik uygulamasını oluşturmak mümkün müdür? Yineleyiciler, birinci dereceden fonksiyonlar, programlama tekniklerinin tüm gamı ​​gibi şeyleri uygulamak mümkün müdür? Dişliler ve diğer mekanik parçalar veri yapılarını veya hatta program nesnelerini temsil edebilir mi? Belirli bir noktada bu, genel amaçlı bir Turing eşdeğeri makine yapılmasını gerektiriyor …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

Bir EE öğrencisiyken, kaç tane iç içe döngüye sahip oldukları açısından, boole devrelerinin güzel bir karakterizasyonunu sunan bazı derslere katıldım. Karmaşıklıkta, boole devreleri genellikle veri olarak düşünülür, ancak gerçek donanım döngülerinde yaygındır. Şimdi, bir ilmeğin ne olduğu ve iç içe bir ilmeği neyin oluşturduğu ile ilgili bazı tekniklerin modülo olduğu …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture