Dentro dos conceitos de algoritmos estruturados, uma estrutura de repetição, onde o conjunto de comandos em seu interior é executado até satisfazer uma determinada condição, é conhecida como