Escreva o conjunto mínimo de transições, em formato 'origem --evento--> destino', para um autômato com estados…
Publicado por Alexandre Lombardi dos Santos, fundador do GeraProva
Explorar e construir a solução de problemas por meio de refinamentos, utilizando diversos níveis de abstração desde a especificação até a implementação.
Fonte: Base Nacional Comum Curricular (MEC).Questão
Escreva o conjunto mínimo de transições, em formato 'origem --evento--> destino', para um autômato com estados {I,S1,S2,F} (I inicial, F de aceitação) tal que: de I, 'A'?S1 e 'B'?S2; em S1 ou S2, o evento 'OK' leva a F.
- A) I --OK--> S2
- B) I --A--> I
- C) I --A--> S1; I --B--> S2; S1 --OK--> F; S2 --OK--> F
- D) S1 --A--> F
- E) I --B--> F
✅ Resposta correta: alternativa C
Resolução passo a passo
- Identifique o que o enunciado exige. Do estado inicial I, o evento 'A' deve levar a S1 e o evento 'B' deve levar a S2. Em S1 e em S2, o evento 'OK' deve levar ao estado de aceitação F. Como se pede o conjunto mínimo, não devemos acrescentar transições que não sejam exigidas.
- Monte as transições exigidas: I --A--> S1 (vem de 'A'?S1); I --B--> S2 (vem de 'B'?S2); S1 --OK--> F (OK leva de S1 a F); S2 --OK--> F (OK leva de S2 a F). São exatamente quatro transições, e nenhuma delas é redundante.
- Compare com as alternativas. A alternativa C contém exatamente essas quatro transições, por isso é a correta, e coincide com o gabarito oficial.
- Por que as outras estão erradas. A: traz I --OK--> S2, que não é exigido, pois OK só parte de S1 ou S2. B: traz I --A--> I, que cria um laço no estado inicial não previsto no enunciado. D: traz S1 --A--> F, que não é exigido, já que de S1 só se pede o evento OK. E: traz I --B--> F, que ignora o fato de que B leva a S2 e não diretamente a F.
💡 Dica: Identifique as transições a partir do estado inicial.
Alternativa por alternativa
O aluno inverteu a ideia de quem leva a quem: achou que o evento OK pode sair do estado inicial e levar a S2, misturando a regra de OK com a de B.
Por que engana: O aluno pode confundir as transições corretas, escolhendo uma alternativa que não considera todos os estados e eventos necessários para chegar ao estado de aceitação.
O aluno leu 'de I, A?S1' como se A mantivesse o autômato no estado inicial, criando um laço em I em vez de ir para S1.
Essas quatro transições cumprem a especificação: partir de I a sequência terminada em OK passa por S1/S2 e atinge F.
O aluno confundiu o evento que sai de S1 (que é OK) com o símbolo A, e ainda pulou para o estado de aceitação, invertendo a ordem da transição.
O aluno acredita que a transição com B leva direto ao estado de aceitação F, ignorando que B conduz a S2 e que só depois de OK é que se chega a F.
Raio-X da questão
autômatos finitos
avaliacao
transições de autômatos finitos · estados de autômatos
Revisar a definição e funcionamento de autômatos finitos.
O aluno pode confundir as transições corretas, escolhendo uma alternativa que não considera todos os estados e eventos necessários para chegar ao estado de aceitação.
ciencia_tecnologia
pensamento_critico
abstrato
Questões parecidas com resolução
- Em um protótipo de sistema de irrigação automática, um autômato representa duas condições de funcionamento: S0, quando a…
- Em uma oficina escolar, um robô separador de materiais é modelado como um autômato finito. Ele começa no estado S0 e…
- Considere um autômato com estados q0 (inicial) e q1 (aceitante). Transições: em 'coin' q0?q1 e q1?q1; em 'push' q1?q0 e…
- Qual o número mínimo de estados necessários em um autômato determinístico baseado em eventos para reconhecer todas as…
- Ao projetar um autômato finito que reconhece uma linguagem simples de comandos, qual procedimento reduz o número de…
- Em um autômato orientado a eventos, o que provoca a transição imediata entre estados?
🔎 Procurar outra questão
Procure no banco do GeraProva pelo tema ou por um trecho do enunciado. Cada questão já vem com resolução comentada e a análise de cada alternativa.
Professor: monte a prova com questões como esta, com gabarito e folha de respostas, em 30 segundos. Ver planos · Blog
