Un automa lineare limitato (LBA) è un modello computazionale che opera su un nastro di input e utilizza una quantità finita di memoria per elaborare l'input. È una versione ristretta di una macchina di Turing, in cui la testina del nastro può muoversi solo entro un raggio limitato. Nel campo della sicurezza informatica e della teoria della complessità computazionale,