Cours de Th´eorie des Langages et Automates (Licence 3)
G.H.E. Duchamp, S´eance (6), 12 nov. 2012
[email protected] (Ann´ee 2012-2013)
Plan
1. Exemple d’automate de d´ecalages (d´eterministe) 2. Algorithme des d´ecal´es
3. Automate minimal
4. Algorithme de minimisation
G.H.E. Duchamp, S´eance (6), 12 nov. 2012 Cours de Th´eorie des Langages et Automates (Licence 3)
baA∗
abaA∗ start
∅
aA∗
A∗ a
b a
b
a,b
a b
a b
L+ba+a start L
L+ba+a+ǫ
L+a a
b
b
a
a
b a b
Figure: Automate des d´ecal´es deL=A∗(aba+aa).
G.H.E. Duchamp, S´eance (6), 12 nov. 2012 Cours de Th´eorie des Langages et Automates (Licence 3)
on construit alors l’automate des d´ecal´es de la faon suivante
• Proc´ed´e(??)
1. Donn´ees : Un alphabet (fini)Aet un langageL⊂A∗ 2. Etat initial :´ L
3. Transitions : L1−→x L2 siL2=x−1L1
4. Etats : le plus petit ensemble qui puisse supporter les transitions´ ci-dessus
5. Etats finaux : les´ Li tels queǫ∈Li
L’automate obtenu est un ADC (pas n´ecessairement fini !) qui reconnait le langageL.
On peut aussi produire un automate (non d´eterministe en g´en´eral) en construisant une famille de langages (Li)i∈I={1..n}
◮ dont fait partie L
◮ qui soit stable par d´ecalage.
Le deuximme point veut dire que les d´ecal´es de toutLi sont des unions desLi. Soit
(∀i∈I)(∀a∈A)(a−1Li=X
µij(a)Lj) (1)
