Vous êtes sur la page 1sur 9

Automate fini déterministe

Un automate est un quintuplet (cinq-uplet) (∑, E, S, T, F) avec :


∑ : est un alphabet
E : ensemble fini d’états
S : état initial
T : ensemble de règles de transitions (fonction de transition)
F : ensemble des états finaux ou accepteurs (sous ensemble
de E)
L’automate fini déterministe (AFD) prend en entrée un mot (une
chaîne) et l’accepte ou le rejette.
 On dit qu’il le reconnaît ou ne le reconnaît pas.
Le langage associé à AFD est constitué de l’ensemble des mots
qu’il reconnaît.

19/10/2017 1
Automate fini déterministe

Un mot est une séquence finie de symboles (chaîne) issus


d’un même alphabet.
La longueur du mot w (notée |w|) est définie par le nombre de
caractères composant ce mot.
Le mot vide, noté ε a une longueur égale à 0.
Un langage est un ensemble de mots définis sur le même
alphabet.

19/10/2017 2
Automate fini déterministe

a|b
Exemple:
a b
- Alphabet: ∑ ={a,b} q0 q1 q3

- Ensemble d’états: E={q0, q1, q2, q3} b


a
- Etat initial: S={q0} q2

- Ensemble d’états finaux: F={q1, q3}

Notation: L’etat initial est désigné par une flèche et les états
finaux par des doubles cercles.

19/10/2017 3
Automate fini déterministe

Un AFD est un ensemble d’états représentés par des cercles,


et un ensemble de transitions représentées par des flèches (ou
arcs) reliant les états.
Les arcs sont étiqueté par les symboles de ∑.
Un AFD permet de reconnaitre les différents mots d’un
langage.
Le dernier état qui permet de reconnaitre une unité lexicale
s’appelle état final (état accepteur).
Un AFD accepte un mot donné s’il existe un chemin de
l'état initial à un état final étiqueté par tous les caractères
du mot.

19/10/2017 4
Automate fini déterministe

Etat puit:
Dans un AFD, l’état puit est un état à partir duquel on ne peut
pas aller à l’état final.
Un DFA peut avoir plusieurs états puit.

q2
a|b
b
a
q0 q1 q3
a b

q2 est un état puit

19/10/2017 5
Automate fini déterministe

Un AFD est un diagramme qui vérifie les deux critères:


- dans l’automate on doit pas avoir des transitions vides (Ɛ-
transitions).
- À partir d’un état donné, on ne peut pas avoir deux ou
plusieurs arcs sortant qui portent la même étiquette (symbole).

Exemple:
L’automate suivant n’est pas déterministe. b
a b
q0 q1 q3

b a
a
q2

19/10/2017 6
Automate fini déterministe

Automate fini non déterministe:


Un automate fini non déterministe (AFN) est un automate
dans lequel et à partir d’un état donné, il peut y
avoir plusieurs transitions avec le même symbole.
Les AFN permettent de modéliser facilement des
problèmes complexes.
Un peut être converti en un AFD.
Un AFD est souvent grand que l’AFN dont il est issu.

19/10/2017 7
Automate fini déterministe

Dans le cas où une unité lexicale est donnée par une


expression régulière, cette dernière est transformée directement
en un AFD ou en un AFN qui transformé par la suite à un AFD.
ER  AFN  AFD

19/10/2017 8
Automate fini déterministe

Exercices

19/10/2017 9