En informatique théorique, et en particulier en théorie des automates, un automate linéairement borné (en anglais linear bounded automaton, abrégé en LBA) est une machine de Turing non déterministe qui n`utilise qu`une portion contiguë du ruban de taille linéaire en la taille de l`entrée.