Voici un exemple de transformation d'un automate fini non déterministe (AFN) en un

automate fini déterministe (AFD) :

Considérons l'AFN suivant :

État initial : q0 États finaux : q2, q3

État 0 1 Ε

q0 q0 q0 q1

q1 q2 q3

q2

q3

On peut le transformer en AFD en suivant les étapes suivantes :

1. Déterminisation : Pour chaque état, on calcule l'ensemble des états accessibles par ε-
transition, puis on calcule l'ensemble des états atteints en lisant un symbole donné.

On obtient l'automate suivant :

État 0 1

{q0} {q0} {q0,q1}

 État 0 1

{q0,q1} {q2,q3} {q2,q3}

{q2,q3} ∅ ∅

2. Création de nouveaux états : On crée un nouvel état pour chaque ensemble d'états
obtenus à l'étape précédente.

On obtient l'automate suivant :

État initial : {q0} États finaux : {q2,q3}

État 0 1

{q0} {q0} {q0,q1}

{q0,q1} {q2,q3} {q2,q3}

{q2,q3} ∅ ∅

Cet automate est déterministe et équivalent à l'automate initial.