区别于更为普遍的图灵机在于尽管磁带最初被认为是无限的，只有其长度是初始输入的线性函数的有限临近部分可以被读写磁头访问。这个限制使 LBA 成为在某些方面比图灵机更接近实际存在的计算机的精确模型。
结构.线性有界自动机是一个非确定型图灵机，并遵循以下三个条件：也就是说，虽然线性有界自动机如其他图灵机一样拥有一条无限长的带，但是带上能够使用的部分是有限的：介于左右端点之间。
语言.线性有界自动机是上下文有关语言的接受器。对这种语言在文法上的唯一限制是没有