команда ветвления алгоритма.
Структура такая
if <условие> then(то) <действие1>
else(иначе) <действие2>
конструкция разнится в зависимости от язык программирования. Но в общем случае она верна. Действие1 выполняется если условие верно. Действие2, если задано, выполняется при невыполнении условия.
Например. Если Петя выше Маши, то идем в кино иначе идем в театр.
If Рост(Петя) > Рост(Маша) то идем(Кино) иначе идем(Театр).
это условие которое проверяется на правдивость. Условие ветвление алгоритма.
Перейти к метке k. Это оператор безусловного перехода. Т.е. знать не знаю, а надо перейти к выполнению программы с метки k.