(1) רצף של משפטים של תוכניות המחשב המבוצע שוב ושוב עד שמתמלא תנאי נתון או בזמן לתנאי נתון הוא true.~(2) לבצע רצף של משפטי תוכנית מחשב כמו ב- (1).