Automates à états finis

https://it.wikipedia.org/wiki/Automa_a_stati_finiti

https://it.wikipedia.org/wiki/Automa_a_stati_finiti

Collection d'exercices utiles pour comprendre les problèmes sur les systèmes séquentiels déterministes.

Cet exemple montre l'équivalence des deux représentations dans le cas d'une machine de Moore. Diagramme des états. Tableau des états. S0 S1 S2 00. S1 S3 S2 01. S2 S1 S3 10. S3 S3 S U. s0. s s2. s Réseaux Logiques A.

Pour simuler les automates à états finis, on pourrait utiliser

http://www.jflap.org/

Exercice ASF

Étudier l'automate qui détecte la présence de trois uns consécutifs.

I = { 0, 1}

U = { 0, 1}

S = {A, B, C, D}

On part de A, on entre 0 on reste en A, on entre 1 on va en B, en C on entre 0 et on repart de A, si on entre 1 le système est en équilibre.

Analogie entre automate et algorithme.

int IN = 0, OUT = 0;

while (1) í

IN = random (1);

if (IN == 1) OUT++; else OUT = 0;

if (OUT == 3) { printf ("1, 1, 1 ");OUT = 0; }