การ จำกัด ขอบเขตการเข้าชมแบบไม่ จำกัด ขอบเขตของออโตมาตะแบบ จำกัด เฉพาะภาษาปกติหรือไม่?
โดย nondeterministic linear bounded Automaton (nLBA) ฉันหมายถึงเครื่องทัวริง nondeterministic แบบเทปเดี่ยวที่อินพุตมา "padded" กับ endmarkers ที่ปลายทั้งสองซึ่งไม่สามารถเขียนทับได้และหัวไม่สามารถเคลื่อนออกจากบริเวณอินพุตได้ "นอก" endmarkers
LBA ถูก จำกัด การเยี่ยมชมหากมีตัวเลข เช่นว่าทั้งหมดทำงานบนอินพุตทั้งหมดยุติและเยี่ยมชมทุกเซลล์ของเทปมากที่สุด ครั้ง
เครื่องดังกล่าวรู้จักเฉพาะภาษาปกติหรือไม่? ผลลัพธ์ของ Hennieดูเหมือนจะพูดแบบนี้เฉพาะกับเครื่องจักรที่กำหนดขึ้นมาเท่านั้นหากฉันอ่านมันถูกต้อง ผลลัพธ์เก็บไว้สำหรับเครื่อง nondeterministic ด้วยหรือไม่ ถ้าใช่จะมีการอ้างอิง