24 septembre 2007Cours de compilation 3 - Intranet1 Cours de compilation Analyse lexicale Analyse...

24 septembre 2007 Cours de compilation 3 - Intranet 1

Cours de compilationCours de compilation

Analyse lexicaleAnalyse lexicale

Analyse syntaxique (intro)Analyse syntaxique (intro)


Les grandes lignes du coursLes grandes lignes du cours

•Définitions de baseDéfinitions de base•Composition de compilateursComposition de compilateurs•L’environnement d’un compilateurL’environnement d’un compilateur•Evaluation partielle et compilationEvaluation partielle et compilation•Analyses lexicales et syntaxiquesAnalyses lexicales et syntaxiques•Techniques d’analyse descendantesTechniques d’analyse descendantes•Techniques d’analyse ascendantesTechniques d’analyse ascendantes•YACCYACC•Analyse sémantiqueAnalyse sémantique•Environnement d’exécutionEnvironnement d’exécution•Génération de codeGénération de code•Optimisation de codeOptimisation de code


L E SL E S

C O N S T I T U A N T SC O N S T I T U A N T S

D ‘ U ND ‘ U N

C O M P I L A T E U RC O M P I L A T E U R


Les constituants d’un compilateurLes constituants d’un compilateur----------------------------------------------------------------------------------------------------------------------------

----

CCOOMMPPIILLAATTEEUURR



----

AnalyseAnalyselexicalelexicale

AnalyseAnalysesyntaxiquesyntaxique

AnalyseAnalysesémantiquesémantique

AllocationAllocationmémoiremémoire

GénérationGénérationde codede code

OptimisationOptimisationde codede code



----







}}}}

Analyse du texte sourceAnalyse du texte source

Génération du texte de sortieGénération du texte de sortie



----







Découpage du fichier sourceDécoupage du fichier sourceen mots, séparateurs, . . .en mots, séparateurs, . . .



----







Reconnaissance de la structure duReconnaissance de la structure duprogramme : instructions, fonctions, . . .programme : instructions, fonctions, . . .



----







Vérification du sens des phrases.Vérification du sens des phrases.



----







}}Ces phases sont réalisées en même temps :Ces phases sont réalisées en même temps : nous reconnaissons des mots,nous reconnaissons des mots, jusqu’à obtenir une phrase,jusqu’à obtenir une phrase, que nous vérifions pour le typageque nous vérifions pour le typage et nous passons à la suite.et nous passons à la suite.



----







Décision des adresses mémoireDécision des adresses mémoirepour certaines données.pour certaines données.



----







Création d’un programme de sortieCréation d’un programme de sortiecorrect, mais non optimisé.correct, mais non optimisé.



----







Optimisation du code de sortie, siOptimisation du code de sortie, sic’est du code assembleur.c’est du code assembleur.



----







Ces phases sont souventCes phases sont souventréalisées simultanément.réalisées simultanément.}}

C’est presqu’un compilateur à part.C’est presqu’un compilateur à part.



----







Les entêtes de chapitre seront . . .Les entêtes de chapitre seront . . .


Principe de l’analyse lexicalePrincipe de l’analyse lexicale----------------------------------------------------------------------------------------------------------------------------

----• Il s’agit de traduire une suite de caractères en une Il s’agit de traduire une suite de caractères en une

suite de « lexèmes » (mots, token).suite de « lexèmes » (mots, token).





• Nous devons donc reconnaître les séparateurs Nous devons donc reconnaître les séparateurs explicites (espace, passage à la ligne, . . .) et explicites (espace, passage à la ligne, . . .) et implicites (rien) qui séparent les entités.implicites (rien) qui séparent les entités.






• Nous déterminons la catégorie d’appartenance (mot Nous déterminons la catégorie d’appartenance (mot réservé, nombre, opérateur, . . .) de chaque lexème.réservé, nombre, opérateur, . . .) de chaque lexème.







if A = 1 then . . . fiif A = 1 then . . . fi







if A = 1 then . . . fiif A = 1 then . . . fi

