Conjunto ordenado y finito de operaciones que permite hallar la solución de un problema.