MoïraYacc

MOïRA et YACC

MOïRA est une méthode implémentée dans un outil. Son but est d'intégrer de façon optimale le traitement des données textuelles dans une application.
Cette page compare le fonctionnement de YACC à celui de MOïRA.

Contact : alain.buhsing@free.fr

Contenu de cette page :

Ce qu'est YACC
Comparaison YACC & MOïRA
Conclusion

Retour à MOïRA

Ce qu'est YACC

YACC (Yet Another Compiler of Compiler) est le constructeur syntaxique standard de UNIX. Il existe le produit GNU BISON qui reprend les mêmes spécifications, tout en étant plus efficace.

YACC est associé au constructeur lexical LEX. Le but d'un analyseur lexical est de constituer des mots qu'il va transmettre à l'analyseur syntaxique qui, lui va constituer des phrases.

Un constructeur lexical comme LEX permet de définir les différentes unités lexicales au moyen d'une pseudo-grammaire : mots clés du langage, séparateurs, expressions régulières lexicales (entiers, réels, identifieurs, chaines de caractères). C'est aussi dans LEX qu'on définit les commentaires du langage.

Retour au début

YACC et MOïRA

A titre d'exemple, on peut observer la traduction en YACC de la grammaire MOïRA des expressions arithmétiques. Il s'agit d'une traduction automatique produite par l'outil YACCA .Les instruction C qui décorent la grammaire YACC correspondent à des instructions de création d'un arbre abstrait.

L'exemple complet :

Grammaire MOïRA : Calcul.bnf
Grammaire YACC : le fichier généré complet Calcul.yacc ou la grammaire seule .

Premier exemple :

Un élément de tableau s'écrit au moyen d'un identifieur suivi d'une expression délimitée par des crochets. En MOïRA, on écrit :

Tableau ::= Identifieur "[" expression "]"

Traduite en YACC, cette règle devient :

%token SP_CROCG SP_CROCD

tableau   : identifieur SP_CROCG expression SP_CROCD
          {create_node (KN_Tableau, 2);}
          ;

Quelques remarques :

On retrouve à peu près la même façon d'écrire une règle. Le symbole de dérivation "::=" en BNF standard devient ":" et la règle est ponctuée par un point virgule.
Les séparateurs ("[" et "]" en Moïra) sont désignés par des identifieurs (SP_CROCG et SP_CROCD)précédemment déclarés sous la rubrique %token.
Les terminaux du langage (mots-clés et séparateurs) déclarés dans la rubrique %token sont définis, en principe à l'aide de LEX, qui est le petit frère de YACC chargé de l'analyse lexicale.
La portion de code C invoquée lors de la reconnaissance de la règle est notée ici entre accolades {} et en italique. Ici il s'agit d'un appel de fonction créant un arbre à deux fils.

Deuxième exemple :

Un appel de fonction s'écrit au moyen d'un identifieur suivi d'une liste d'arguments. Les arguments sont délimités par des parenthèses et sont séparés par des virgules :

AppelFonction ::= Identifieur "(" { expression }*, ")"

%token SP_PARG SP_PARD SP_VIRG

appel_fonction : identifieur SP_PARG { create_list (); } L1_expression
                             SP_PARD { create_node (KN_AppelFonction, 2);}
                                   ;
L1_expression : /* regle vide */
               | expression { append_list ();}
               | expression SP_VIRG { append_list ();} L1_expression
               ;

Quelques remarques :

Il n'y a pas de listes { liste_de_trucs }* , ni d'élément facultatifs ( { truc_facultatif } )comme en MOïRA.
On est obligé de décomposer une liste en plusieurs alternatives, ce qui confère une certaine lourdeur à ce type de description.
Outre la fonction de création de l'élément itére (create_node), on note les instructions de création (create_list) et de complétion (append_list) d'une liste sous forme d'un arbre à nombre variable de fils. Notons que l'action sémantique ne figure pas forcément en fin de règle.
On note que la règle vide existe. Elle est utilisée aussi pour traduire les élément facultatifs de MOïRA.
Comme en MOïRA, on retrouve les alternatives séparées par une barre.

Retour au début

Conclusion

L'amalgame "grammaire" + "bout de programme" dans un même texte n'est pas forcément un gage de programmation efficace ou de lisibilité, sauf si l'on est à la fois bon programmeur et bon linguiste, ce qui est rare. Mais après tout, il y a bien des poissons volants …

Néanmoins, on l'a vu, on peut implémenter la méthode sémantique de MOïRA en s'appuyant sur YACC. Et même si l'outil peut paraître mois puissant qu'avec le constructeur/analyseur d'origine, il est quand même appréciable de mettre en oeuvre cette méthodologie.

Retour au début