Faculté des Sciences Agadir

Département Informatique
Filière SMI
Semestre 5

Compilation
Pr. Mustapha Machkour
 Chapitre 5
Comprendre les concepts et les notions de l'analyse
lexicale 4
Transformation AFND AFD
Objectifs
 Transformation d'automate non déterministe en automate
déterministe
 Générateur d’analyseur lexical

Compilation FS Agadir SMI 20-21 3

  Rappel

Compilation FS Agadir SMI 20-21 4

  AFD & AFND
Comment peut-on passer d’un AFND à un AFD?
Notion de ε-fermeture
Soit x0 un état
ε-fermeture(x0) est l'ensemble des états que l'on
peut atteindre à partir de x0 en utilisant des
transitions ε.
x0 peut être composé de plusieurs états.

Compilation FS Agadir SMI 20-21 5

 Exemple 1
b

ε 1 b
0 2

ε-fermeture(0)?

Compilation FS Agadir SMI 20-21 6

 Exemple 1(réponse)
b

ε 1 b
0 2

ε-fermeture(0) ={0,1}

Compilation FS Agadir SMI 20-21 7

 Exemple 2

ε 1 b
0 2
ε
a

ε-fermeture(0) ?

Compilation FS Agadir SMI 20-21 8

 Exemple 2(réponse)

ε 1 b
0 2
ε
a

ε-fermeture(0) ={0,1,2}

Compilation FS Agadir SMI 20-21 9

 Exercice
Chercher ε-fermeture(0)

b 2 3
0 ε 1 b

Compilation FS Agadir SMI 20-21 10

  AFD & AFND
algorithme AFND_to_AFD
entrée X AFND
sortie Y AFD
début
soit x0 l'état initial de l’ AFND X alors
y0=ε-fermeture(x0); // y0 est l’état initial de l’AFD Y.
Soit Q les états de Y et A l'alphabet de Y ;
Q={y0}; // formation des états
Tant qu’il y a un état S non marqués dans Q faire
Marquer S
pour tout a de A faire
T={ens d'états cibles de transitions à partir d'un état si de S}
Y=ε-fermeture(T);
SI Y est non dans Q alors ajouter Y non marqué
ajouter une transition a de S à Y.
fin pour
Fin tant que
Un état de Y est un terminal s'il contient au moins un état final de X.
fin.

Compilation FS Agadir SMI 20-21 11

  Exemple
Transformer l'AFND en AFD

ε 2 a
1 5
a b
a

a
3 4
b

Compilation FS Agadir SMI 20-21 12

  Réponse

S2 b
S1 a S3
a b

a
S4

Compilation FS Agadir SMI 20-21 13

Résumé
 Transformation d'automate non déterministe en automate
déterministe
 Générateur d’analyseur lexical

Compilation FS Agadir SMI 20-21 14