Trafic Light
Trafic Light
Trafic Light
Feux de circulation
Réalisé par :
EL BOUAZZAOUI ACHRAF
ELAZOUZI MOUSTAFA
JBILOU MOHAMED
1. Définition d’une machine a état fini :
Une machine a état fini est une abstraction mathématique utilisée pour concevoir des
algorithmes, Une machine d’état lit un ensemble d’entrées et effectue une transition d’état en
fonction de ces entrées.
Un état est une description de l’état d’un système en attente d’exécution d’une transition. Une
transition est un ensemble d’actions a exécutée lorsqu’une condition est remplie ou qu’un
évènement est reçu. Dans un diagramme d’état, les cercles représentent chaque état possible et
les flèches représentent les transitions entre les états.
X 1 INIT E0 1 0 0 1 0 0 1 0 0 1 0 0
X 0 INIT INIT 1 0 0 1 0 0 1 0 0 1 0 0
1 X E0 E1 0 0 1 1 0 0 0 0 1 1 0 0
0 X E0 E0 0 0 1 1 0 0 0 0 1 1 0 0
X 1 E1 E2 0 1 0 1 0 0 0 0 1 1 0 0
X 0 E1 E1 0 1 0 1 0 0 0 0 1 1 0 0
1 X E2 E3 1 0 0 1 0 0 0 0 1 0 0 1
0 X E2 E2 1 0 0 1 0 0 0 0 1 0 0 1
X 1 E3 E4 1 0 0 1 0 0 0 1 0 0 1 0
X 0 E3 E3 1 0 0 1 0 0 0 1 0 0 1 0
1 X E4 E5 1 0 0 0 0 1 1 0 0 1 0 0
0 X E4 E4 1 0 0 0 0 1 1 0 0 1 0 0
X 1 E5 E0 1 0 0 0 1 0 1 0 0 1 0 0
X 0 E5 E5 1 0 0 0 1 0 1 0 0 1 0 0