线性有界自动机是具有一定有界有限长度的磁带的多轨不确定性图灵机。

长度=函数(初始输入字符串的长度，常数c)

这里，

内存信息≤c×输入信息

计算限于恒定的边界区域。输入字母包含两个特殊符号，分别用作左端标记和右端标记，这意味着过渡既不会移至磁带的左端标记的左侧，也不会移至磁带右端标记的右侧。

线性有界自动机可以定义为8元组(Q，X，∑，q ₀ ，ML，MR，δ，F)其中-

• Q是一组有限的状态

• X是磁带字母

• ∑是输入字母

• q ₀是初始状态

• M _L是左端标记

• M _R是右端标记，其中M _R ≠M _L

• δ是一个转换函数，它将每对(状态，磁带符号)映射到(状态，磁带符号，常数“ c”)，其中c可以是0或+1或-1

• F是最终状态集

确定性线性有界自动机始终是上下文相关的，带有空语言的线性有界自动机是不确定的。 。