Bison

Chapitre 8 :
L’outil d’analyse syntaxique Bison
Prof. Abdelmajid Dargham

Faculté des Sciences, Oujda
Filière SMI - S4
Module Théorie des langages & Compilation
Université Mohamed Premier
Septembre, 2012
Sommaire du chapitre 8
Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Introduction

Introduction
Format d’un Fichier Bison

Introduction
Règles

Introduction
Règles
Déclarations et définitions

Introduction
Règles
Association d’une valeur aux symboles

Introduction
Règles
Interaction avec l’analyseur lexical

Introduction
Règles
Actions

Introduction
Règles
Actions
Exercices corrigés

Introdutcion

Introdutcion
Une fois l’analyse lexicale effectuée, l’analyse

syntaxique (parsing) permet de vérifier qu’un texte est
conforme à une grammaire G donnée.

Introdutcion

L’analyse syntaxique construit l’arbre syntaxique
correspondant au texte analysé.

Introdutcion

Bison est un outil qui génère d’une manière
automatique, un analyseur syntaxique basée sur une
grammaire donnée.

Introdutcion

Bison est un outil qui génère d’une manière
automatique, un analyseur syntaxique basée sur une
grammaire donnée.
Un programme Bison est enregistré avec l’extension ”.y”.

Introdutcion
Étapes pour la conception d’un analyseur syntaxique

avec Bison

Introdutcion

avec Bison
Définir la grammaire de l’analyseur, puis l’écrire en
respectant le format de Bison.

Introdutcion

avec Bison
Pour chaque règle de production de la grammaire, écrire
l’action (les instructions C) qui va être exécutée
lorsqu’une instance de cette règle est reconnue par
l’analyseur.

Introdutcion

avec Bison
Pour chaque règle de production de la grammaire, écrire
l’action (les instructions C) qui va être exécutée
lorsqu’une instance de cette règle est reconnue par
l’analyseur.
Écrire un analyseur lexical qui va traiter le fichier source
et produira les lexèmes à l’analyseur syntaxique. celui-ci
peut être écrit à la main ou bien avec Flex.

Introdutcion
Chaı̂ne de compilation

Introdutcion
On compile le fichier contenant le code Bison par :

Introdutcion
bison -d parser.y

Introdutcion
bison -d parser.y
On compile le fichier contenant le code Flex par :

Introdutcion
bison -d parser.y
flex scanner.flex

Introdutcion
bison -d parser.y
flex scanner.flex
On compile par gcc :

Introdutcion
bison -d parser.y
flex scanner.flex
gcc -o parser parser.tab.c lex.yy.c -ly -lfl
Pour lancer l’analyseur ainsi crée :

Introdutcion
bison -d parser.y
flex scanner.flex
gcc -o parser parser.tab.c lex.yy.c -ly -lfl
Pour lancer l’analyseur ainsi crée :
parser < source.txt > cible.txt

Format d’un fichier Bison

Déclarations

Déclarations
%%

Déclarations
%%
Règles

Déclarations
%%
Règles
%%

Déclarations
%%
Règles
%%
Code supplémentaire

Règles

Règles
Une règle est une règle de production de la grammaire,

enrichie d’actions.

Règles

Une règle s’écrit :

Règles

A : Corps;

Règles

A : Corps;
où A est le nom (un identificateur) d’un non-terminal et
Corps est une suite (éventuellement vide) de noms (de
terminaux et non-terminaux) et de littéraux (caractères
entre guillemets).

Règles

A : Corps;
entre guillemets).
Lorqu’il existe plusieurs règles de production pour un
même non-terminal, l’opérateur ”|” peut être utilisé pour
séparer le corps de chaque règle.

Règles

A : Corps;
entre guillemets).
On peut par exemple écrire :

Règles

A : Corps;
entre guillemets).
On peut par exemple écrire :
exp : number | exp 0 +0 exp

La partie déclarations et définitions contient les

déclarations C (entre les symboles %{ et %}), ainsi que
la déclaration des noms de tokens (lexèmes).


La déclaration d’un token s’effectue via la directive
%token :


%token :
%token name1 name2 ...;


%token :
%token name1 name2 ...;
Les noms qui n’ont pas été déclarés en tant que ”nom de
token” sont considérés comme des non-terminaux.

Cas des opérateurs


Lorque les tokens correspondent à des opérateurs pour
lesuqles on souhaite spécifier une propriété d’associativité,
ou utilise left et right à la place de token.


Par exemple, on écrira :


%left 0 +0 0 −0


%left 0 +0 0 −0
%right 0 b 0


%left 0 +0 0 −0
%right 0 b 0
Si l’on souhaite de plus spécifier la précédence entre
opérateurs, on écrit la déclaration des tokens dans l’ordre
inverse des priorités.


