Cependant cet algorithme de transformation impose d'effectuer en cascade un ensemble de tests de caractérisation (test FNC, test doublement non circulaire, etc) qui introduisaient un temps de construction important, l'autre point noir des GA. J'ai montré que grâce à l'introduction de nouvelles techniques [Par85,Par87,JP90a] (stabilité sémantique et ordonnancement optimal), ces différents tests de caractérisation deviennent quasiment linéaires en la taille de la GA alors qu'ils sont polynomiaux en théorie. En outre, le test de caractérisation des GA bien formées, théoriquement exponentiel, devient en pratique parfaitement réaliste [Par88]. Ceci m'a permis d'envisager rapidement la transformation des GA bien formées en des GA l-ordonnées. De plus, nous nous sommes rendus compte que ces problèmes appartiennent à une classe beaucoup plus générale --- analyse de flot de grammaires --- et que nos optimisations pouvaient, du même coup, prendre une signification plus importante [JP90a].