Em uma solução com circuitos sequenciais aplicada em uma criação de suínos, um robô é conduzido por trilhos e pode abastecer 3 baias e o robô pode também parar na zona de abastecimento para se carregar ou parar na estação de manutenção. Considerando estes 5 estados (3 baias + abastecimento + parado-manutenção), um circuito sequencial precisaria de no mínimo [preencher 1]. E ao realizar o diagrama de transição de estados, os arcos saindo de cada estado devem ser [preencher 2], isto é, deve prever transições para toda a combinação de entradas e devem ser também [preencher 3], evitando que haja transições conflitantes, com mesma configuração de entradas.

Para resolver esta questão, precisamos aplicar conceitos de circuitos sequenciais digitais, especificamente sobre máquinas de estados finitos.

Análise Passo a Passo:

1. Cálculo dos Flip-Flops ([preencher 1]):

• O enunciado informa que o sistema possui 5 estados distintos (3 balsas + zona de abastecimento + estação de manutenção).
• Para representar N estados em binário, precisamos de n bits (flip-flops) tais que $2^n \geq N$.
• Substituindo N=5:
• Se n=1 \rightarrow 2^1 = 2 (insuficiente)
• Se n=2 \rightarrow 2^2 = 4 (insuficiente)
• Se n=3 \rightarrow 2^3 = 8 (suficiente, pois $8 > 5$)
• Portanto, são necessários 3 flip-flops.

1. Definição das Transições ([preencher 2] e [preencher 3]):

• Em diagramas de transição de estados, para que o sistema funcione corretamente sem ambiguidades, as condições de saída devem obedecer a duas regras lógicas fundamentais:
• Mutualmente Exclusivos: Significa que, para um estado atual, apenas uma condição de entrada pode ser verdadeira por vez para levar a uma saída específica. O texto diz: "deve prever transições para apenas uma combinação de entradas". Isso define a exclusividade mútua (não pode haver conflito de duas saídas para a mesma entrada).
• Coletivamente Exaustivos: Significa que todas as combinações possíveis de entrada devem ter uma transição definida. Isso evita que o sistema fique "parado" em caso de uma entrada não prevista.

Aplicação às Lacunas:

• [preencher 1]: 3 flip-flops.
• [preencher 2]: O texto enfatiza "apenas uma combinação", logo, Mutuamente exclusivos.
• [preencher 3]: O termo complementar obrigatório em projetos de autômatos para garantir cobertura total é Coletivamente exaustivos.

Comparação com as Alternativas:

Isso corresponde exatamente à Alternativa B.

Análise Detalhada

• Lógica Binária: O número de estados define a capacidade mínima de memória necessária. Como 4 estados cabem em 2 bits e 5 estados exigem um bit extra, chegamos a 3 bits (flip-flops).
• Determinismo: Um circuito sequencial determinístico não pode ter duas respostas para a mesma pergunta. Por isso, as condições de saída devem ser mutuamente exclusivas.
• Completude: O sistema não pode falhar se receber um sinal inesperado dentro do seu domínio. Por isso, as condições devem ser coletivamente exaustivas, cobrindo 100% das possibilidades.

Alternativa B.