Modelagem de um sistema embarcado como um Autômato Finito Determinístico que auxilie na validaçãodo boi em vaquejadas

Autores

DOI:

https://doi.org/10.56814/pecen.v8ie.2206

Resumo

O objetivo geral deste trabalho é modelar um sistema embarcado por meio de um Autômato Finito Determinístico (AFD), que pode vir a apoiar juízes em suas decisões, durante as vaquejadas na validação da queda do boi, dentro ou fora da faixa (objetivo do esporte), uma vez que, o juiz de vaquejada, pode ter dificuldade para julgar o boi, em algumas situações. Um levantamento das regras da vaquejada foi realizado baseado no Regulamento Geral da Vaquejada e no Manual de Julgamento de Boi, um estudo sobre os AFDs e uma discussão sobre computação de resultados em uma vaquejada. Além disso, foi modelado um AFD com estados como "Espera", "Validado" e "Invalidado", e utilizado o alfabeto "Validação", "Invalidação" e "Reset". Este estudo acadêmico introduziu a questão da dificuldade na validação do boi em vaquejadas e propôs uma solução através da modelagem do sistema como um Autômato Finito Determinístico.

Downloads

Publicado

15-01-2025

Edição

Seção

CIÊNCIAS MATEMÁTICAS / MATHEMATICAL SCIENCES