Разберем блок-схему и проследим, как меняются значения переменных x и y.
1. Начальные значения: x = -1, y = 4.
2. Проверка условия x > 0: -1 > 0 - неверно (НЕТ).
3. Проверка условия x < y: -1 < 4 - верно (ДА).
4. Выполняем:
* x := x + 1 (x = -1 + 1 = 0).
* y := y / 2 (y = 4 / 2 = 2).
5. Возвращаемся к началу цикла.
6. Проверка условия x > 0: 0 > 0 - неверно (НЕТ).
7. Проверка условия x < y: 0 < 2 - верно (ДА).
8. Выполняем:
* x := x + 1 (x = 0 + 1 = 1).
* y := y / 2 (y = 2 / 2 = 1).
9. Возвращаемся к началу цикла.
10. Проверка условия x > 0: 1 > 0 - верно (ДА).
11. Выполняем:
* x := x - 5 (x = 1 - 5 = -4).
* y := y + 3 (y = 1 + 3 = 4).
12. Возвращаемся к началу цикла.
13. Проверка условия x > 0: -4 > 0 - неверно (НЕТ).
14. Проверка условия x < y: -4 < 4 - верно (ДА).
15. Выполняем:
* x := x + 1 (x = -4 + 1 = -3).
* y := y / 2 (y = 4 / 2 = 2).
16. Возвращаемся к началу цикла.
17. Проверка условия x > 0: -3 > 0 - неверно (НЕТ).
18. Проверка условия x < y: -3 < 2 - верно (ДА).
19. Выполняем:
* x := x + 1 (x = -3 + 1 = -2).
* y := y / 2 (y = 2 / 2 = 1).
20. Возвращаемся к началу цикла.
21. Проверка условия x > 0: -2 > 0 - неверно (НЕТ).
22. Проверка условия x < y: -2 < 1 - верно (ДА).
23. Выполняем:
* x := x + 1 (x = -2 + 1 = -1).
* y := y / 2 (y = 1 / 2 = 0.5).
24. Возвращаемся к началу цикла.
25. Проверка условия x > 0: -1 > 0 - неверно (НЕТ).
26. Проверка условия x < y: -1 < 0.5 - верно (ДА).
27. Выполняем:
* x := x + 1 (x = -1 + 1 = 0).
* y := y / 2 (y = 0.5 / 2 = 0.25).
28. Возвращаемся к началу цикла.
29. Проверка условия x > 0: 0 > 0 - неверно (НЕТ).
30. Проверка условия x < y: 0 < 0.25 - верно (ДА).
31. Выполняем:
* x := x + 1 (x = 0 + 1 = 1).
* y := y / 2 (y = 0.25 / 2 = 0.125).
32. Возвращаемся к началу цикла.
33. Проверка условия x > 0: 1 > 0 - верно (ДА).
34. Выполняем:
* x := x - 5 (x = 1 - 5 = -4).
* y := y + 3 (y = 0.125 + 3 = 3.125).
Окончательные значения переменных: x = -4, y = 3.125
Ответ: x = -4, y = 3.125