1. x := x + 3, следовательно x = 4 + 3 => x = 7.
2. y := y - x, следовательно y = 18 - 7 => y = 11.
3. Проверка условия x > y? 7 > 11? Нет.
Так как условие x > y не выполняется, продолжаем цикл:
4. x := x + 3, следовательно x = 7 + 3 => x = 10.
5. y := y - x, следовательно y = 11 - 10 => y = 1.
6. Проверка условия x > y? 10 > 1? Да.
Таким образом, после выхода из цикла имеем значения: x = 10, y = 1.
Эти значения необходимо внести в таблицу:
x | y
-----
4 | 18
7 | 11
10 | 1
Теперь таблица заполнена данными после выполнения алгоритма.