La seva sintaxi ve donada a la taula 8.
En aquesta estructura, la condició de sortida del bucle està al final. És l'expressió que segueix a while entre parèntesi. El valor de l'expressió pot ser CERT o FALS. El bucle es continuarà executant mentre la condició booleana de repetir sigui CERTA. És equivalent a l'estructura while, però amb la diferència que l'avaluació de la condició es realitza després de l'execució del bucle (sempre s'executarà el bucle almenys una vegada). Una altra diferència entre aquesta estructura i la del bucle d'estructura while és que aquí sempre hi ha un punt i coma després de while.
S'ha de tenir en compte que un dels errors més freqüents que es poden arribar a fer en aquests bucles és l'anomenat bucle infinit. El programa ``es penja'' per no incrementar la variable, per no inicializar-la o per utilitzar una condició errònia.
Taller de simulació medi ambiental