%left 0 +0 0 −0
%right 0 b 0
Si l’on souhaite de plus spécifier la précédence entre
opérateurs, on écrit la déclaration des tokens dans l’ordre
inverse des priorités.
Dans l’exemple ci-dessus, l’opérateur 0 b 0 a une priorité
plus grande que les opérateurs 0 +0 et 0 −0 (qui sont de
même priorité).


Il est également possible de modifier la précédence d’un
opérateur dans une règle.


Par exemple, si l’on souhaite décrire le ”moins unaire”
aussi désigné par les symbole 0 −0 comme un opérateur
ayant même précédence qu’un token de nom NEG , on
écrira :


écrira :
mexp : 0 −0 %prec NEG ...


écrira :
mexp : 0 −0 %prec NEG ...
afin de ne pas associer au ”moins unaire” la même
précédence que le ”moins binaire”.


Chaque non-terminal doit apparaı̂tre au moins une fois

comme partie gauche d’une règles.


L’axiome de la grammaire spécifiée peut être désigné
explicitement dans la partie des déclaration en utilisant la
directive %start. Par exemple :


directive %start. Par exemple : %start axiome


A défaut, l’axiome de la grammaire sera le premier
non-terminal apparaissant dans la partie gauche de la
première règle.


A défaut, l’axiome de la grammaire sera le premier
non-terminal apparaissant dans la partie gauche de la
première règle.
Si la grammaire est ambiguë ou requière plus d’un
symbole de prévision, Bison sera confornter à des conflits
”shift/reduce” ou ”reduce/shift”.


On peut associer à chaque symbole (terminal ou

non-terminal) une valeur ”sémantique” (indépendante
de la correction syntaxique).


L’analyse s’effectue après l’analyse lexicale qui permet de
reconnaı̂tre les tokens via des valeurs numériques.


Si 0 est la valeur numérique retourneé, le token
correspond à la fin du fichier.


Bison fait appel à la fonction yylex() de Flex à chaque
fois qu’un token est nécessaire à la suite de l’analyse
syntaxique.


Bison fait appel à la fonction yylex() de Flex à chaque
fois qu’un token est nécessaire à la suite de l’analyse
syntaxique.
L’association d’une valeur à un token se fait via la
variable globale de Bison nommée yylval et qui est de
type YYSTYPE.

Par défaut, YYSTYPE correspond au type int.


Il est possible de redéfinir le type YYSTYPE via la
macro ”#define”. La redéfinition s’effectue dans la
section des définitions.


Il se peut que les valeurs des tokens aient des types
différents.


différents.
Pour traiter ce cas, on peut définir une union des types
via la clause %union. Par exemple, si l’on veut associer
aux tokens des valeurs de type ”entier” et ”chaı̂ne de
caractères”, on écrira :