Mot_réservé_ifMot_réservé_ifVar ( A )Var ( A )Oprel ( = )Oprel ( = )Entier ( 1 )Entier ( 1 )Mot_réservé_thenMot_réservé_then. . .. . .Mot_réservé_fiMot_réservé_fi


Principe de l’analyse syntaxiquePrincipe de l’analyse syntaxique----------------------------------------------------------------------------------------------------------------------------

----• Il s’agit de reconnaître la structure du programme.Il s’agit de reconnaître la structure du programme.




• Nous allons construire une représentation structurée Nous allons construire une représentation structurée (sous forme d’arbre de syntaxe abstraite) du (sous forme d’arbre de syntaxe abstraite) du programme.programme.




• Nous allons construire une représentation structurée Nous allons construire une représentation structurée (sous forme d’arbre de syntaxe abstraite) du (sous forme d’arbre de syntaxe abstraite) du programme.programme.

• Pour l’analyse, nous nous appuyons sur une grammaire Pour l’analyse, nous nous appuyons sur une grammaire du langage à analyser.du langage à analyser.




• Nous allons construire une représentation structurée Nous allons construire une représentation structurée (sous forme d’arbre de syntaxe abstraite) du programme.(sous forme d’arbre de syntaxe abstraite) du programme.

• Pour l’analyse, nous nous appuyons sur une grammaire Pour l’analyse, nous nous appuyons sur une grammaire du langage à analyser.du langage à analyser.

if A = 1 then . . . if A = 1 then . . . fi fi




• Nous allons construire une représentation structurée (sous Nous allons construire une représentation structurée (sous forme d’arbre de syntaxe abstraite) du programme.forme d’arbre de syntaxe abstraite) du programme.

• Pour l’analyse, nous nous appuyons sur une grammaire du Pour l’analyse, nous nous appuyons sur une grammaire du langage à analyser.langage à analyser.

MR_if Var( A ) Oprel( = ) Entier( 1 ) MR_then . . . MR_if Var( A ) Oprel( = ) Entier( 1 ) MR_then . . . MR_fiMR_fi

if A = 1 then . . . if A = 1 then . . . fifi







if A = 1 then . . . if A = 1 then . . . fifi


• Il s’agit de reconnaître la structure du programme.Il s’agit de reconnaître la structure du programme.





----

TestTest



----

TestTest BlocBloc











----

TestTest BlocBloc

Si_alorsSi_alors



----

TestTest BlocBloc

Si_alorsSi_alors

Arbre de syntaxeArbre de syntaxe











TestTest BlocBloc

Si_alorsSi_alors

Arbre de syntaxeArbre de syntaxeabstraiteabstraite






Var( A ) Oprel( = ) Entier( 1 ) . . . Var( A ) Oprel( = ) Entier( 1 ) . . .

TestTest BlocBloc

Si_alorsSi_alors

Arbre de syntaxeArbre de syntaxeabstraiteabstraite


Principe de l’analyse sémantiquePrincipe de l’analyse sémantique----------------------------------------------------------------------------------------------------------------------------

----• Nous devons maintenant vérifier le sens du Nous devons maintenant vérifier le sens du

programme.programme.





• Nous collectons les déclarations des variables et Nous collectons les déclarations des variables et fonctions dans la table des symboles et nous nous fonctions dans la table des symboles et nous nous assurons que tout est déclaré et utilisé assurons que tout est déclaré et utilisé conformément aux déclarations.conformément aux déclarations.






• Nous opérons peut-être des petites transformations Nous opérons peut-être des petites transformations et nous explicitons des conversions de types et nous explicitons des conversions de types implicites :implicites :







2 * A => A + A2 * A => A + A







2 * A => A + A2 * A => A + Aaddadd

int xint x

xx 1.51.5

add_floatadd_float

xx

1.51.5int_to_floatint_to_float


L ‘ A N A L Y S EL ‘ A N A L Y S E

L E X I C A L EL E X I C A L E


L’analyse lexicaleL’analyse lexicale----------------------------------------------------------------------------------------------------------------------------

