Aut贸matas de estados finitos

https://es.wikipedia.org/wiki/Aut%C3%B3mata_de_estados_finitos

https://es.wikipedia.org/wiki/Aut%C3%B3mata_de_estados_finitos

Recopilaci贸n de ejercicios 煤tiles para la comprensi贸n de los problemas sobre sistemas deterministas secuenciales.

Este ejemplo muestra la equivalencia de las dos representaciones en el caso de una m谩quina de Moore. Diagrama de estados. Tabla de estados. S0 S1 S2 00. S1 S3 S2 01. S2 S1 S3 10. S3 S3 S U. s0. s s2. s Redes L贸gicas A.

Para simular los aut贸matas de estados finitos se podr铆a utilizar

http://www.jflap.org/

Ejercicio ASF

Estudiar el aut贸mata que detecta la presencia de tres unos consecutivos.

I = { 0, 1}

U = { 0, 1}

S = {A, B, C, D}

Se parte de A, entra 0 se queda en A, entra 1 se va a B, en C entra 0 y se reparte de A, si en cambio entra 1 el sistema est谩 en equilibrio.

Analog铆a entre aut贸mata y algoritmo.

int IN = 0, OUT = 0;

while (1) 铆

IN = random (1);

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

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