Automato funcionando. Falta remover indeterminismos