Решение:
Заполним таблицу трассировки для заданного алгоритма:
Объяснение шагов:
- Начало. \( x=15, y=5 \)
- Условие \( (x\ge1) \land (y\ge1) \)? \( (15\ge1) \land (5\ge1) \) — Да.
- Блок "Да": \( x := x \text{ div } y \), \( y := y - 2 \).
- \( x = 15 \text{ div } 5 = 3 \)
- \( y = 5 - 2 = 3 \)
- Условие \( (x\ge1) \land (y\ge1) \)? \( (3\ge1) \land (3\ge1) \) — Да.
- Блок "Да": \( x := x \text{ div } y \), \( y := y - 2 \).
- \( x = 3 \text{ div } 3 = 1 \)
- \( y = 3 - 2 = 1 \)
- Условие \( (x\ge1) \land (y\ge1) \)? \( (1\ge1) \land (1\ge1) \) — Да.
- Блок "Да": \( x := x \text{ div } y \), \( y := y - 2 \).
- \( x = 1 \text{ div } 1 = 1 \)
- \( y = 1 - 2 = -1 \)
- Условие \( (x\ge1) \land (y\ge1) \)? \( (1\ge1) \land (-1\ge1) \) — Нет.
- Конец.
Ответ: x = 1, y = -1.