Um algoritmo representa uma sequência infinita e ambígua de instruções elementares bem definidas, de acordo com a solução de determinado problema. Cada sequência infinita pode ser executada mecanicamente em uma quantidade infinita de tempo.