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: