Esta estructura permite al programador repetir una acción mientras alguna condición continúe siendo verdadera.