(1) Um conjunto finito de regras bem definidas para a solução de um problema em um número finito de passos; por exemplo, uma especificação completa de uma seqüência de operações aritméticas para avaliar seno x para um determinado precision.~(2) qualquer seqüência de operações para executar uma tarefa específica.