Автомат линейно-ограниченный — частный вид машины Тьюринга, у которого в каждый момент времени лента имеет конечную длину. При необходимости сдвига управляющей головки за край ленты лента наращивается на конечный отрезок, нужный головке. Линейно-ограниченным автоматам соответствуют контекстно-зависимые грамматики, порождающие контекстно-зависимые языки.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]