(1) En sekvens af computeren automatisk erklæringer, som er blevet udført gentagne gange indtil en bestemt betingelse er opfyldt eller under en bestemt betingelse er true.~(2) til at fuldbyrde en sekvens af computeren automatisk sætninger (1).