Em um sistema de logística, um robô é utilizado para direcionar pacotes para diferentes destinos com base em um código de barras presente em
cada pacote. O robô funciona com uma máquina
de estados com quatro estados: S0, S1, S2 e S3,
que representam diferentes destinos. A lógica da
máquina de estados é:
• No estado S0: com entrada 1, vai para S1; com
entrada 0, permanece em S0.
• No estado S1: com entrada 1, vai para S2; com
entrada 0, volta para S0.
• No estado S2: com entrada 1, retorna para S1;
com entrada 0, vai para S3.
• No estado S3: independente da entrada, retorna para S0.
Se o robô começa no estado S0 e recebe as entradas: 1, 1, 0, qual será o estado final?