Hay varias nociones diferentes (probablemente no equivalentes) de universalidad computacional (ver, por ejemplo, las últimas dos páginas de http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) y no hay consenso entre expertos sobre las nociones más correctas (ver, por ejemplo, http://cs.nyu.edu/pipermail/fom/2007-October/012148.html ).
Estoy tratando de decir algo sobre un modelo particular de computación biomolecular. Me gustaría argumentar que es "más universal" o "más útil universalmente" que algunos otros modelos, porque puede construir una máquina universal que ejecute un programa y luego elimine la entrada al final y esté listo para ejecutar otro programa. Compare esto con, digamos, autómatas celulares, que pueden emular cualquier máquina de Turing, pero luego, al final del cálculo, tiene una configuración final e inmutable. Para emular otra TM, debe definir una CA completamente separada. Así que me gustaría decir que algo es "reutilizable universalmente" si se comporta como su escritorio, no como una CA (es decir, puede ejecutar múltiples programas sin necesidad de recrear el universo). ¿Se ha formalizado esta noción en alguna parte?