Aula Teórica 5: Programação Imperativa

Composição iterativa
Comandos Compostos — 3
Seja expb uma expressão booleana e exp uma expressão
arbitrária (que, em particular, pode ser um comando).
Sintaxe WHILE[expb,expr]
Comporta-se como um ponto fixo (diz-se um ciclo)
enquanto expb for verdadeira, executa expr
Exemplo: WHILE[x > 1,x = x − 1]
(quantas vezes é executado o corpo do ciclo?)
Nota: se expb é falsa na primeira avaliação, exp nunca é
executada (exemplo: WHILE[1 == 0, 1]); se expb nunca se
torna falsa, o ciclo não termina (exemplo:
WHILE[1 == 1, 1])
Elementos de Programação (LEGI) Aula Teórica 5: Programação Imperativa – p.8