গণনামূলক সার্বজনীনতার বিভিন্ন (সম্ভবত অসমর্থিত) ধারণা রয়েছে (উদাহরণস্বরূপ দেখুন http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf এর শেষ দুটি পৃষ্ঠাগুলি ) এবং এর মধ্যে কোন noক্যমত্য নেই বিশেষজ্ঞরা যা সম্পর্কে ধারণাগুলি সবচেয়ে সঠিক (উদাহরণস্বরূপ http://cs.nyu.edu/pipermail/fom/2007- অক্টোবর/012148 . html দেখুন )।
আমি বায়োমোলিকুলার গণনার একটি বিশেষ মডেল সম্পর্কে কিছু বলার চেষ্টা করছি। আমি যুক্তি দিতে চাই যে এটি অন্য কয়েকটি মডেলের তুলনায় "আরও সর্বজনীন" বা "আরও কার্যকরভাবে সর্বজনীন", কারণ আপনি একটি ইউনিভার্সাল মেশিন তৈরি করতে পারেন যা একটি প্রোগ্রাম চালায় এবং তারপরে ইনপুটটি মুছে ফেলবে এবং অন্য প্রোগ্রাম চালানোর জন্য প্রস্তুত। এটির তুলনায়, সেলুলার অটোমেটা, যা কোনও টুরিং মেশিন অনুকরণ করতে পারে, তবে তারপরে গণনার শেষে, আপনি একটি চূড়ান্ত, অপরিবর্তনীয় কনফিগারেশন পেয়েছেন। অন্য একটি টিএম অনুকরণ করতে আপনাকে একটি সম্পূর্ণ পৃথক সিএ সংজ্ঞায়িত করতে হবে সুতরাং আমি বলতে চাই যে কিছু যদি "ডেস্কটপ সার্বজনীন" হয় তবে এটি যদি আপনার ডেস্কটপের মতো আচরণ করে, কোনও সিএ নয় (যেমন, মহাবিশ্বকে পুনরায় তৈরি করার প্রয়োজন ছাড়াই একাধিক প্রোগ্রাম কার্যকর করতে পারে)। এই ধারণাটি কি কোথাও আনুষ্ঠানিকভাবে করা হয়েছে?