Існує кілька різних (можливо, нееквівалентних) понять обчислювальної універсальності (див., Наприклад, останні кілька сторінок http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), і серед них немає єдиної думки експерти, які поняття найбільш правильні (див., наприклад, http://cs.nyu.edu/pipermail/fom/2007-O жовтня/012148.html ).
Я намагаюся сказати щось про конкретну модель біомолекулярних обчислень. Я хотів би стверджувати, що це "більш універсально" або "більш корисно універсально", ніж деякі інші моделі, тому що ви можете сконструювати універсальну машину, яка запускає програму, а потім видаляє введення в кінці і готова запустити іншу програму. На противагу цьому, скажімо, стільникові автомати, які можуть імітувати будь-яку машину Тьюрінга, але тоді в кінці обчислення ви отримаєте остаточну незмінну конфігурацію. Щоб наслідувати інший TM, потрібно визначити повністю окремий CA. Тому я хотів би сказати, що щось є "багаторазово використаним універсальним", якщо воно поводиться як ваш робочий стіл, а не CA (тобто може виконувати кілька програм, не відтворюючи Всесвіт). Чи було це поняття десь формалізовано?