----• Nous découpons le programme en lexèmes. Nous Nous découpons le programme en lexèmes. Nous

déterminons leurs classes d’appartenance :déterminons leurs classes d’appartenance :





– Mots clefs : if while . . .Mots clefs : if while . . .






– Opérateurs : + == = . . .Opérateurs : + == = . . .







– Nombres : 100 100.08 . . .Nombres : 100 100.08 . . .







– Nombres : 100 100.08 . . .Nombres : 100 100.08 . . .

– Séparateurs : ; , « » . . .Séparateurs : ; , « » . . .







– Nombres : 100 100.08 . . .Nombres : 100 100.08 . . .


– Variables : « les autres »Variables : « les autres »







– Nombres : 100 100.08 . . .Nombres : 100 100.08 . . .



• Les lexèmes sont reconnus par la grammaire du Les lexèmes sont reconnus par la grammaire du langage. langage.







– Nombres : 100 100.08 . . .Nombres : 100 100.08 . . .



• Les lexèmes sont reconnus par la grammaire du Les lexèmes sont reconnus par la grammaire du langage. langage.

• Ce sont presque toujours des expressions régulières Ce sont presque toujours des expressions régulières qui peuvent donc être reconnues par un automate.qui peuvent donc être reconnues par un automate.



----• Petit rappel sur les expressions régulières :Petit rappel sur les expressions régulières :




– Tout caractère isolé est régulier.Tout caractère isolé est régulier.





– Toute séquence finie d’expressions régulières Toute séquence finie d’expressions régulières est régulière.est régulière.






– Un choix fini entre expressions régulières est Un choix fini entre expressions régulières est régulier comme [ a-d | h-p ].régulier comme [ a-d | h-p ].







– u*, c’est-à-dire la répétition du motif « u » n fois, u*, c’est-à-dire la répétition du motif « u » n fois, avec n >= 0, est régulier.avec n >= 0, est régulier.







– u*, c’est-à-dire la répétition du motif « u » n fois, u*, c’est-à-dire la répétition du motif « u » n fois, avec n >= 0, est régulier.avec n >= 0, est régulier.

– u+, c’est-à-dire la répétition du motif « u » n fois, u+, c’est-à-dire la répétition du motif « u » n fois, avec n > 0, est régulier.avec n > 0, est régulier.



----• L’automatisation de l’analyse lexicale :L’automatisation de l’analyse lexicale :

– « lex » ou « flex » prennent des fichiers « lex » ou « flex » prennent des fichiers d’expressions régulières et les actions associées d’expressions régulières et les actions associées et construisent l’automate d’analyse.et construisent l’automate d’analyse.




– « lex » ou « flex » prennent des fichiers « lex » ou « flex » prennent des fichiers d’expressions régulières et les actions associées d’expressions régulières et les actions associées et construisent l’automate d’analyse.et construisent l’automate d’analyse.

– Nous aurons donc les commandes :Nous aurons donc les commandes :

lex fichier_lexlex fichier_lex

cc -ll lex.y.cccc -ll lex.y.cc

a.out < fichier_sourcea.out < fichier_source




– « lex » ou « flex » prennent des fichiers « lex » ou « flex » prennent des fichiers d’expressions régulières et les actions associées et d’expressions régulières et les actions associées et construisent l’automate d’analyse.construisent l’automate d’analyse.





– Format d’un fichier lex :Format d’un fichier lex :

%%%%

mot_à_reconnaître action_en_Cmot_à_reconnaître action_en_C

. . .. . .

%%%%



----• Attention aux cas ambigus :Attention aux cas ambigus :

: := =: := =




: := =: := =

– L’ordre des lexèmes donne la priorité :L’ordre des lexèmes donne la priorité :

%%%%

. . .. . .

:=:=

::

==




: := =: := =


%%%%

. . .. . .

:=:=

::

==

– De même, est-ce que « ifabc » signifie « ifabc » De même, est-ce que « ifabc » signifie « ifabc » ou bien « if » suivi de « abc » ?ou bien « if » suivi de « abc » ?




