ทำไมเครื่องจักรทัวริงที่มีขอบเขตเชิงเส้นจึงมีประสิทธิภาพมากกว่า Finite State Automata


11

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

เห็นได้ชัดว่าฉันขาดอะไรบางอย่างที่นี่ เกิดอะไรขึ้น?

คำตอบ:


21

เครื่องทัวริงที่มีขอบเขต จำกัด ถูก จำกัด อยู่ที่เทปที่ความยาวเป็นฟังก์ชันเชิงเส้นของความยาวของอินพุต

หากขีดจำกัดความยาวเป็นค่าคงที่เครื่องจะไม่มีประสิทธิภาพมากกว่า DFA อย่างไรก็ตาม DFA ไม่สามารถขยายสถานะได้มากขึ้นเพื่อรับมือกับอินพุตที่ยาวขึ้นซึ่งในกรณีนี้ LBTM สามารถทำได้


6
o(loglogn)

@ skankhunt42 ทำไมเป็นแบบนั้น?
Ben I.

kloglogn2kloglogn=2log(logkn)=logkno(n)O(1)cNc0ic{0,1}i

@ Charbeanbean มันต้องมีการพิสูจน์โดยใช้ลำดับข้าม คุณสามารถมองมันได้ที่นี่cs.stackexchange.com/questions/7372/...
skankhunt42

2kloglognn2kloglogn

4

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

ResourceFinite Automata:ALBTM:MInput Tape SizeO(N)O(N)Tape OperationsRead OnlyRead, WriteTape MovementLeft to right, One pass onlyBoth directions, No pass limit# of Locations (States)MMInput AlphabetΣΣAcceptance ConditionReach finite location: fReach finite location: f

MAA

ResourceFinite Automata:ALBTM:MInput Tape SizeO(N)O(N)Tape OperationsRead OnlyRead, WriteTape MovementLeft to right, One pass onlyBoth directions, No pass limit# of Locations (States)M×2NMInput AlphabetΣΣAcceptance ConditionReach finite location: fReach finite location: f

AMANANMM

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