Riduzioni controllate da algoritmo