Du point de vue de la théorie des automates, les langages contextuels sont reconnus par les machines de Turing non déterministes à mémoire linéairement bornée, appelés communément automates linéairement bornés. Une telle machine dispose, pour une entrée de taille n, d`une bande de mém...