มีชื่ออย่างเป็นทางการสำหรับความคิดของ "สากล reusably"?


10

มีแนวคิดที่แตกต่างกันหลายอย่าง (อาจไม่เท่ากัน) ของความเป็นสากลด้านการคำนวณ (ดูตัวอย่างหน้าสองหน้าสุดท้ายของ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 (เช่นสามารถรันโปรแกรมหลาย ๆ โปรแกรมโดยไม่ต้องสร้างจักรวาลขึ้นใหม่) ความคิดนี้ได้รับการทำให้เป็นระเบียบที่ใดก็ได้?


1
คุณอาจเปลี่ยนชื่อคำถามให้มีความเป็นส่วนตัวน้อยลง - อาจเป็นเพียง "ความเป็นสากลที่นำกลับมาใช้ใหม่ได้"
Joshua Grochow

คำตอบ:


3

ตามที่คุณพูดถึงในหัวข้อAutomata Theory / วิทยานิพนธ์ภาษาอย่างเป็นทางการหัวหน้างานของฉันมีความตั้งใจอย่างน้อยเหมือนกันเกี่ยวกับ ฉันไม่แน่ใจว่าได้รับชื่อแล้ว: http://www.diku.dk/~neil/blobentcs.pdf

ฉันไม่ได้มุ่งเน้นไปที่ส่วนนั้นมากเท่าที่ควร แต่เมื่อฉันเห็นมันผ่านการเขียนวรรณกรรม biocomputing ความแตกต่างที่สำคัญอยู่ที่ความหมายของคำว่า นั่นและส่วน "โปรแกรมที่จัดเก็บ" เช่นกัน แต่ฉันขอขอบคุณความแตกต่างที่เกิดจากคำถามของคุณ

ฉันไม่มีคำตอบที่พร้อมใช้งานสำหรับสิ่งที่เรียกว่า


1
จากเอกสารของพวกเขา: "โปรแกรมคือซอฟต์แวร์ไม่ใช่ฮาร์ดแวร์ดังนั้นโปรแกรมควรเป็นวัตถุข้อมูลที่เป็นรูปธรรมซึ่งสามารถแทนที่ได้เพื่อระบุการกระทำที่แตกต่าง" ขอบคุณอีกครั้ง.
Aaron Sterling

ฉันเพียงแค่สะดุดในการทำงานโดยไมเคิลคอนราด: portal.acm.org/citation.cfm?id=3533 ดูเหมือนว่าเขาจะรู้สึกสับสนเล็กน้อยจากความแตกต่างแบบเดียวกับที่คุณพยายามทำเกี่ยวกับ "ความสามารถในการโปรแกรม" เป็นคำที่เขาใช้ แก้ไขให้ฉันถ้าฉันผิด :)
svrist

4

มีการทำงานในชุมชนระบบ PL / บนความหมายและการสร้างแบบจำลองของระบบปฏิบัติการ ในขณะที่คุณชี้ให้เห็นสิ่งที่คุณกำลังพูดถึงเป็นเหมือนระบบปฏิบัติการ: มันทำอะไร แต่รับประกัน (ดีในกรณีของระบบปฏิบัติการรับประกัน - ish) เพื่อกลับไปที่ "สถานะพื้น" คน PL ไม่อาจทำให้ความคิดของคุณเป็นสากลได้อย่างเป็นทางการ แต่คุณอาจพบแรงบันดาลใจบางอย่างที่นั่น

การทำให้เป็นทางการของคุณจะต้องจับความแตกต่างระหว่าง "เครื่องอเนกประสงค์ที่หลังจากนั้นทำงานด้วยอินพุตหนึ่งถ้าคุณแทนที่อินพุตด้วยอินพุตอื่นมันพร้อมที่จะไป" และ "เครื่องอเนกประสงค์ที่ให้ลำดับของโปรแกรมอินพุต ทำให้พวกเขาต่อเนื่องกัน " และแน่นอนความคิดที่สมเหตุสมผลของเครื่องจักรสากลอาจตอบสนองความต้องการหลัง ดังนั้นดูเหมือนว่าจะค่อนข้างยุ่งยาก ...


ขอบคุณ! ฉันไม่มีทฤษฎีภาษาโปรแกรมมากนัก ถึงเวลาที่จะเรียนรู้บางอย่างฉันเดา
แอรอนสเตอร์ลิง
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.