Um algoritmo é uma sequência finita e bem definida de passos que transforma entrada na saída desejada. Julgamos com base em dois eixos: correctness (sempre produz a resposta correta?) e efficiency (quanto tempo e memória usa?).
Por que isso importa
Um algoritmo válido deve ser (cada passo é claro), (termina) e produzir o resultado para cada entrada válida.
