Automat liniowo ograniczony
Z Wikipedii
Automat liniowo ograniczony (ang. linear bounded automaton) to słabsza wersja maszyny Turinga, która podczas obliczenia na słowie wejściowym długości n może wykorzystać jedynie O(n) komórek taśmy. Innymi słowy, dostępna pamięć jest funkcją liniową od długości wejścia.
Klasa języków rozpoznawanych przez automaty liniowo ograniczone to dokładnie języki kontekstowe.