Grammaires et Langages DS

Transcription

1 INSA de Lyon Année solire 0-0 Grmmires et Lngges DS Lundi vril 0 - Durée : h0 - Douments utorisés Répondre diretement sur le sujet à toutes les questions dns les ses prévues à et effet Pour toutes les expressions régulières du sujet et des réponses demndées, le ou ser indiqué pr le symole, le symole + indiquer une ou plusieurs répétitions, le symole zéro à plusieurs répétitions et le symole? un symole optionnel. On utiliser les prenthèses pour grouper les symoles entre eux. Expressions régulières ( pts). Soit l utomte fini : 0 d 6 Cet utomte est non-déterministe, pourquoi? Corretion : Trnsition depuis l étt vers les étts et ve le même symole. Donner son expression régulière ssoiée (rute) et l simplifier pr ftoristion. Corretion : *(* d)* qui donne *(* d)+. Donner une nouvelle version déterministe de l utomte. Corretion : 0 d 6 Eri Guérin eri.guerin@liris.nrs.fr 0 février 0 /6

2 Année solire 0-0. Soit l utomte fini : INSA de Lyon 0 Donner son expression régulière ssoiée. Corretion : Corretion : +. Soit l utomte fini (ttention, étts finux) : 0 Donner son expression régulière ssoiée. Corretion : Corretion : (* + *) /6 0 février 0 Eri Guérin eri.guerin@liris.nrs.fr

3 INSA de Lyon Année solire 0-0 Automte fini ( pts) Soit l expression régulière suivnte :( * +). Donner son utomte fini non-déterministe ssoié (onstrution de Thompson). Corretion : Donner l version déterministe de et utomte (hque étt de et utomte donner l ensemle des étts de l utomte préédent) Corretion :,6,,,6,7,9 6,8,6 9 0 (on pourr vérifier que et utomte lit ien les mots suivnts :,, et ) Eri Guérin eri.guerin@liris.nrs.fr 0 février 0 /6

4 Année solire 0-0 INSA de Lyon Anlyse préditive ( pts) Étnt donné l grmmire : E open C lose C I C C I E I dt Indiquer les ensemles N, P et S de ette grmmire Corretion : Donner s tle d nlyse LL() Corretion : N = {C} P(E) = {open} P(C) = {open, dt, } P(I) = {open, dt} S(E) = {$, lose, dt, open} S(C) = {lose} S(I) = {open, dt, lose} open dt lose $ E open C lose C I C I C I E dt /6 0 février 0 Eri Guérin eri.guerin@liris.nrs.fr

5 INSA de Lyon Année solire 0-0 Anlyse sendnte d expressions postfixées (6 pts) Nous llons onsidérer dns e prolème l nlyse d une expression postfixée, est-à-dire où les opérndes sont données vnt les opérteurs. Exemple : + - * signifie en nottion trditionnelle infixée ((+)*(- )). Cette nottion est prtique r elle permet l évlution à l ide d une simple pile et ne néessite ps de prenthèses. Seuls les opérteurs inires seront onsidérés. Voii l grmmire proposée : exp exp NUM exp VAR exp exp exp OP Remrque : les symoles sont typogrphiés à l fçon de ison (terminux en mjusule, et non-terminux en minusule). Donner l utomte LR(0) de ette grmmire Corretion : NUM NUM E exp NUM exp NUM E 0 exp exp NUM exp VAR exp exp expop exp E exp exp exp expop exp NUM exp VAR exp exp expop exp E exp exp exp OP exp exp expop exp NUM exp VAR exp exp expop OP VAR E exp exp exp OP VAR VAR E exp VAR Expliquer omment supprimer le onflit de et utomte grâe à une nlyse SLR() Corretion : Le seul onflit est dns l étt, on ne sit ps s il fut réduire ou non le premier item. Il suffit de voir que le symole ne peut être suivi que de l fin de flux, pour lever le onflit. On donne l struture de données suivnte : lss Expr { puli : virtul void Affihe ( ostrem &) onst =0; virtul ~ Expr ()=0; lss VlExpr : puli Expr { puli : virtul void Affihe ( ostrem &) onst ; VlExpr ( doule ); proteted : doule vl ; lss VrExpr : puli Expr { puli : virtul void Affihe ( ostrem &) onst ; Eri Guérin eri.guerin@liris.nrs.fr 0 février 0 /6

6 Année solire 0-0 INSA de Lyon VrExpr ( hr ); proteted : hr vr ; lss OpExpr : puli Expr { puli : virtul void Affihe ( ostrem &) onst ; virtul ~ OpExpr () { delete guhe ; delete droite ; } OpExpr ( Expr *, Expr *, hr ); proteted : hr op; Expr * guhe ; Expr * droite ; Les symoles ont les types ssoiés suivnts : exp : Expr* VAR : hr (le rtère orrespondnt u nom de l vrile) OP : hr (le rtère orrespondnt à l opérteur) NUM : doule (l vleur) Bison possède l délrtion de prmètre suivnte : %prse-prm { Expr ** expr } Donner pour hune des règles les tions ison néessires à l onstrution de l struture de données. Corretion : exp {*expr = $; } exp NUM {$$ = new VlExpr($); } exp VAR {$$ = new VrExpr($); } exp expexpop {$$ = new OpExpr($,$,$); } Donner l implémenttion de l méthode OpExpr::Affihe(ostrem &); Corretion : void OpExpr :: Affihe ( ostrem & os) onst { os <<"("; guhe -> Affihe (os ); os <<op; droite -> Affihe (os ); os <<")"; } 6/6 0 février 0 Eri Guérin eri.guerin@liris.nrs.fr