: := =: := =


%%%%

. . .. . .

:=:=

::

==

– De même, est-ce que « ifabc » signifie « ifabc » ou De même, est-ce que « ifabc » signifie « ifabc » ou bien « if » suivi de « abc » ?bien « if » suivi de « abc » ?

– La règle veut que lex reconnaisse le mot le plus long !La règle veut que lex reconnaisse le mot le plus long !



----• Exemple :Exemple :%%%%

if printf(« si\n »);if printf(« si\n »);

then printf(« alors\n »);then printf(« alors\n »);

fi printf(« finsi\n »);fi printf(« finsi\n »);

= printf(« rel(%s)\n » , yytext);= printf(« rel(%s)\n » , yytext);

:= printf(« affect\n»);:= printf(« affect\n»);

+ printf(« add\n »);+ printf(« add\n »);

[a-z][a-z0-9]* printf(« var(%s)\n » , yytext);[a-z][a-z0-9]* printf(« var(%s)\n » , yytext);

[0-9]* printf(« ent(%s)\n » , yytext);[0-9]* printf(« ent(%s)\n » , yytext);

\ printf(« »);\ printf(« »);

\n printf(« »);\n printf(« »);

%%%%














%%%%

Des mots etDes mots etopérateurs fixés !opérateurs fixés !














%%%%

Nous avonsNous avonsdifférentsdifférents

symboles desymboles derelation !relation !














%%%%

Les variables !Les variables !














%%%%

Les entiers !Les entiers !














%%%%

Nous supprimonsNous supprimonsles espaces et retoursles espaces et retoursà la ligne superflux !à la ligne superflux !














%%%%

if ab56 = 5 then abc := 113 + then + 12ab fiif ab56 = 5 then abc := 113 + then + 12ab fi




if printf(« si\n »); if printf(« si\n »);










%%%%


sisivar(ab56)var(ab56)rel(=)rel(=)ent(5)ent(5)alorsalorsvar(abc)var(abc)affectaffectent(113)ent(113)addaddalorsalorsaddaddent(12)ent(12)var(ab)var(ab)finsifinsi














%%%%














[a-z0-9]* printf(« ovni(%s)\n » , yytext);[a-z0-9]* printf(« ovni(%s)\n » , yytext);



%%%%

Ici, nous récupéronsIci, nous récupéronsles mélanges de lettresles mélanges de lettres

et chiffres illégaux !et chiffres illégaux !















%%%%
















%%%%


sisivar(ab56)var(ab56)rel(=)rel(=)ent(5)ent(5)alorsalorsvar(abc)var(abc)affectaffectent(113)ent(113)addaddalorsalorsaddaddovni(12ab)ovni(12ab)finsifinsi


L ‘ A N A L Y S EL ‘ A N A L Y S E

S Y N T A X I Q U ES Y N T A X I Q U E


L’analyse syntaxiqueL’analyse syntaxique----------------------------------------------------------------------------------------------------------------------------

----• Nous allons reconnaître le langage à l’aide d’une Nous allons reconnaître le langage à l’aide d’une

grammaire non ambiguë.grammaire non ambiguë.





• Rappels sur les grammaires :Rappels sur les grammaires :






Une grammaire est une suite de règles de l’une Une grammaire est une suite de règles de l’une des formes suivantes :des formes suivantes :

A ::= A ::=

A ::= A ::= | | | | | | 11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– Les NON-TERMINAUX : C’est l’ensemble N des Les NON-TERMINAUX : C’est l’ensemble N des symboles qui apparaissent au membre gauche symboles qui apparaissent au membre gauche d’une règle au moins.d’une règle au moins.

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– Les NON-TERMINAUX : C’est l’ensemble N des Les NON-TERMINAUX : C’est l’ensemble N des symboles qui apparaissent au membre gauche symboles qui apparaissent au membre gauche d’une règle au moins.d’une règle au moins.

