Dentre as estruturas lógicas usadas na programação de computadores existe um sistema de execução até que uma condição seja atendida (loop) dentro da lógica. Executa, testa se atendeu a condição e sai ou torna a executar, de acordo com a resposta à condição.
Esse tipo de estrutura é chamado: