O que caracteriza um algoritmo correto?