線性有界自動機

線性有界自動機 （ 英文 ： Linear bounded automaton ， 簡寫 ： LBA ） 是受限形式的非確定圖靈機 。 它擁有由包含來自有限字母表的符號的單元構成的磁帶 ， 可以一次讀取和寫入磁帶上一個單元的並可以移動的磁頭 ， 和有限數目個狀態 。 它區別於更爲普遍的圖靈機在於儘管磁帶最初被認爲是無限的 ， 只有其長度是初始輸入的線性函數的有限臨近部分可以被讀寫磁頭訪問 。 這個限制使 LBA 成爲在某些方面比圖靈機更接近實際存在的計算機的精確模型 。