As estruturas de controle sequenciais, de seleção (ou de decisão) e de repetição (ou de iteração ou loop) são unidades básicas na escrita de algoritmos. Todas essas estruturas possuem condições a serem testadas; algumas realizam atribuição de variáveis, mas somente uma pode inicializar variáveis.