Em algumas linguagens de programação utiliza-se
estruturas lógicas. Uma delas consiste em executar uma
função até que determinada condição seja atendida,
dentro do conceito: verifica a condição, e executa se não
estiver atendida. Trata-se da seguinte estrutura: