Un autómata linealmente acotado, abreviadamente LBA (del inglés, "Linear Bounded Automaton"),o ALA es un autómata similar a una máquina de Turing determinista.