Category:Linear bounded automata

These languages have computational complexity equivalent to a Linear bounded automaton.