Na programação estruturada, existem estruturas de sequência, de decisão e de iteração. No primeiro tipo, uma tarefa é executada após a outra, linearmente. No segundo, a partir de um teste lógico, determinado trecho de código é executado, ou não. No terceiro, a partir de um teste lógico, determinado trecho de código é repetido por um número finito de vezes.