(1) Un conjunto finito de reglas bien definidas para la solución de un problema en un número finito de pasos; por ejemplo, una especificación completa de una secuencia de operaciones aritméticas para evaluar el seno x a un precision.~(2) dado cualquier secuencia de operaciones para realizar una tarea específica.