Модуль: Instrucción de bucle con condición - while

Задача

Dado un fragmento de programa, determine cuántas veces se ejecutará el ciclo while en él y cuál es el valor de la variable a después de ejecutar este ciclo.
La respuesta debe darse en la forma <número>;<número>
Por ejemplo, si el ciclo se ejecuta 5 veces y el valor de la variable es igual a 10, entonces en la respuesta debe especificar la cadena 5;10< br />
Si el ciclo se repite, debe especificar solo una palabra INF

Fragmento del programa un := 8; b := 12; mientras que un < b hacer   a-= 1;