– Nous utilisons des lettres latines majuscules.Nous utilisons des lettres latines majuscules.

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– L’AXIOME : C’est un non-terminal distingué à L’AXIOME : C’est un non-terminal distingué à partir duquel nous allons démarrer. partir duquel nous allons démarrer.

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– L’AXIOME : C’est un non-terminal distingué à L’AXIOME : C’est un non-terminal distingué à partir duquel nous allons démarrer. partir duquel nous allons démarrer.

– Nous utiliserons la lettre S (comme « start »).Nous utiliserons la lettre S (comme « start »).

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– Les TERMINAUX : C’est l’ensemble V des Les TERMINAUX : C’est l’ensemble V des symboles qui n’apparaissent qu’aux membres symboles qui n’apparaissent qu’aux membres droits des règles. droits des règles.

11 22 nn






Une grammaire est une suite de règles de l’une des Une grammaire est une suite de règles de l’une des formes suivantes :formes suivantes :

A ::= A ::=

A ::= A ::= | | | | | |

– Les TERMINAUX : C’est l’ensemble V des symboles Les TERMINAUX : C’est l’ensemble V des symboles qui n’apparaissent qu’aux membres droits des qui n’apparaissent qu’aux membres droits des règles. règles.

– Nous utilisons des lettres latines minuscules, du Nous utilisons des lettres latines minuscules, du début de l’alphabet.début de l’alphabet.

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– Une suite, éventuellement vide, de terminaux est Une suite, éventuellement vide, de terminaux est notée comme lettre latine minuscule de la fin de notée comme lettre latine minuscule de la fin de l’alphabet. l’alphabet.

11 22 nn






Une grammaire est une suite de règles de l’une des Une grammaire est une suite de règles de l’une des formes suivantes :formes suivantes :

A ::= A ::=

A ::= A ::= | | | | | |

– Une suite, éventuellement vide, de terminaux est notée Une suite, éventuellement vide, de terminaux est notée comme lettre latine minuscule de la fin de l’alphabet. comme lettre latine minuscule de la fin de l’alphabet.

– Une suite, éventuellement vide, de non-terminaux et de Une suite, éventuellement vide, de non-terminaux et de terminaux est notée comme lettre grecque minuscule. terminaux est notée comme lettre grecque minuscule.

11 22 nn







A ::= A ::=

A ::= A ::= | | | | | |

– a , b a , b V V– u , v u , v V* ( V* ( est le mot vide ) est le mot vide )– , , ( N v V )* ( N v V )*

11 22 nn



----• Une dérivation est une suite d’application de règles Une dérivation est une suite d’application de règles

qui part de l’axiome S :qui part de l’axiome S :





S S --> > --> > --> > --> > --> > --> >

encore notéeencore notée S S -->> >>

11 ii i+1i+1 kk

kk





S S --> > --> > --> > --> > --> > --> >


dans laquelle dans laquelle et et sont respectivement de la sont respectivement de la formeforme

CC et et

et qu’il existe une règle de la forme et qu’il existe une règle de la forme C ::= C ::= | | | |

11 ii i+1i+1 kk

kk

ii i+1i+1



----• Une dérivation est une suite d’application de règles qui Une dérivation est une suite d’application de règles qui

part de l’axiome S :part de l’axiome S :

S S --> > --> > --> > --> > --> > --> >


dans laquelle dans laquelle et et sont respectivement de la forme sont respectivement de la forme

CC et et

et qu’il existe une règle de la forme et qu’il existe une règle de la forme C ::= C ::= | | | |

La dérivation est « gauche » si, à chaque étape, C est le La dérivation est « gauche » si, à chaque étape, C est le non-terminal le plus à gauche, c’est-à-dire si non-terminal le plus à gauche, c’est-à-dire si V*.V*.

11 ii i+1i+1 kk

kk

ii i+1i+1



----• A toute dérivationA toute dérivation S S -->> >> correspond au moins correspond au moins

une dérivation gauche.une dérivation gauche.kk




une dérivation gauche.une dérivation gauche.

• Une dérivation Une dérivation S S -->> >> est terminéeest terminéelorsquelorsque n’est n’est

constitué que de lettres terminales.constitué que de lettres terminales.

