(1) Una sequenza di istruzioni di programma di computer che viene eseguito ripetutamente finché è soddisfatta una determinata condizione o mentre una determinata condizione è true.~(2) per l'esecuzione di una sequenza di istruzioni di programma di computer come in (1).