(1) En sekvens av dator program uttalanden som utförs upprepade gånger tills ett visst villkor är uppfyllt eller medan ett angivet villkor är true.~(2) att köra en sekvens av dator program uttalanden som (1).