28/03/2020

Automates Déterministe Minimale

AUTOMATE DÉTERMINISTE MINIMAL

Objectif : Construire un automate minimal déterministe en partant d’un automate à état fini déterministe

Définition : Équivalence d’états

Étant donné A un DFA, deux états p et q sont équivalents (on note p≈q) si Lp(A)=Lq(A).

1
 28/03/2020

AUTOMATE DÉTERMINISTE MINIMAL

0≈1 ? – non car δ(0,b)  F et δ(1,b)  F

3≈6 ? – oui car 3  F et 6  F et w  Σ*, δ*(3, aw)  F et δ*(6, aw)  F

Et
δ*(3, bw)  F et δ*(6, bw)  F

Propriété : la relation ≈ est une relation d’équivalence. En effet, elle est réflexive, symétrique et transitive

Notation : Si q est un état, on note [q] sa classe d’équivalence. c.a.d l’ensemble des états qui lui sont équivalents.

Définition :
Soit le DFA A= (Σ, Q, δ, q0, F), l’automate minimal associé à A est : Amin= (Σ, Q’, δ, [q0], F’)
Tel que

Q’= {[q], q  Q}

AUTOMATE DÉTERMINISTE MINIMAL

F’= {[f], f  F}
δ’= {([q],a,[q])tels que $ p’  [p], $q’  [q] (p’,a,q’)  δ}

Propriétés :
Amin reconnaît le même langage que A.

Pour tout DFA B tel que L(B)=L(A), le nombre d’états de B est supérieur ou égal à celui de Amin.

Tous les automates minimaux C tel que L(C)=L(A), sont identiques à un renommage de leurs états prés : on peut parler
d’unicité.

2
 28/03/2020

AUTOMATE DÉTERMINISTE MINIMAL

Algorithme de minimisation :(raffinements successifs)

Itération i=0 (construire deux classes d’équivalence : les états d’acceptation F et les états de non acceptation Q-F)

p ≈0 q ssi (p  F et q  F ) ou (p F et q F)

Itération i>0
p≈iq ssi
p≈i-1q
Et
Pour tout a  Σ : δ (p, a) ≈i-1 δ (q, a)

Arrêt de l’algorithme : quand ≈i est identique à ≈i-1

Supprimer tous les états morts et ceux non accessibles depuis l’état de départ.

AUTOMATE DÉTERMINISTE MINIMAL

Exemple : Construction des classes d’équivalences

Soit A (Σ, Q, δ, q0, F) tel que Σ= {a, b}, Q= {1, 2, 3, 4, 5, 6}, q0=1, F= {3, 6}

Et δ définie par

3
 28/03/2020

AUTOMATE DÉTERMINISTE MINIMAL

δ (1, b)=2  classe équivalence II

Les transitions de E1 (dernier ensemble de classe d’équivalence) sur a et b donne la table de transition de l’automate minimale

AUTOMATE DÉTERMINISTE MINIMAL

δ (I, a)=III, δ(I, b)=II, δ(II, a)=I, δ(II, b)=III…
Ce qui donne l’automate minimal suivant: