Formalismo sintattico e text-languages