แนวคิดของ Turing Machine มาจากออโตมาตะหรือไม่?

เมื่อไม่นานมานี้ฉันได้มีการพูดคุยเกี่ยวกับเครื่องจักรทัวริงเมื่อถามว่า "เครื่องจักรทัวริงมาจากออโตมาตะหรือเป็นวิธีอื่น ๆ "

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

โปรด! ปลดปล่อยความคิดนี้จากการสัมผัสอันไม่สิ้นสุดของความยุ่งเหยิง

ค่า!

วิธีที่ดีที่สุดที่จะเห็นความเป็นอิสระนี้คือการอ่านเอกสารต้นฉบับ

• การแนะนำกระดาษของทัวริงในปี 1936เครื่องทัวริงไม่ได้หมายถึงหุ่นยนต์ จำกัด (นามธรรม) ชนิดใด ๆ ที่เรียบง่ายกว่า

• McCulloch and Pitts '1943 paperนำเสนอ "เส้นประสาท - อวน" ผู้นำของเครื่อง จำกัด วันที่ทันสมัยเสนอให้พวกเขาเป็นแบบจำลองที่เรียบง่ายของกิจกรรมของระบบประสาทไม่ใช่การคำนวณต่อ

สำหรับมุมมองที่น่าสนใจในช่วงแรก ๆ ให้ดูการสำรวจ 1953 โดย Claude Shannonซึ่งมีหัวข้อทั้งหมดเกี่ยวกับเครื่องจักรทัวริง

ออโต จำกัด อันทันสมัยเริ่มต้นด้วยกระดาษ Kleene ของปี 1956ซึ่งตีพิมพ์ครั้งแรกในรายงานทางเทคนิคของ RAND ในปี 1951 ซึ่งกำหนดนิพจน์ทั่วไป Kleene ตระหนักถึงผลลัพธ์ของทัวริงอย่างแน่นอนโดยมีการเผยแพร่ผลลัพธ์ที่คล้ายคลึงกัน (ในภาษาของฟังก์ชันการเรียกซ้ำแบบดั้งเดิม) ในเวลาเดียวกัน อย่างไรก็ตามการอ้างอิงเพียงอย่างเดียวของ Kleene เกี่ยวกับทัวริงคือคำอธิบายว่าเครื่องทัวริงไม่ได้ จำกัด โดยอัตโนมัติเนื่องจากเทปที่ไม่มีขอบเขต เป็นไปได้ว่าการคิดของ Kleene นั้นได้รับอิทธิพลมาจากสิ่งที่เป็นนามธรรมของทัวริง แต่คำจำกัดความของ Kleene นั้นปรากฏขึ้น (สำหรับฉัน) ว่าเป็นอิสระ

ในการสำรวจปริมาณ 1956 แก้ไขโดย Shannon และ McCarthyซึ่งกระดาษของ Kleene ใน experssions ปกติและกระดาษของ Moore ใน transducers จำกัด - stateถูกตีพิมพ์ในที่สุดสุดท้าย automata อัตโนมัติและเครื่องจักรทัวริงถูกกล่าวถึงเคียงข้างกัน แต่เกือบทั้งหมดอย่างอิสระ มัวร์ยังอ้างถึงทัวริง แต่ในเชิงอรรถที่ระบุว่าเครื่องจักรทัวริงไม่ได้ จำกัด โดยอัตโนมัติ

( รายงานล่าสุดของ Klineเล่าถึงประวัติพายุที่รุนแรงของหนังสือเล่มนี้และการประชุมดาร์ทเมาท์ที่เกี่ยวข้องบางครั้งเรียกว่า "บ้านเกิดของ AI")

(แม้กระทั่งรุ่นก่อนหน้าของโครงข่ายประสาทที่พบในงานทัวริงของ "เครื่องจักรประเภท B" ตามที่พิมพ์ซ้ำในหนังสือ "ความสำคัญของทัวริง" จากปี 1937 ฉันคิดว่าดูเหมือนว่าหลายคนกำลังเล่นกับความคิดที่ ถึงเวลาแม้กระทั่งทุกวันนี้ CS หลายคนที่อยู่ภายใต้การศึกษาคิดว่าพวกเขามี "คิดค้น" ในบางช่วงของการศึกษาก่อนที่จะค้นพบประวัติศาสตร์ของมัน)

