ion::::结构.线性有界自动机是一个非确定型图灵机，并遵循以下三个条件：也就是说，虽然线性有界自动机如其他图灵机一样拥有一条无限长的带，但是带上能够使用的部分是有限的：介于左右端点之间。
语言.线性有界自动机是上下文有关语言的接受器。对这种语言在文法上的唯一限制是没有把字符串映射成更短字符串的产生式。所以在上下文有关语言中没有字符串的推导可以包含比字符串自身更长的句子形式。因为在线性有界自动机和这种文法之间的一一对应，对于要被自动机识别的字符串不需要比原始字符串所占用的