kk

kk kk




une dérivation gauche.une dérivation gauche.



• A une grammaire G , c’est-à-dire un ensemble de A une grammaire G , c’est-à-dire un ensemble de règles, nous associons le langage L ( G ) des mots règles, nous associons le langage L ( G ) des mots terminaux dérivables en partant de l’axiome S :terminaux dérivables en partant de l’axiome S :

u u L ( G ) L ( G ) S S --> . . . > . . . --> u> u

S S --> . . . > . . . --> u , > u , par une dérivation par une dérivation gauche.gauche.

kk

kk kk



----• A toute dérivationA toute dérivation S S -->> >> correspond au moins une correspond au moins une

dérivation gauche.dérivation gauche.



• A une grammaire G , c’est-à-dire un ensemble de règles, A une grammaire G , c’est-à-dire un ensemble de règles, nous associons le langage L ( G ) des mots terminaux nous associons le langage L ( G ) des mots terminaux dérivables en partant de l’axiome S :dérivables en partant de l’axiome S :

u u L ( G ) L ( G ) S S --> . . . > . . . --> u> u

S S --> . . . > . . . --> u , > u , par une dérivation gauche.par une dérivation gauche.

• Une grammaire G est non ambiguë, si pour tout mot Une grammaire G est non ambiguë, si pour tout mot terminal il existe au plus une dérivation gauche.terminal il existe au plus une dérivation gauche.

kk

kk kk



----• A chaque dérivation correspond un arbre de A chaque dérivation correspond un arbre de

dérivation.dérivation.





S ::= a B C B ::= b C ::= cS ::= a B C B ::= b C ::= c






S S --> a B C > a B C --> a b C > a b C --> a b c> a b c






S S -->> a B C a B C --> a b C > a b C --> a b c> a b c

SS

aa BB CC






S S -->> a B C a B C -->> a b C a b C --> a b c> a b c

SS

aa BB CC

bb






S S -->> a B C a B C -->> a b C a b C -->> a b c a b c

SS

aa BB CC

bb cc



----• Voici une grammaire ambiguë :Voici une grammaire ambiguë :

S ::= a B C B ::= b C ::= c S ::= a B C B ::= b C ::= c B ::= b c B ::= b c C ::= C ::=





S S -->> a B C a B C --> a b c C > a b c C --> a b c> a b c

SS

aa BB CC





S S -->> a B C a B C -->> a b c C a b c C --> a b c> a b c

SS

aa BB CC

bb cc





S S -->> a B C a B C -->> a b c C a b c C -->> a b c a b c

SS

aa BB CC

bb cc



----• Il existe deux types de dérivations.Il existe deux types de dérivations.




• Descendante (LL) :Descendante (LL) :

. . . de la racine vers les feuilles . . .. . . de la racine vers les feuilles . . .




• Descendante (LL) :Descendante (LL) :

. . . de la racine vers les feuilles . . .. . . de la racine vers les feuilles . . .

• Ascendante (LR) :Ascendante (LR) :

. . . des feuilles vers la racine . . .. . . des feuilles vers la racine . . .



----• Une dérivation descendante (et gauche) :Une dérivation descendante (et gauche) :




SS

aa bb cc

??????




SS

aa BB CC

??????

aa bb cc




SS

aa BB CC

??????

aa bb cc

Analyse de laAnalyse de laracine vers racine vers les feuilles !les feuilles !

Depuis la gauche !Depuis la gauche !




SS

aa BB CC

??????bb

aa bb cc




SS

aa BB CC

bb cc

aa bb cc



----• Une dérivation ascendante (et gauche) :Une dérivation ascendante (et gauche) :




– Tant que nous n’avons pas reconnu le membre Tant que nous n’avons pas reconnu le membre droit d’une règle nous avançons, sinon nous droit d’une règle nous avançons, sinon nous remplaçons par le membre gauche.remplaçons par le membre gauche.






aa bb cc






aa

aa bb cc






aa

aa bb ccDepuis la gauche !Depuis la gauche !