différents.
%union {


différents.
%union {
int ival;


différents.
%union {
int ival;
char ∗ str val }

On peut aussi, de manière équivalente, redéfinir dans la

partie des déclarations, le type YYSTYPE comme suit :


%union {


%union {
int ival;


%union {
int ival;
char ∗ str val;


%union {
int ival;
char ∗ str val;
} YYSTYPE;


%union {
int ival;
char ∗ str val;
} YYSTYPE;
Une fois le type YYSYTPE spécifié, il faut indiquer quel
membre de l’union utiliser pour les divers tokens et
non-terminaux.


%union {
int ival;
char ∗ str val;
} YYSTYPE;
non-terminaux. Pour cale, on utilise la clause
< nom du type > dans la partie ”déclaration”.


%union {
int ival;
char ∗ str val;
} YYSTYPE;


%union {
int ival;
char ∗ str val;
} YYSTYPE;
%token < ival > NUMBER


%union {
int ival;
char ∗ str val;
} YYSTYPE;
%token < ival > NUMBER
%token < str val > IDENT

Pour les non-terminaux, on écrira :

Pour les non-terminaux, on écrira :

%type < ival > exp


Puisque l’analyse syntaxique utilise le résultat de l’analyse

lexicale, il faut que le fichier Flex utilisé dispose de
certaines informations, notamment les noms de tokens
ainsi que les types des valeurs qui seront associées aux
tokens.


tokens.
Dans la partie ”déclarations” du fichier Flex, on écrira la
ligne :


tokens.
ligne :
#include ”parser .tab.h”


tokens.
ligne :
où ”parser ” désigne le nom du fichier Bison.


tokens.
ligne :
où ”parser ” désigne le nom du fichier Bison.
Enfin, les règles d’analsye lexicale doivent être écrites de
manière à ce Bison dispose de l’information relative au
token reconnu et à sa valeur.

Ainsi, on écrira par exemple :


[0 − 9]+ {yylval.ival = atoi(yytext);
return NUMBER; }


[0 − 9]+ {yylval.ival = atoi(yytext);
return NUMBER; }
[a − zA − Z ]+ {yylval.str val = strdup(yytext);
return IDENT ; }

Actions

Actions
A chaque règle peut être associée une action qui

correspond à un bloc d’instructions C et qui sera exécuté
lorsque l’analyseur syntaxique aura reconnu la structure
spécifiée par la règle.

Actions

Ces actions peuvent retourner une valeur et utiliser les
valeurs retournées par les actions de l’analyseur lexical.

Actions

Pour retourner une valeur, on utilise le symbole ”$$”.

Actions

Par exemple, si on veut retourner la valeur 1, on écrira :

Actions

{$$ = 1; }

Actions

{$$ = 1; }
Pour utiliser les valeur retournées par les actions de
l’analyseur lexical, une action peut invoquer les
pseudo-variables $1, $2, ...etc.
Actions

Actions
Ces variables correspondent aux valeurs retournées par les

actions correpondant aux éléments de la partie droite de
la règle.

Actions

la règle.
Par exemple, étant donné la règle :

Actions

la règle.
A : B C D {f ($1, $2, $3); }

Actions

la règle.
A : B C D {f ($1, $2, $3); }
les valeurs $1, $2 et $3 correspondent aux valeurs
retournées par les actions spécifiées dans les règles
utilisées reconnaissant A, B et C .

Actions

la règle.
A : B C D {f ($1, $2, $3); }
Voici un exemple plus concret :

Actions

la règle.
A : B C D {f ($1, $2, $3); }
Voici un exemple plus concret :
exp : 0 (0 exp 0 )0 { $$ = $2; }

Actions

Actions
Par défaut, si aucune valeur n’est indiquée comme valeur

de retour de l’action, c’est $1 qui est retournée.

Actions

Bison permet d’exécuter des actions avant la fin de
l’application d’une règle.

Actions

Il est donc possible d’indiquer une action entre deux
éléments de la partie droite d’une règle.

Actions

Par exemple, la règle :

Actions

A : B { $$ = 1; }

Actions

A : B { $$ = 1; }
C { x = $2; y = $3; };

Actions

A : B { $$ = 1; }
C { x = $2; y = $3; };
aura pour effet d’affecter la valeur 1 à la variable x et la
valeur retournée par la règle utilisée pour reconnaı̂tre C à
la variable y .
Actions

Actions
On peut spécifier le ”type d’une valeur” dans une règle.

Actions

Ce qui peut être utile par exemple lorsqu’un token
”mono-lettre” n’a pas été déclaré.

Actions

Par exemple, on peut écrire :

Actions

Par exemple, on peut écrire :
A : B C { f ($ < ival > 1); $ < str val > $ =
”merci”; };

Actions

Actions
Il est possible d’appeler implicitement la fonction qui

effectue l’analyse syntaxique en invoquant son nom
”yyparse”().

Actions

”yyparse”().
Lors de l’exécution de la fonction ”yyparse”(), si une
erreur de syntaxe est détectée, la fonction ”yyerror”()
est appelée afin qu’un message d’erreur s’affiche.

Actions

”yyparse”().
Par défaut, en cas d’une erreur de syntaxe, la fonction
”yyparse”() déclenche l’arrêt immédiat de l’analyse
syantique après l’exécution de la fonction ”yyperror”().

Actions

”yyparse”().
Celle-ci, affiche par défaut le message : ”syntax error”.

Actions

”yyparse”().
Celle-ci, affiche par défaut le message : ”syntax error”.
En cas d’erreur de syntaxe, la fonction ”yyparse”()
retourne une valeur non nulle.
Énoncé 1.1

Énoncé 1.1
Écrire un interpréteur d’expressions arithmétiques sur les
”entiers” et n’utilisant que les opérateurs + ( additions)
et ∗ (multiplications).

Énoncé 1.1
Écrire un interpréteur d’expressions arithmétiques sur les
”entiers” et n’utilisant que les opérateurs + ( additions)
et ∗ (multiplications).
Modifier cet interpréteur pour qu’il puisse traiter les
”doubles”.

Code Flex

Code Bison

Code Flex

Code Bison

Bison

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Bison

Transféré par

Droits d'auteur :

Formats disponibles

Chapitre 8 :

L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham

Université Mohamed Premier

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une fois l’analyse lexicale effectuée, l’analyse

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une fois l’analyse lexicale effectuée, l’analyse

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une fois l’analyse lexicale effectuée, l’analyse

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une fois l’analyse lexicale effectuée, l’analyse

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Étapes pour la conception d’un analyseur syntaxique

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Étapes pour la conception d’un analyseur syntaxique

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Étapes pour la conception d’un analyseur syntaxique

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Étapes pour la conception d’un analyseur syntaxique

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

Une règle est une règle de production de la grammaire,

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

La partie déclarations et définitions contient les

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

La partie déclarations et définitions contient les

Prof. Abdelmajid Dargham Chapitre 8 : L’outil d’analyse syntaxique Bison

La partie déclarations et définitions contient les