Compilation - TD 1

Analyse lexicale Corrig e

b

Question 1.1 quelques langages

a b b apbp b a a b aibp b aibi aibp b a a a a b aibi apbi apbp b a a a a b b b b a a a a b b b apbi b

b b

b b

Question 1.2 expressions r guli` res e e (aa|bb|(ab|ba)((aa|bb)) (ab|ba)) ... (bb (a|aa|aaa|aaaa)) (bbb)|ab(bbb) |aabb(bbb) Question 1.3 d nitions r guli` res e e e d0 = 0 d1 = (1d0 ) 1|(d0 1) d0 d2 = (2d1 ) 2|(d1 2) d1 ... d9 = (9d8 ) 9|(d8 9) d8 Question 1.4 sur lexpressivit e La r ponse est gard e par le Dragon. e e Question 2.1 3 Question 2.2 les commentaires Cest tr` s simple, il suft de ne jamais mettre de commentaire dans son code. e Question 3.1 On sait construire les automates (triviaux) qui reconnaissent un caract` re de , ainsi que le . (wildcard). e Si les expressions r guli` res R1 et R2 sont reconnues respectivement par les automates A1 et A2 , alors e e Un automate reconnaissant R1 R2 est construit comme la juxtaposition de A1 et A2 . Il a pour entr e e l tat dentr e de A1 , pour etats accepteurs les etats accepteurs de A2 , et poss` de des -transitions de e e e tous les etats accepteurs A1 vers lentr e de A2 . e ` Un automate non d terministe reconnaissant R1 |R2 est construit de la mani` re suivante a partir des e e automates A1 et A2 : son etat dentr e est un nouvel etat qui poss` de deux -transitions vers les etats e e dentr e de A1 et A2 . Il poss` de un etat accepteur, qui est un nouvel etat recevant des -transitions de e e tous les etats accepteurs de A1 et A2 . ` On construit facilement de m me un automate reconnaissant R1 a partir de A1 en reliant ses sorties e ` a son entr e par des -transitions. e Question 3.2 Cet automate est clairement non d terministe. e Question 3.3 Le principe est de parcourir lautomate non d terministe et de construire un nouvel automate d terministe, e e dans lequel chaque etat repr sente un ensemble d tats de lAFN, lensemble des etats accessibles apr` s e e e avoir lu les m mes symboles dentr e. e e REMARQUE : la traduction inverse sera vue dans le cours de Marianne Delorme.