คุณพูดถึง PDA โดยเฉพาะ หมายเหตุเครื่องทัวริงเทียบเท่ากับ PDA ที่มีสองกอง เหตุผลดั้งเดิมของพีดีเอดูเหมือนว่าจะมีความสัมพันธ์อย่างใกล้ชิดกับการพัฒนา "ทฤษฎีภาษา" ala chomsky

ดูเช่นการวิเคราะห์เชิงวิเคราะห์และร้านค้าแบบขยายลง "การดำเนินการของ Symposia ในคณิตศาสตร์ประยุกต์ (ฉบับที่ 12) Providence, RI: American Mathematical Society, 1961

นี่คือหนึ่งในข้อมูลอ้างอิงที่เก่าที่สุดที่ฉันเคยเห็นโดย Oettinger "การวิเคราะห์ทางไวยากรณ์อัตโนมัติและที่เก็บข้อมูลขยายลง" p104 ไม่รู้ว่ามีผู้อ้างอิง PDA รุ่นก่อนหน้าหรือไม่

มันใช้เวลาหลายปีในการศึกษาออโตมาตาที่เชื่อมโยงกันทั้งหมดเพื่อเริ่มต้นสร้างทฤษฎีที่รวมกัน (ยังคงถูกสร้างขึ้น) ทัวริงเสร็จสมบูรณ์แนวความคิดในช่วงปลายยุค 30 หรือประมาณนั้นเมื่อเห็นว่าแลมบ์ดาแคลคูลัส (พัฒนาโดยอิสระจากโบสถ์) เทียบเท่ากับทัวริงเครื่องจักร & เทียบเท่ากับเครื่องโพสต์แสดงให้เห็นในเวลาเดียวกัน เป็นอิสระ & ไม่ได้รับรู้ทันทีว่าทัวริงเทียบเท่ากับการก่อสร้างเดิม)

รุ่นใหม่ยังคงถูกคิดค้นเช่น Cellular Automata มีประวัติที่ผ่านมามากขึ้นและแสดงให้เห็นว่ามีความรู้สึกที่หลากหลายในทัวริงที่สมบูรณ์

ดูเหมือนว่ายุติธรรมที่จะกล่าวว่าส่วนใหญ่ทำงานในสาขาวิทยาการคอมพิวเตอร์คุ้นเคยกับ Turings seminal 1,936 กระดาษและว่ามันมีอิทธิพลอย่างมากต่อสูตรทั้งหมดของการก่อสร้างออโตมาตา (โดยเฉพาะแนวคิดของตารางการเปลี่ยนสถานะซึ่งดูเหมือนว่าได้รับการแนะนำโดยทัวริง)

เพียงเพื่อนรกของมัน:

เมื่อมองย้อนกลับไปคุณจะพูดว่าอะไรคือความสำคัญของบทความปัญหาของ Entscheidungs ​​ของ Turing ในปี 1936?

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

ไม่มีความแตกต่างในกระดาษที่มีความสำคัญในทางปฏิบัติใด ๆ เขาโชคดีที่ได้รับการตีพิมพ์ แต่ฉันดีใจที่เขาทำ ฉันหมายถึง [Alonzo] Churchl ได้รับผลลัพธ์แบบเดียวกันโดยวิธีอื่น

ฉันชอบทัวริง; ฉันหมายความว่าเราเข้ากันได้ดีมาก เขาชอบที่จะวางกฎหมายและนั่นก็ไม่ได้ทำให้เขารักฉัน แต่เขาและฉันก็ทำได้ดี บางคนบอกว่าฉันไม่ได้ไปต่อกับทัวริง แต่มันก็ไม่จริง แต่ฉันก็ระวังไม่ให้เข้าไปยุ่ง

Maurice Wilkes http://cacm.acm.org/magazines/2009/9/38898-an-interview-with-maurice-wilkes/fulltext