Los autómatas linealmente acotados se basan en la "gramática de Tipo 1" (sensibles al contexto).