El conjunto de reglas que, aplicadas sistemáticamente a unos datos de entrada apropiados, resuelven un problema en un número finito de pasos elementales, es decir, una serie de instrucciones sencillas que se llevan a cabo para solventar un problema.