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

Задача

Dado un fragmento de programa, determine cuántas veces se ejecutará el cuerpo del bucle while y cuál será el valor de la variable a después de ejecutar este bucle.
La respuesta debe darse en la forma <number>;<number>.
Por ejemplo, si el cuerpo del bucle se ejecuta 5 veces y el valor de la variable es 10, la respuesta debe contener la cadena 5;10.

Si el ciclo se repite, debe especificar solo una palabra INF.
 

Fragmento de programa

a = 8; b = 12; mientras (a < b) a--;