Por que uma catraca às vezes apita e, em outras, libera a passagem sem demora? Em um terminal de ônibus, a…
Publicado por Alexandre Lombardi dos Santos, fundador do GeraProva
Usar autômatos para descrever comportamentos de forma abstrata automatizando-os através de uma linguagem de programação baseada em eventos.
Fonte: Base Nacional Comum Curricular (MEC).Questão
Por que uma catraca às vezes apita e, em outras, libera a passagem sem demora? Em um terminal de ônibus, a empresa de manutenção vai atualizar o software das catracas para reduzir filas e registrar falhas. O equipamento tem: leitor de cartão, sensor que detecta a passagem, sensor que percebe “empurrão” na barra e um relógio interno. As regras combinadas foram: iniciar travada (luz vermelha). Se o cartão for validado, a catraca deve liberar (luz verde) por até 5 s. Se a pessoa passar nesse intervalo, volta a travar. Se os 5 s terminarem sem passagem, volta a travar e registra “liberou sem uso”. Se o cartão for recusado, continua travada e apenas apita. Se houver empurrão quando travada, dispara alarme por 3 s e, ao terminar, volta a travar. Analise as regras do terminal e identifique o modelo de autômato baseado em eventos que representa esse comportamento de forma determinística, sem depender de verificações em laço contínuo.
- A) Usar estados Travada, Liberada e Alarme; válido: Travada->Liberada; empurrão: Travada->Liberada; expira5: Liberada->Travada+log; inválido: Travada->apito; passagem: Liberada->Travada; expira3: Alarme->Travada.
- B) Usar estados Travada, Liberada e Alarme; válido: Travada->Liberada; passagem: Liberada->Travada; expira5: Liberada->Travada; inválido: Travada->Alarme; empurrão: Travada->Alarme; expira3: Alarme->Travada.
- C) Usar estados Travada e Liberada; válido: Travada->Liberada; passagem: Liberada->Travada; expira5: Liberada->Liberada; inválido: Travada->apito; empurrão: Travada->apito.
- D) Usar estados Travada, Liberada e Alarme; válido: Travada->Liberada; passagem: Liberada->Travada; expira5: Liberada->Travada+log; inválido: Travada->apito; empurrão: Travada->Alarme; expira3: Alarme->Travada.
- E) Usar estados Travada, Liberada e Alarme; criar um laço que consulta sensores a cada 1 s e, se válido, libera por 5 s; se empurrão, liga alarme por 3 s.
✅ Resposta correta: alternativa D
Resolução passo a passo
- Identifique os estados necessários. A catraca precisa de três situações: Travada (estado inicial, luz vermelha), Liberada (luz verde, por até 5 s) e Alarme (por 3 s após empurrão). Passo 2: Mapeie os eventos e as transições conforme as regras. Cartão validado: Travada vai para Liberada. Passagem detectada em Liberada: volta para Travada. Expiração de 5 s em Liberada: volta para Travada e registra liberou sem uso. Cartão recusado: continua em Travada e apenas apita, sem mudar de estado. Empurrão em Travada: vai para Alarme. Expiração de 3 s em Alarme: volta para Travada. Passo 3: Confira o determinismo. Cada par estado-evento tem no máximo uma transição, e o tempo é tratado como evento de expiração do relógio interno, não como verificação em laço. Isso torna o modelo um autômato finito baseado em eventos. Passo 4: Compare as alternativas. A alternativa D reproduz exatamente essas transições. A alternativa A erra ao ligar o empurrão à liberação da catraca. A alternativa B erra ao mandar o cartão recusado para o alarme e ao não registrar o log na expiração. A alternativa C erra ao manter a catraca liberada indefinidamente após os 5 s e ao tratar o empurrão apenas como apito. A alternativa E erra ao propor um laço de consulta a cada 1 s, contrariando a exigência de modelo baseado em eventos sem verificações contínuas. Passo 5: Conclusão: o gabarito D está correto e coincide com a minha resolução.
💡 Dica: Analise as regras e relacione os estados e transições do autômato.
Alternativa por alternativa
Acredita que um empurrão na barra libera a passagem, como se fosse um cartão validado. Não separa o evento de empurrão, que deveria disparar o alarme, do evento de validação.
Por que engana: Confundir transições e estados, ou interpretar incorretamente as regras de eventos e tempos.
Imagina que um cartão recusado deve disparar o alarme, misturando essa situação com o empurrão. Além disso, esquece que o fim dos 5 s deve registrar o log liberou sem uso.
Entende que, após os 5 s, a catraca continua liberada (Liberada para Liberada), sem voltar a travar. Também trata o empurrão apenas com apito, ignorando o alarme de 3 s e o estado Alarme.
Modela estados e transições por eventos, inclui temporizadores e ações (apito/log) exatamente como descrito, mantendo uma única transição por evento em cada estado.
Confunde modelo baseado em eventos com verificação periódica, propondo um laço que consulta sensores a cada 1 s. Isso contraria a exigência de um autômato determinístico sem dependência de laço contínuo.
Raio-X da questão
autômato finito determinístico
avaliacao
conceito de autômato finito · eventos e estados em sistemas
Estude autômatos finitos e transições baseadas em eventos.
Confundir transições e estados, ou interpretar incorretamente as regras de eventos e tempos.
ciencia_tecnologia
pensamento_critico
cotidiano
Questões parecidas com resolução
- No cruzamento próximo a uma unidade de saúde, um semáforo possui botão para solicitação de travessia e sinal sonoro para…
- Quais elementos são essenciais para construir um programa baseado em eventos utilizando autômatos?
- Projete um autômato baseado em eventos que valide sequências de comandos de um robô educacional: o comando 'iniciar'…
- — Se o nível do córrego diminuir, isso não significa que a área já foi vistoriada — alertou a agente da Defesa Civil…
- Por que um botão apertado várias vezes pode alterar o funcionamento de um sinal de travessia? Em uma avenida…
- — Este terminal vai ajudar a devolver os livros sem formar fila — explicou a bibliotecária. Ao receber um livro, o…
Todas as questões de Programação - Autômatos e linguagens baseadas em eventos
🔎 Resolver outra questão
Cole o enunciado e veja a resolução passo a passo, a alternativa correta e por que as outras estão erradas.
Professor: monte a prova com questões como esta, com gabarito e folha de respostas, em 30 segundos. Ver planos · Blog
