- SYNTAX
-
SYNTAX est un générateur d'analyseurs lexicaux et syntaxiques (déterministes ou non-déterministes) pour toutes les grammaires non-contextuelles ainsi que certaines classes de grammaires contextuelles. Il est développé à l'INRIA depuis plusieurs dizaines d'années, en majeure partie par Pierre Boullier, mais n'est librement disponible que depuis 2007. SYNTAX est distribué librement sous licence CeCILL.
Sommaire
Analyse non contextuelle
SYNTAX permet de traiter soit des grammaires déterministes de la classe LR et d'autres classes plus larges (LALR, RLR), soit des grammaires non-contextuelles générales. La version déterministe a fait l'objet d'utilisations industrielles (Ada, par exemple[1]) et continue à être utilisé dans le domaine de la compilation[2]. Les fonctionnalités non-déterministes incluent un générateur d'analyseurs Earley utilisé dans le domaine du traitement automatique des langues[3]. Les analyseurs produits incluent des mécanismes de récupération sur erreurs, et permettent l'exécution d'actions sémantiques et le calcul d'attributs sur un arbre abstrait ou une forêt partagée d'analyse.
Analyse contextuelle
La version actuelle de SYNTAX (version 6.0 beta) comprend également des générateurs d'analyseurs pour d'autres formalismes, utilisés dans le domaine du traitement automatique des langues mais également en bio-informatique. Il s'agit de formalismes sensibles au contexte (TAG, RCG) ou de formalismes reposant sur les grammaires hors-contextes mais complétés par des calculs d'attributs, en particulier pour le traitement automatique des langues (formalisme LFG).
Notes et références de l'article
- historique du langage ADA. On pourra également consulter la publication suivante: Pierre Boullier and Knut Ripken. Building an ADA compiler following meta-compilation methods. In Séminaires Langages et Traducteurs 1978-1981, pages 99-140. INRIA, Rocquencourt, 1981. Le premier traducteur-test pour le langage ADA a été développé à l'aide de SYNTAX par Pierre Boullier et d'autres, comme rappelé dans cet
- VASY de l'INRIA, en particulier pour le développement de CADP et de Traian. Par exemple par l'équipe
- cet article Par exemple dans l'analyseur SxLFG, dont une première version est décrite dans
Liens et documents externes
Catégories :- Compilateur
- Logiciel libre sous licence CeCILL
Wikimedia Foundation. 2010.