Detalhes sobre a redução automática discreta