На первом этапе прохождения первого цикла (s mod 10 =0) условие выполнится, так как (2014120150 mod 10 =0). mod -выделение остатка от деления, если число 2014120150 делить на 10, то остаток 0. а так как условие выполнится, то следуем по ветке "Да" и переменная a :=0+1=1 (то есть переменная а станет равной 1)
Далее выполняется действие 2014120150 div 10 =201412015 (то есть s примет значение уже 201412015)
Дальше идет проверка условия 201412015 >=10, так как условие выполняется, то цикл повторяется опять.
и так каждый раз, то есть переменная а-счетчик нулей,их всего три, поэтому на выходе а=3