Na lógica de programação estruturada, existem estruturas de controle bem definidas que permitem representar qualquer algoritmo de forma clara e organizada. De acordo com esse paradigma, existem três estruturas básicas que, combinadas, são suficientes para expressar a solução de qualquer problema computacional. Essas estruturas são: