Source: wikibot/linear-bounded-automaton
= Linear bounded automaton
{wiki=Linear_bounded_automaton}
A Linear Bounded Automaton (LBA) is a type of computational model that is a restricted form of a Turing machine. Specifically, an LBA operates on an input tape of finite length and is constrained to use only a bounded amount of tape space relative to the length of the input. Here are some key characteristics of LBAs: 1. **Tape Length**: An LBA has a tape whose length is linearly bounded by the length of the input.