Los autómatas linealmente acotados son similares a una máquina de Turing, sabemos que esta última tiene una cinta infinita.