Em algoritmos, as estruturas de controle estabelecem instruções por meio de expressões condicionais. Essas instruções orientam o computador sobre o que processar e como manipular os dados para resolver um problema computacional. Existem três principais lógicas de funcionamento: em uma delas, um conjunto de instruções, ou uma única instrução, é executado várias vezes, enquanto a condição definida no teste condicional for atendida. O laço continua até que a condição seja atendida, encerrando a execução. A estrutura descrita denomina-se: