มีแนวคิดที่แตกต่างกันหลายอย่าง (อาจไม่เท่ากัน) ของความเป็นสากลด้านการคำนวณ (ดูตัวอย่างหน้าสองหน้าสุดท้ายของhttp://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ) ผู้เชี่ยวชาญเกี่ยวกับแนวคิดที่ถูกต้องที่สุด (ดูตัวอย่างhttp://cs.nyu.edu/pipermail/fom/2007-October/012148.html )
ฉันกำลังพยายามพูดบางอย่างเกี่ยวกับรูปแบบเฉพาะของการคำนวณชีวโมเลกุล ฉันต้องการยืนยันว่ามันเป็น "universal universal" หรือ "universal universal usefully" มากกว่ารุ่นอื่น ๆ เพราะคุณสามารถสร้าง universal machine ที่รันโปรแกรมแล้วลบอินพุตเมื่อสิ้นสุดและพร้อมที่จะรันโปรแกรมอื่น ตรงกันข้ามกับเซลลูลาร์ออโตมาตะซึ่งสามารถเลียนแบบเครื่องทัวริงใด ๆ แต่หลังจากสิ้นสุดการคำนวณคุณจะมีการกำหนดค่าสุดท้ายที่ไม่สามารถเปลี่ยนแปลงได้ ในการจำลอง TM อื่นคุณต้องกำหนด CA แยกต่างหากโดยสิ้นเชิง ดังนั้นฉันอยากจะบอกว่าบางสิ่งบางอย่างเป็น "สากล reusably" ถ้ามันทำงานเหมือนเดสก์ท็อปของคุณไม่ใช่ CA (เช่นสามารถรันโปรแกรมหลาย ๆ โปรแกรมโดยไม่ต้องสร้างจักรวาลขึ้นใหม่) ความคิดนี้ได้รับการทำให้เป็นระเบียบที่ใดก็ได้?