Computabilidad.Turing

¿Es cierta la afirmación?
Si M es una máquina de Turing que reconoce un lenguaje independiente del contexto, entonces M para ante cualquier cadena que se le proporcione como entrada.