T:=0;
{Обнуляем какую-то странную переменную - СП}
for k := N downto 1 do
{Идем по циклу от конца к началу}
іf (k=n) or (T<х[k]) then
{Если счетчик цикла в конце массива, т.е. мы не сделали ни одного шага, или СП меньше очередного элемента массива, то..}
T:=k;
{СП принимает текущее значение счетчика}

Странная, однако, программа. СП изначально становится длиной массива, а потом мы ищем такой элемент, что СП меньше этого элемента, т.е. мы ищем элемент, который по значению больше длины массива и присваиваем СП его индекс.. Значит в конце концов, мы дойдем до начала массива, а в СП будет записано индекс самого первого элемента массива, который больше СП в момент окончания работы программы..
P.S.: И какие только идиоты пишут такие программы...