“Tekrar evrensel” kavramı için resmi bir isim var mı?

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 kullanışlı" olduğunu iddia etmek istiyorum, çünkü bir programı çalıştıran ve daha sonra girdiyi silen ve başka bir programı çalıştırmaya hazır olan evrensel bir makine oluşturabilirsiniz. Bunu, örneğin herhangi bir Turing makinesini taklit edebilen hücresel otomatlarla karşılaştırın, ancak daha sonra hesaplamanın sonunda, son, değiştirilemez bir yapılandırmaya sahipsiniz. Başka bir TM'yi taklit etmek için tamamen ayrı bir CA tanımlamanız gerekir. Yani bir şeyin masaüstü gibi davranıyorsa bir CA'nın (örneğin, evreni yeniden oluşturmaya gerek kalmadan birden fazla program yürütebiliyorsa) bir şeyin "yeniden evrensel olarak" olduğunu söylemek isterim. Bu kavram herhangi bir yerde resmileştirildi mi?

Automata Theory / Formal Language Thesis Topic'te bahsettiğiniz gibi, amirlerim "yeniden kullanılabilir evrensellik" hakkındaki en azından bazılarının CA tarzından "daha iyi" olduğu düşüncesine sahiptir. Yine de bir ad verildiğinden emin değilim: http://www.diku.dk/~neil/blobentcs.pdf

Bu bölüme çok fazla odaklanmadım, ancak gördüğüm gibi, biyobilgisayar literatüründen geçerken en büyük fark, "programlama / programlanabilir" kelimesinin anlamında yatıyor, örn. Aslında programlanabilir olan nedir? Bu ve "depolanmış program" kısmı da ama sorunuzun nüansını takdir ediyorum

Buna ne denir diye hazır bir cevabım yok

PL / sistem topluluğunda işletim sistemlerinin semantiği ve modellenmesi konusunda çalışmalar yapılmıştır. İşaret ettiğiniz gibi, bahsettiğiniz şey bir işletim sistemi gibidir: bir şey yapar, ancak bir "zemin durumuna" dönmesi garanti edilir (iyi durumda, garantili-ish). PL halkı, yeniden kullanılabilir evrensel kavramınızı resmileştirmemiş olabilir, ancak orada biraz ilham bulabilirsiniz.

Resmileştirmeniz, "bir girişle çalıştıktan sonra, girişi başka bir girişle değiştirirseniz hazır olan evrensel bir makine ile", bir dizi giriş programı verilen evrensel bir makine ile " onları arka arkaya yönetir. " Ve elbette, tüm makul evrensel makine kavramları muhtemelen ikinci gereksinimi karşılar. Bu yüzden oldukça zor görünüyor ...