Maquina de estados para baixo nivel adicionado (arquivo asta). Falta inserir referencia no .tex