Um programa de computador, constituído por um conjunto básico de estruturas de controle, cada um tendo uma entrada e uma saída. Estruturas de o conjunto de controle normalmente inclui: seqüência de duas ou mais instruções, selecção condicional de uma das duas ou mais sequências de instruções e a repetição de uma sequência de instruções.