The last machine model of computati

The last machine model of computation which we shall examine is the linear
bounded automaton or lba. These were originally developed as models for
actual computers rather than models for the computational process. They have
become important in the theory of computation even though they have not
emerged in applications to the extent which pushdown automata enjoy.
Here is the motivation for the design of this class of machines. Computers are
finite devices. They do not have unending amounts of storage like Turing
machines. Thus any actual computation done on a computer is not as extensive
as that which could be completed on a Turing machine. So, to mimic (or maybe
model) computers, we must restrict the storage capacity of Turing machines.
This should not be as severely as we did for finite automata though. Here is the
definition.

ผลลัพธ์ (ไทย) 2:

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

ผลลัพธ์ (ไทย) 3:

เครื่องรุ่นสุดท้ายของการคำนวณซึ่งเราจะตรวจสอบเป็น Linear
ล้อมรอบหุ่นยนต์หรือ LBA . เหล่านี้ถูกพัฒนาเป็นรุ่นสำหรับ
คอมพิวเตอร์ที่เกิดขึ้นจริงมากกว่าแบบจำลองสำหรับกระบวนการในการคำนวณ พวกเขามี
กลายเป็นสิ่งสำคัญในการคำนวณถึงแม้ว่าพวกเขาไม่ได้
ชุมนุมในงานในขอบเขตที่พุชดาวน์ออโตมาตา
สนุกนี่คือแรงบันดาลใจสำหรับการออกแบบชั้นของเครื่องนี้ คอมพิวเตอร์
อุปกรณ์จำกัด พวกเขาไม่ได้มีปริมาณที่ไม่มีที่สิ้นสุดของกระเป๋าแบบทัวริ่ง
เครื่องจักร ดังนั้นการคำนวณใด ๆ ที่เกิดขึ้นจริงในคอมพิวเตอร์ไม่ได้เป็นอย่างละเอียด
เป็นซึ่งอาจจะเสร็จสมบูรณ์บนเครื่องจักรทัวริง . ดังนั้น การเลียนแบบ ( หรือบางที
แบบจำลองคอมพิวเตอร์ที่เราต้องจำกัดความจุเครื่องจักรทัวริง .
นี้ไม่ควร เหมือนอย่างเช่นเราทำสำหรับออโตมาตาจำกัดแม้ว่า นี่คือ
นิยาม