République démocratique du Congo
MINISTERE DE L’ENSEIGNEMENT SUPRIEUR ET
UNIVERSITAIRE
UNIVERSITE PEDAGOGIQUE NATIONALE
UPN
FACULTE DE SCIENCE ET TECHNOLOGIE
DEPARTEMENT DE MATHEMATIQUE, STATISTIQUE ET INFORMATIQUE
Travail pratique
De
Compilation
L3, LMD IAG
MAKETA MBALA Jeancy
MATE LANDY GILGEN
Prof
2025-2026
Résolution
Automate donné
Alphabet : Σ = {a,b}
États :
Q = {q0,q1,q2,q3,q4,q5,q6,q7,q8,q9}
État initial :
q0
États finaux :
F = {q7,q9}
Tableau de transition
Etat a b
q0 {q0,q1} {q0}
q1 {q2} {q3}
q2 {q2} {q4}
q3 {q2} {q5}
q4 {q6} {q4}
q5 {q6} {q5}
q6 {q7} {q8}
q7 {q7} {q7}
q8 {q9} {q8}
q9 {q9} {q9}
Première partition
Groupe États
P1 {q7,q9}
P2 {q0,q1,q2,q3,q4,q5,q6,q8}
Deuxième partition (analyse des transitions)
État a b Groupe
q0 q0,q1 q0 P2
q1 q2 q3 P2
q2 q2 q4 P2
q3 q2 q5 P2
q4 q6 q4 P2
q5 q6 q5 P2
q6 q7 q8 P1,P2
q8 q9 q8 P1,P2
On obtient ;
Groupe États
P1 {q7,q9}
P2 {q0,q1,q2,q3,q4,q5}
P3 {q6,q8}
Troisième partition
On continue la séparation ;
État a b
q0 q0,q1 q0
q1 q2 q3
q2 q2 q4
q3 q2 q5
q4 q6 q4
q5 q6 q5
On obtient ;
Groupe États
P1 {q7,q9}
P2 {q4,q5}
P3 {q2,q3}
P4 {q6}
P5 {q8}
P6 {q1}
P7 {q0}
Etats de l’automate minimal
Nouvel Etat États originaux
A {q0}
B {q1}
C {q2,q3}
D {q4,q5}
E {q6}
F {q8}
G {q7,q9}
Tableau de transition minimal
État a b
A A,B A
B C C
C C D
D E D
E G F
F G F
G G G
Schema de l’automate