Efficient incremental parsing for context-free languages

• Auteur / Autrice : Manuel Vilares Ferro
• Direction : Bernard Dion, Bernard Lang
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1992
• Etablissement(s) : Nice
• Jury : Président / Présidente : Jacques Morgenstern
• Jury : Examinateurs / Examinatrices : Jean-Marie Larchevèque, José Luis Freire Nistal
• Jury : Rapporteur / Rapporteuse : Jean-Claude Raoult, Paul Klint

Mots clés

Mots clés contrôlés

Programmation dynamique

Grammaire algébrique

Analyse automatique (linguistique)

Résumé

L'objectif final de cette thèse est le développement d'un système d'analyse syntaxique non-déterministe efficace de deux points de vue différents. D'une part, on abandonne les techniques classiques appliquées à ce genre de problème, essentiellement basées sur des interpréteurs guidés par la grammaire, et donc inefficaces, pour adopter un schéma d'interprétation basé sur un automate similaire à ceux qui constituent le cœur des générateurs d'analyseurs syntaxiques déterministes les plus populaires et les plus efficaces. D'autre part, on introduit l'incrémentalité comme mécanisme naturel d'optimisation du processus d'analyse, quand le texte en construction se trouve en phase de développement, et est donc sujet à des changements et des corrections. En résumé, le système ICE2 décrit dans cette thèse est un générateur d'analyseurs syntaxiques pour langages algébriques arbitraires, incluant de plus la possibilité du traitement incrémental. En ce sens, il est capable de récupérer les parties stables entre deux étapes d'analyse incrémentale successives, sans que jamais la considération de cette fonctionnalité additionnelle induise une perte de performance par rapport au traitement non incrémental

An incremental parsing algorithm based on dynamic programming techniques is described. The analyzer takes a general class of context-free grammar as drivers, and any finite string as input. Given an input string that has been modified, the algorithms cuts pout the parts of the old analysis that had been generated by the stable part of the input. The new system has been baptized ICE. Summing it up, the ICE system described in this thesis is a generator of parsers for context-free languages, including the possibility of incermental facilities. The final result, is the attainment of a tool that in an empirical comparison appears to be superior to the others context-free analyseurs and comparable to the standard generators of deterministics parsers, then the input string is not ambiguous