Un autómata lineal acotado (LBA) es un modelo computacional que opera en una cinta de entrada y utiliza una cantidad finita de memoria para procesar la entrada. Es una versión restringida de una máquina de Turing, donde el cabezal de la cinta solo puede moverse dentro de un rango limitado. En el campo de la ciberseguridad y la teoría de la complejidad computacional,