(1) Una secuencia de instrucciones de programa de ordenador que se ejecuta repetidamente hasta que se cumpla una condición dada o en una condición determinada es true.~(2) para ejecutar una secuencia de instrucciones de programa de ordenador como en (1).