A instrução iterativa enq tem a seguinte forma:
enqe tem o seguinte significado: enquanto a condição c for verdadeira, a instrução a é executada. Ou seja, quando a instrução enq é encontrada, é calculado o valor da condição c, se o valor for verdade é executada a acção a e volta-se a calcular o valor da condição c. O processo é repetido até o valor da condição c ser falso. Note-se que se a condição for falsa à partida a acção não é executada nenhuma vez.
(c)
fenq
É importante ter cuidado na escolha da condição e da acção para garantir que a condição acabará por tomar o valor falso. Se tal nunca acontecer, o algoritmo fica infinitamente a executar a acção e a testar a condição e diz-se que entrou em ciclo infinito. O seguinte bocado de algoritmo gera um ciclo infinito:
xPara só aceitarmos valores entre 0 e 20 para a variável nota1, podemos escrever:10;
enq
(x>0)
fenq
...
ler(nota1);
enq
()
fenq
...
