Modelagem de um sistema embarcado como um autômato finito determinístico que auxilie na validação do boi em vaquejadas

Abstract

Em uma vaquejada o boi pode ser validado ou invalidado, um boi validado é aquele que foi derrubado pelo puxador entre as duas faixas de pontuação seguindo todas as regras da vaquejada. No presente trabalho é modelado um sistema embarcado como um autômato finito determinístico (AFD), que tem como função auxiliar a decisão do juiz da vaquejada 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. O AFD modelado conta com estados como "Espera", "Validado" e "Invalidado", e utiliza o alfabeto "Validação", "Invalidação" e "Reset".