Stav dette: El análisis formal de los lenguajes naturales