Определи значение переменной � k после выполнения фрагмента программы: i := 2; k := 2; repeat k := k * 2; i := i + 1;

Коротко: по данному фрагменту программа зациклена без условия выхода, поэтому конечного значения k нет. Если же допустить наличие условие выхода (например, повторять до тех пор, пока i не достигнет какого-то значения), можно вывести зависимость.

Разбор по шагам

• Инициализация: i := 2; k := 2.
• В каждой итерации выполняются:
  • k := k * 2 (k удваивается)
  • i := i + 1 (i увеличивается на 1)

1. Что в коде реально написано

• Нет условия выхода у цикла repeat-until (нет until ...). Значит цикл должен выполняться бесконечно.
• Следовательно, конечного значения k не существует (k будет расти бесконечно, если абстрактно считать бесконечный цикл).

2. Если бы существовало условие выхода (хотя бы теоретически)

• После t итераций i = 2 + t.
• После t итераций k = 2 * 2^t = 2^{t+1}.
• Следовательно, если цикл завершится при i = I (то есть t = I - 2), то: k = 2^{(I - 2) + 1} = 2^{I - 1}.
• Пример: если цикл завершится при i = 5, то k = 2^{5-1} = 16.

Вывод

• В представленной записи: конечное значение k неизвестно, цикл бесконечен.
• При допущении какого-то конкретного условия выхода, формула для k на момент выхода: k = 2^{I - 1}, где I — конечное значение i на момент выхода. Например, при выходе на i = 5 получаем k = 16.