Finite State Automata

https://en.wikipedia.org/wiki/Finite-state_machine

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

Collection of useful exercises for understanding problems on deterministic sequential systems.

This example shows the equivalence of the two representations in the case of a Moore machine. State diagram. State table. S0 S1 S2 00. S1 S3 S2 01. S2 S1 S3 10. S3 S3 S U. s0. s s2. s Logical Networks A.

To simulate finite state automata, you could use

http://www.jflap.org/

Finite State Automaton Exercise

Study the automaton that detects the presence of three consecutive ones.

I = {0, 1}

U = {0, 1}

S = {A, B, C, D}

Start from A, enter 0 and stay in A, enter 1 and go to B, in C enter 0 and restart from A, if instead enter 1 the system is in equilibrium.

Analogy between automaton and algorithm.

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;}