В первых двух строках приводится описание использованных в программе переменных.
Далее в самой программе вводятся значения элементов массива A.
В строке m:=1; , понятное дело, задается значение переменной m.
for k:=1 to 10 do - указывает на начало цикла с параметром (его особенность в том, что известно точное количество шагов цикла)
k:=1 - задание начального значения параметра k, 10 - конечное значение параметра.
Если выполняется условие A[k]≥A[m] тогда m увеличивают на 1.
т.е. на первом шаге рассматриваются А[1] (k=1) и A[1] (m=1), на втором шаге рассматриваются А[2] (k=2) и A[2] (m уже =2), и так далее.
Так как на каждом шаге цикла сравниваются одинаковые элементы массива, то условие A[k]≥A[m] всегда верно, поэтому после 10 шага m=11. На этом цикл завершается и на экран выводится последнее значение m. (т.е. 11). Надеюсь, все ясно.