线性有界自动机 线性有界自动机英文Linear bounded automaton简写 LBA是受限形式的非确定图灵机它拥有由包含来自有限字母表的符号的单元构成的磁带可以一次读取和写入磁带上一个单元的并可以移动的磁头和有限数目个状态它区别于更为普遍的图灵机在于尽管磁带最初被认为是无限的只有其长度是初始输入的线性函数的有限临近部分可以被读写磁头访问这个限制使 LBA 成为在某些方面比图灵机更接近实际存在的计算机的精确模型