Conjunto ordenado e finito de regras bem definidas destinadas à resolução de um problema.