A linear bounded automata (LBA) is

A linear bounded automata (LBA) is a TM whose head never moves off the portion of
the tape occupied by the initial input string.
That is, an LBA is a TM that uses only the tape space occupied by the input.
An equivalent definition of an LBA is that it uses only k times the amount of space
occupied by the input string, where k is a constant fixed for the particular machine. To
simulate k tape cells with a single tape cell, increase the size of the tape alphabet Γ. E.g.
the new tape alphabet has symbols that are k-tuples of the symbols from the old alphabet.
A lot of interesting algorithms are LBAs, because they use only space proportional to
the length of the input. (Naturally, you need to pick the variants of the algorithms that use
space efficiently.) Examples include ADFA, ACFG, EDFA, ECFG, s − t graph reachability, and
many others.
When an LBA runs, a transition off the righthand edge of the input area cause the input
to be rejected. Or maybe the read head simply sticks on the rightmost input position. You
can define them either way and it will not matter for what we are doing here.

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

โกเบกี่เส้น (LBA) เป็น TM ที่หัวไม่เคลื่อนออกจากส่วนของเทปที่ด้วยสายอักขระที่ป้อนข้อมูลเริ่มต้นคือ เป็น LBA เป็น TM ที่ใช้เฉพาะในเทปพื้นที่อินพุตข้อกำหนดเทียบเท่าของการ LBA คือ ว่า ใช้เฉพาะ k เวลาพื้นที่รองรับการสตริ โดยที่ k คือ ค่าคงที่ถาวรสำหรับเครื่องโดยเฉพาะ ถึงจำลองเซลล์เซลล์เดียวเทปเทป k เพิ่มขนาดของเทปอักษรΓ E.g.อักษรเทปใหม่มีสัญลักษณ์ที่ k-tuples สัญลักษณ์จากอักษรเก่าของอัลกอริทึมที่น่าสนใจคือ LBAs เนื่องจากพวกเขาใช้เฉพาะพื้นที่เป็นสัดส่วนกับความยาวของข้อมูลป้อนเข้า (ธรรมชาติ คุณต้องเลือกตัวแปรของอัลกอริทึมที่ใช้พื้นที่อย่างมีประสิทธิภาพ) ตัวอย่างเช่น ADFA, ACFG, EDFA, ECFG, s − t กราฟ reachability และอื่น ๆ อีกมากมายเมื่อมี LBA เปลี่ยนปิดขอบ righthand ของพื้นที่อินพุตทำให้การป้อนข้อมูลถูกปฏิเสธ หรือบางทีหัวอ่าน sticks ในตำแหน่งขวาสุดเข้าเพียง คุณสามารถกำหนดให้ด้วยวิธีใด และมันจะไม่ได้เรื่องสำหรับสิ่งที่เรากำลังทำนี่

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

เส้นขอบเขตออโต (LBA) เป็น TM
ที่มีหัวจะไม่ย้ายออกจากส่วนหนึ่งของเทปครอบครองโดยสายป้อนเริ่มต้น.
นั่นคือการ LBA เป็น TM ที่ใช้เฉพาะพื้นที่เทปที่ถูกครอบครองโดยการป้อนข้อมูล.
นิยามเทียบเท่า LBA ก็คือว่ามันใช้เพียงครั้ง k
จำนวนของพื้นที่ที่ถูกครอบครองโดยสายป้อนที่k เป็นค่าคงที่คงที่สำหรับเครื่องโดยเฉพาะอย่างยิ่ง เพื่อจำลองเซลล์เทป k กับเซลล์เทปเดียวเพิ่มขนาดของตัวอักษรΓเทปที่
เช่นตัวอักษรเทปใหม่ที่มีสัญลักษณ์ที่มี k-tuples ของสัญลักษณ์จากอักษรเก่า. จำนวนมากของขั้นตอนวิธีการที่น่าสนใจ LBA ของเพราะพวกเขาใช้พื้นที่เพียงสัดส่วนกับความยาวของการป้อนข้อมูล (อย่างที่คุณต้องเลือกสายพันธุ์ของอัลกอริทึมที่ใช้พื้นที่ได้อย่างมีประสิทธิภาพ.) ตัวอย่างเช่น ADFA, ACFG, EDFA, ECFG, s - เสื้อกราฟ reachability และ. อื่น ๆ อีกมากมายเมื่อLBA วิ่งการเปลี่ยนแปลงที่ปิดขอบขวาของ พื้นที่อินพุตทำให้เกิดการป้อนข้อมูลที่ถูกปฏิเสธ หรือบางทีหัวอ่านก็เกาะติดอยู่กับการป้อนข้อมูลตำแหน่งขวาสุด คุณสามารถกำหนดให้ทางใดทางหนึ่งและมันจะไม่สำคัญสำหรับสิ่งที่เรากำลังทำอะไรที่นี่

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

เส้นขอบเขตจำกัด ( LBA ) เป็นหัวของใคร และไม่เคยย้ายไปส่วนของ
เทปที่ถูกครอบครองโดยสตริงการป้อนข้อมูลเริ่มต้น .
ที่เป็น LBA เป็น TM ที่ใช้แค่เทปพื้นที่ครอบครองโดยการป้อนข้อมูล
เท่ากับคำนิยามของ LBA ก็คือมันใช้ K เท่าเท่านั้น ของพื้นที่ที่ถูกครอบครองโดยการป้อนข้อมูลสตริง
, k เป็นค่าคงที่ที่กำหนดสำหรับเครื่องจักรโดยเฉพาะ

จำลอง K เทปเซลล์กับเซลล์เทปเดียว , เพิ่มขนาดของตัวอักษรΓเทป . เช่น
ตัวอักษรเทปใหม่ มีสัญลักษณ์ที่ k-tuples ของสัญลักษณ์จากตัวอักษรเก่า
มากของขั้นตอนวิธีที่น่าสนใจ lbas เพราะพวกเขาใช้เฉพาะพื้นที่ที่เป็นสัดส่วนกับ
ความยาวของข้อมูล ( อย่างที่คุณต้องเลือกสายพันธุ์ของอัลกอริทึมที่ใช้
พื้นที่อย่างมีประสิทธิภาพ) ตัวอย่างเช่น adfa acfg EDFA , , , ecfg s − T
reachability กราฟ , และอีกมากมาย .
เมื่อ LBA วิ่งเปลี่ยนที่ปิด righthand ขอบของพื้นที่ใส่เพราะใส่
ที่จะถูกปฏิเสธ หรือบางทีหัวอ่าน เพียงแค่ติดตำแหน่ง ใส่ตำแหน่ง คุณ
สามารถกำหนดพวกเขาด้วยวิธีใด และมันจะไม่สำคัญสำหรับพวกเรามาทำอะไรที่นี่