Segundo Henrique (1996), um algoritmo é uma sequência finita de instruções bem definidas e não ambíguas, cada uma das quais pode ser executada mecanicamente num período de tempo finito e com uma quantidade de esforço finita. Um algoritmo não representa, necessariamente, um programa de computador, e sim os passos necessários para realizar uma tarefa. Sua implementação pode ser feita por um computador, por outro tipo de autômato ou mesmo por um ser humano. Em outras palavras, o algoritmo é uma descrição abstrata para a resolução de um problema e o programa é uma descrição concreta em termos de instruções em uma máquina específica para a resolução de um problema.