Maquina de estados para baixo nivel adicionado. Falta inserir referencia no .tex