S ::= a B C S ::= a B C B ::= bB ::= b C ::= c C ::= c

aa BB

aa bb cc





S ::= a B C B ::= b S ::= a B C B ::= b C ::= cC ::= c

aa BB CC

aa bb cc





S ::= a B C B ::= b S ::= a B C B ::= b C ::= cC ::= c

aa BB CC

aa bb cc

Analyse desAnalyse desfeuilles versfeuilles versla racine !la racine !





S ::= a B CS ::= a B C B ::= b C ::= c B ::= b C ::= c

SS

aa BB CC

aa bb cc

Analyse desAnalyse desfeuilles versfeuilles versla racine !la racine !



----• Une analyse ascendante est plus puissante qu’une Une analyse ascendante est plus puissante qu’une

analyse descendante, mais aussi plus lourde à analyse descendante, mais aussi plus lourde à mettre en oeuvre.mettre en oeuvre.





• LL ou LR réussit S LL ou LR réussit S -->> u existe>> u existe

=>=><=<=//






• Le problème de la « fin du fichier » :Le problème de la « fin du fichier » :

Si le fichier contient « u v » et que « u » Si le fichier contient « u v » et que « u » appartient au langage, alors la partie « v » du appartient au langage, alors la partie « v » du fichier ne sera pas lue.fichier ne sera pas lue.

=>=><=<=//







Si le fichier contient « u v » et que « u » Si le fichier contient « u v » et que « u » appartient au langage, alors la partie « v » du appartient au langage, alors la partie « v » du fichier ne sera pas lue.fichier ne sera pas lue.

• Nous matérialisons la fin de fichier par le nouveau Nous matérialisons la fin de fichier par le nouveau caractère « # ». Le contenu du fichier devient « u v caractère « # ». Le contenu du fichier devient « u v # ».# ».

=>=><=<=//




analyse descendante, mais aussi plus lourde à mettre analyse descendante, mais aussi plus lourde à mettre en oeuvre.en oeuvre.



Si le fichier contient « u v » et que « u » appartient Si le fichier contient « u v » et que « u » appartient au langage, alors la partie « v » du fichier ne sera au langage, alors la partie « v » du fichier ne sera pas lue.pas lue.

• Nous matérialisons la fin de fichier par le nouveau Nous matérialisons la fin de fichier par le nouveau caractère « # ». Le contenu du fichier devient « u v # ».caractère « # ». Le contenu du fichier devient « u v # ».

• Nous prenons comme nouvel axiome Z ::= S # .Nous prenons comme nouvel axiome Z ::= S # .

=>=><=<=//




analyse descendante, mais aussi plus lourde à mettre en analyse descendante, mais aussi plus lourde à mettre en oeuvre.oeuvre.



Si le fichier contient « u v » et que « u » appartient au Si le fichier contient « u v » et que « u » appartient au langage, alors la partie « v » du fichier ne sera pas lue.langage, alors la partie « v » du fichier ne sera pas lue.

• Nous matérialisons la fin de fichier par le nouveau Nous matérialisons la fin de fichier par le nouveau caractère « # ». Le contenu du fichier devient « u v # ».caractère « # ». Le contenu du fichier devient « u v # ».

• Nous prenons comme nouvel axiome Z ::= S # .Nous prenons comme nouvel axiome Z ::= S # .

• Il faudra donc la dérivation Z Il faudra donc la dérivation Z -->> u v # .>> u v # .

=>=><=<=//


RésuméRésumé----------------------------------------------------------------------------------------------------------------------------

----

•Analyse lexicaleAnalyse lexicale

•Analyse syntaxique (début)Analyse syntaxique (début)


C ’ e S t L a F i N ! C ’ e S t L a F i N ! ! !! !

b O n N eb O n N eJ o U r N é E ! ! !J o U r N é E ! ! !

24 septembre 2007Cours de compilation 3 - Intranet1 Cours de compilation Analyse lexicale Analyse...

Documents

Transcript of 24 septembre 2007Cours de compilation 3 - Intranet1 Cours de compilation Analyse lexicale Analyse...