Uma das propriedades que caracterizam os algoritmos é a