(1) Eine Sequenz von Computer-Programm-Anweisungen, die wiederholt ausgeführt wird, bis eine bestimmte Bedingung erfüllt ist oder während einer gegebenen Bedingung ist true.~(2), eine Folge von Computer-Programm-Anweisungen wie in (1) auszuführen.