โดยทั่วไปเมื่อใช้คณิตศาสตร์ในการศึกษาXหนึ่งคนแรกต้องการแบบจำลองของXแล้วพัฒนาทฤษฎีชุดของผลลัพธ์เกี่ยวกับแบบจำลองนั้น ฉันเดาว่าทฤษฎีอาจกล่าวได้ว่าเป็น "ทฤษฎีพื้นฐาน" สำหรับX ตอนนี้ตั้งค่าการคำนวณ X = การคำนวณมีหลายแบบหลายแบบเกี่ยวข้องกับ "สถานะ" แต่ละรุ่นมี "ทฤษฎี" ของตัวเองและบางครั้งก็เป็นไปได้ที่จะ "แปล" ระหว่างแบบจำลอง ฉันเชื่อว่ามันยากที่จะบอกว่าโมเดลใดเป็น "พื้นฐาน" มากกว่า --- พวกมันถูกออกแบบมาโดยมีเป้าหมายที่แตกต่างกัน
เครื่องทัวริงถูกออกแบบมาเพื่อกำหนดสิ่งที่คำนวณได้ ดังนั้นพวกเขาจึงสร้างแบบจำลองที่ดีถ้าคุณสนใจว่ามีอัลกอริทึมสำหรับปัญหาบางอย่างหรือไม่ แบบจำลองนี้บางครั้งถูกทารุณกรรมเพื่อศึกษาประสิทธิภาพของอัลกอริธึมหรือความแข็งของปัญหาภายใต้ข้ออ้างว่ามันดีพออย่างน้อยถ้าคุณสนใจเรื่องพหุนาม / ไม่ใช่พหุนาม รุ่น RAM ใกล้กับคอมพิวเตอร์จริงและดีกว่าถ้าคุณต้องการการวิเคราะห์อัลกอริทึมที่แม่นยำ หากต้องการลดขอบเขตลงบนความแข็งของปัญหาจะดีกว่าที่จะไม่ใช้แบบจำลองที่มีลักษณะคล้ายกับคอมพิวเตอร์มากเกินไปในวันนี้เพราะคุณต้องการครอบคลุมคอมพิวเตอร์ที่เป็นไปได้มากมายในขณะที่ยังคงแม่นยำมากกว่าพหุนาม / ไม่ใช่พหุนาม ในบริบทนี้ฉันเห็นตัวอย่างรูปแบบการสอบสวนเซลล์ที่ใช้
หากคุณใส่ใจในความถูกต้องโมเดลอื่น ๆ ก็ยังมีประโยชน์ ที่นี่คุณมีความหมายในการดำเนินงาน (ซึ่งผมว่าเป็นอะนาล็อกของแคลคูลัสแลมบ์ดาสำหรับการคำนวณ statefull) ให้ความหมายจริง (พัฒนาในปี 1969 โดยโฮร์ตั้งอยู่บนพื้นฐานของฟลอยด์ยืนยันอุปนัยจากปี 1967 ซึ่งได้รับความนิยมโดยนูในศิลปะของการเขียนโปรแกรมคอมพิวเตอร์ , เล่ม 1) และอื่น ๆ
เพื่อสรุปผมคิดว่าคุณอยู่หลังแบบจำลองการคำนวณ มีรูปแบบดังกล่าวมากมายพัฒนาด้วยเป้าหมายที่หลากหลายในใจและอีกหลายคนมีสถานะดังนั้นพวกเขาจึงสอดคล้องกับการเขียนโปรแกรมที่จำเป็น หากคุณต้องการทราบว่ามีบางสิ่งที่สามารถคำนวณได้หรือไม่ให้ดูที่เครื่องจักรทัวริง ถ้าคุณสนใจเกี่ยวกับประสิทธิภาพดูรุ่น RAM หากคุณสนใจเกี่ยวกับความถูกต้องให้ดูที่รุ่นที่ลงท้ายด้วย "ซีแมนทิกส์" เช่นความหมายในการปฏิบัติงาน
ในที่สุดฉันขอพูดว่ามีหนังสือเล่มใหญ่ทางออนไลน์เกี่ยวกับModels of Computationโดย John Savage มันเกี่ยวกับประสิทธิภาพเป็นส่วนใหญ่ สำหรับส่วนของความถูกต้องผมขอแนะนำให้คุณเริ่มต้นด้วยเอกสารคลาสสิกของฟลอยด์ (1967) , โฮร์ (1969) , Dijkstra (1975)และPlotkin (1981) พวกเขาทั้งหมดค่อนข้างเย็น