Abstract FR:

L'objectif final de cette these est le developpement d'un systeme d'analyse syntaxique non-deterministe efficace de deux points de vue differents. D'une part, on abandonne les techniques classiques appliquees a ce genre de probleme, essentiellement basees sur des interpreteurs guides par la grammaire, et donc inefficaces, pour adopter un schema d'interpretation base sur un automate similaire a ceux qui constituent le cur des generateurs d'analyseurs syntaxiques deterministes les plus populaires et les plus efficaces. D'autre part, on introduit l'incrementalite comme mecanisme naturel d'optimisation du processus d'analyse, quand le texte en construction se trouve en phase de developpement, et est donc sujet a des changements et des corrections. En resume, le systeme ice#2 decrit dans cette these est un generateur d'analyseurs syntaxiques pour langages algebriques arbitraires, incluant de plus la possibilite du traitement incremental. En ce sens, il est capable de recuperer les parties stables entre deux etapes d'analyse incrementale successives, sans que jamais la consideration de cette fonctionnalite additionnelle induise une perte de performance par rapport au traitement non incremental